The Oddmuse:Markup Extension allows you to add simple ASCII string to Unicode character mappings. I like it!
$MarkupSingles{'\times'} = '×'; $MarkupSingles{'\star'} = '★'; $MarkupSingles{'<-'} = '←'; $MarkupSingles{'<--'} = '←'; $MarkupSingles{'-->'} = '→'; $MarkupSingles{'=>'} = '⇒'; $MarkupSingles{'==>'} = '⇒'; $MarkupSingles{'<=>'} = '⇔'; $MarkupSingles{'+/-'} = '±'; $MarkupForcedPairs{'~~'} = 'del'; $MarkupForcedPairs{'++'} = 'ins';
Related: TeX module for Oddmuse.
#Oddmuse