/usr/share/hevea/latexsym.hva is in hevea 2.30-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | %%
\DeclareSymbolHtml[\mbox{<|}]{\lhd}{X25C1}
\DeclareSymbolHtml[\mbox{|>}]{\rhd}{X25B7}
\DeclareSymbolHtml{\unlhd}{X22B4}\DeclareNot{\unlhd}{X22EC}
\DeclareSymbolHtml{\unrhd}{X22B5}\DeclareNot{\unrhd}{X22ED}
\DeclareSymbolHtml{\Box}{X25A1}
\DeclareSymbolHtml{\Diamond}{X25C7}
\DeclareSymbolHtml{\mho}{X2127}
\DeclareSymbolHtml{\Join}{X2445}
\DeclareSymbolHtml[\DisplayChoose{\@textdisplaysubset}{\mbox{sqsubset}}]
{\sqsubset}{X228F}
\DeclareSymbolHtml[\DisplayChoose{\@textdisplaysupset}{\mbox{sqsupset}}]
{\sqsupset}{X2290}
\DeclareSymbolHtml{\leadsto}{X219D}
\endinput
|