- Added HTML-style aliases for <emph> (<em>), <underline> (<u>) and <variable> (<var>). - Fixed <minus> in HTML.