digraphs
l* = λ
l* = λ
FA = ∀
FA = ∀
(- = ∈
(- = ∈