HomeIsabelle/Phabricator

clarified syntax modes, avoid obsolete "xsymbols";