info.hupel.isabelle.api.Environment
Marker trait indicating Unicode (decoded) Isabelle symbol text.
Environment#encode
Environment#decode
Marker trait indicating Unicode (decoded) Isabelle symbol text.
Environment#encode
Environment#decode