2
\DeclareSymbolHtml[\mbox{<|}]{\lhd}{X25C1}
3
\DeclareSymbolHtml[\mbox{|>}]{\rhd}{X25B7}
4
\DeclareSymbolHtml{\unlhd}{X22B4}\DeclareNot{\unlhd}{X22EC}
5
\DeclareSymbolHtml{\unrhd}{X22B5}\DeclareNot{\unrhd}{X22ED}
6
\DeclareSymbolHtml{\Box}{X25A1}
7
\DeclareSymbolHtml{\Diamond}{X25C7}
8
\DeclareSymbolHtml{\mho}{X2127}
9
\DeclareSymbolHtml{\Join}{X2445}
10
\DeclareSymbolHtml[\DisplayChoose{\@textdisplaysubset}{\mbox{sqsubset}}]
12
\DeclareSymbolHtml[\DisplayChoose{\@textdisplaysupset}{\mbox{sqsupset}}]
14
\DeclareSymbolHtml{\leadsto}{X219D}
b'\\ No newline at end of file'