HomeIsabelle/Phabricator

refer to HTML symbols via resources;