Sujet : Re: Caractères à copicoller
De : om+news (at) *nospam* miakinen.net (Olivier Miakinen)
Groupes : fr.sci.mathsDate : 27. Sep 2024, 22:03:12
Autres entêtes
Organisation : There's no cabale
Message-ID : <vd76ih$2qcl$1@cabale.usenet-fr.net>
References : 1 2 3 4 5
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 SeaMonkey/2.49.4
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