%%
\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
|