mb automata 4 Sections GenAutomata Doc

Def $x == ptn_atom("$x")

is mentioned

In prior sections: mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc