HomeIsabelle/Phabricator

suppress markup for literal tokens with block control symbols, for better…