HomeIsabelle/Phabricator

parse TPTP operator @ also when not parenthesized