TeXicode. TeXicode - TeX to Unicode, a Unicode TeX renderer that renders TeX into Unicode by rendering the TeX
