choice
1
Sections
AutomataTheory
Doc
Def
Sym x,y:T. E(x;y) ==
a,b:T. E(a;b)
E(b;a)
In prior sections:
rel
1
a,b:T. E(a;b) 
E(b;a)