@ as a superposition of “a” and “o”; very nice.

If gender is how we sneak conditional expressions and nondet Prolog predicates into natural languages, then I’m in.