Archive Liste Typographie
Message : Re: [typo] barre d'exclusion
(Jacques André) - Lundi 27 Octobre 2008		 Navigation par date [ Précédent    Index    Suivant ]
Navigation par sujet [ Précédent    Index    Suivant ]
Subject:    Re: [typo] barre d'exclusion
Date:    Mon, 27 Oct 2008 12:00:09 +0100
From:    Jacques André <jacques.andre35@xxxxxxxxx>

Le 27 oct. 2008 à 11:36, Gilles Barras a écrit :
Sinon, voilà des truques sur la « barre verticale » (chouette, une nouvelle 
appellation !) :
http://fr.wikipedia.org/wiki/Barre_verticale


"nouvelle" pour pipe ? C'est vieux comme le monde (enfin le monde unix).

Quant au symbole de Sheffer
le symbole de Sheffer où a | b signifie \neg(a \wedge b), c'est-à- dire non(a et b), encore appelé NAND.
ce n'est pas non plus le "ou exclusif" : car si a est faux et si b est faux le résultat est vrai... 
--
Jacques ANDRÉ