mb hybrid Sections GenAutomata Doc

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

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb hybrid Sections GenAutomata Doc