⊻

i formell logik: ett av flera tecken för exklusiv disjunktion, troligen det vanligaste. A⊻B betyder ”A eller B, men inte båda”. (Det vågräta strecket ingår i tecknet.)