The three-symbol alphabet used by a/b/c examples

def a_ : Fin 3

The symbol a in the shared Fin 3 alphabet.

Equations

• a_ = 0

def b_ : Fin 3

The symbol b in the shared Fin 3 alphabet.

Equations

• b_ = 1

def c_ : Fin 3

The symbol c in the shared Fin 3 alphabet.

Equations

• c_ = 2