Path: ...!3.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!.POSTED!not-for-mail
From: Olivier Miakinen <om+news@miakinen.net>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re:_Caract=c3=a8res_=c3=a0_copicoller?=
Date: Fri, 27 Sep 2024 23:03:12 +0200
Organization: There's no cabale
Lines: 27
Message-ID: <vd76ih$2qcl$1@cabale.usenet-fr.net>
References: <vcmsi1$mka$1@cabale.usenet-fr.net>
 <vcon0h$2f9h0$2@news.usenet.ovh> <66efe98c$0$1300$426a74cc@news.free.fr>
 <66f136b6$0$3577$426a74cc@news.free.fr>
 <66f3b6f3$0$3564$426a34cc@news.free.fr>
NNTP-Posting-Host: 200.89.28.93.rev.sfr.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Trace: cabale.usenet-fr.net 1727470993 92565 93.28.89.200 (27 Sep 2024 21:03:13 GMT)
X-Complaints-To: abuse@usenet-fr.net
NNTP-Posting-Date: Fri, 27 Sep 2024 21:03:13 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Firefox/52.0 SeaMonkey/2.49.4
In-Reply-To: <66f3b6f3$0$3564$426a34cc@news.free.fr>
Bytes: 1843

Le 25/09/2024 09:08, Thomas Alexandre a écrit :
> 
> Ou se créer des abréviations dans son .vimrc
> ```
> ab :forall: ∀
> ab :exist: ∃
> ab :exists: ∃
> ab :notexist: ∄
> ab :notexists: ∄
> ab :in: ∈
> ```
> C'est plus facile à retenir :)

D'abord j'ai la même question que pour Michel Talon : comment faire pour
que SeaMonkey appelle vim au lieu de son éditeur intégré.

Par ailleurs, ce n'est pas forcément très pratique pour des caractères
successifs sans espaces. Par exemple, pour écrire :
 ∀x∈ℝ,
il faut taper quelque chose comme :
 :forall: x :in: :R: <esc>xhxhhxhhxA,
(pour supprimer toutes les espaces en trop puis revenir en mode insertion)



-- 
Olivier Miakinen