Re: [EGD-discu] Des nouvelles de l'AFNOR (et Re: Commentaires sur le BÉPO)

[ Thread Index | Date Index | More ergodis.org/discussions Archives ]




Le 1 février 2016 à 17:35, Valentin Melot <v.melot@xxxxxxxxxx> a écrit :
En logique, on utilise plutôt de symbole ¬ ;-)

D’ailleurs je me demande pourquoi il y a la négation logique et pas le ou logique (∨)  et le et du même nom (∧).

En revanche, il est vrai qu’en informatique, l’usage est loin d’être
négligeable (je pense aussi aux systèmes de fichiers limitant les noms à
huit caractères et où une tilde apparaissait, ou encore aux signatures
sur MediaWiki).
Mais je ne pense pas que ce soit un ralentissement conséquent de frapper
une deuxième fois la touche K une fois le pouce gauche placé sur AltGr…

J’avais oublié media wiki !
4 tildes pour une signature avec la date ~~~~ soit 8 frappes si la tilde n’existe qu’en touche morte  :(



Mail converted by MHonArc 2.6.19+ http://listengine.tuxfamily.org/