"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.