relation autom Sections AutomataTheory Doc

Def AB == B < A

In prior sections: int 1 bool 1 int 2