Re: Caractères à copicoller

Liste des Groupes 
Sujet : Re: Caractères à copicoller
De : none (at) *nospam* no.invalid (Thomas Alexandre)
Groupes : fr.sci.maths
Date : 25. Sep 2024, 08:08:35
Autres entêtes
Organisation : 🍿🍺
Message-ID : <66f3b6f3$0$3564$426a34cc@news.free.fr>
References : 1 2 3 4
User-Agent : Pan/0.160 (Toresk; )
Le Mon, 23 Sep 2024 11:36:54 +0200, Michel Talon a écrit :

L'utilisateur de vim peut aussi introduire les caractères
utf-8  mathématiques, etc. en utilisant des "digraphes".

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 :)

--
"Ce qu'il faut au fond pour obtenir une espèce de paix avec les hommes,
(...) c'est leur permettre en toutes circonstances, de s'étaler, de se
vautrer parmi les vantardises niaises. Il n'y a pas de vanité
intelligente. C'est un instinct." - Céline

Date Sujet#  Auteur
21 Sep 24 * Caractères à copicoller40Olivier Miakinen
21 Sep 24 +* Re: Caractères à copicoller15Olivier Miakinen
21 Sep 24 i`* Re: Caractères à copicoller14efji
21 Sep 24 i `* Re: Caractères à copicoller13Olivier Miakinen
21 Sep 24 i  +* Re: Caractères à copicoller4efji
21 Sep 24 i  i+* Re: Caractères à copicoller2efji
21 Sep 24 i  ii`- Re: Caractères à copicoller1Olivier Miakinen
21 Sep 24 i  i`- Re: Caractères à copicoller1Olivier Miakinen
21 Sep 24 i  `* Re: Caractères à copicoller8yves
21 Sep 24 i   +- Re: Caractères à copicoller1Olivier Miakinen
21 Sep 24 i   `* Re: Caractères à copicoller6efji
21 Sep 24 i    `* Re: Caractères à copicoller5Olivier Miakinen
28 Sep 24 i     `* Re: Caractères à copicoller4robby
30 Sep 24 i      `* Re: Caractères à copicoller3Olivier Miakinen
4 Oct 24 i       `* Re: Caractères à copicoller2robby
4 Oct 24 i        `- Re: Caractères à copicoller1Olivier Miakinen
22 Sep 24 +* Re: Caractères à copicoller13robby
22 Sep 24 i+* Re: Caractères à copicoller9Michel Talon
23 Sep 24 ii`* Re: Caractères à copicoller8Michel Talon
25 Sep 24 ii +* Re: Caractères à copicoller6Thomas Alexandre
27 Sep 24 ii i+* Re: Caractères à copicoller2M.V.
28 Sep 24 ii ii`- Re: Caractères à copicoller1Thomas Alexandre
27 Sep 24 ii i`* Re: Caractères à copicoller3Olivier Miakinen
28 Sep 24 ii i `* Re: Caractères à copicoller2Thomas Alexandre
28 Sep 24 ii i  `- Re: Caractères à copicoller1Olivier Miakinen
27 Sep 24 ii `- Re: Caractères à copicoller1Olivier Miakinen
22 Sep 24 i`* Re: Caractères à copicoller3Olivier Miakinen
22 Sep 24 i +- Re: Caractères à copicoller1efji
22 Sep 24 i `- Re: Caractères à copicoller1robby
23 Sep 24 `* Re: Caractères à copicoller11ast
23 Sep 24  +* Re: Caractères à copicoller6Python
23 Sep 24  i+* Re: Caractères à copicoller3ast
23 Sep 24  ii+- Re: Caractères à copicoller1Python
24 Sep 24  ii`- Re: Caractères à copicoller1robby
23 Sep 24  i`* Re: Caractères à copicoller2efji
23 Sep 24  i `- Re: Caractères à copicoller1Olivier Miakinen
28 Sep 24  `* Re: Caractères à copicoller4Olivier Miakinen
28 Sep 24   +* Re: Caractères à copicoller2Michel Talon
28 Sep 24   i`- Re: Caractères à copicoller1Olivier Miakinen
1 Oct 24   `- Re: Caractères à copicoller1Samuel Devulder

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal