Achtung: Der senkrechte Strich, „∣ “, wird häufiger für den Sheffer-Operator („NAND“) verwendet.