So I wrote a post-processor that translates the common LaTeX vocabulary to Unicode: arrows, Greek, set notation, fractions, operators, sub/superscripts. The conversion table was the easy part.