"Aut" is the term applied in propositional calculus to the XOR connective. "Aut" is Latin
form for "either/or (but not both)," e.g., "Aut Caesar aut nihil"
(Cesare Borgia; 1476-1507).
The symbol Aut is also commonly used for the completely different purpose of denoting
an automorphism.
