1 %% 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}}] 11 {\sqsubset}{X228F} 12 \DeclareSymbolHtml[\DisplayChoose{\@textdisplaysupset}{\mbox{sqsupset}}] 13 {\sqsupset}{X2290} 14 \DeclareSymbolHtml{\leadsto}{X219D} 15 \endinput