This is a crude Java program to:

  1. Scrape the stixfonts.org website for their table of unicode-to-tex mappings

  2. Run an arbitrary UTF-8 text file through this mapping to produce an ASCII tex file

Any characters with code >127 not found in the table will be reported
on stderr (each code is warned only once).  We assume your terminal is
capable of printing unicode characters (as Apple's Terminal.app is).

Usage:

  $ make

  $ echo '\documentclass{article}' > out.tex
  $ echo '\begin{document}'       >> out.tex
  $ echo '\usepackage{amsmath}'   >> out.tex
  $ echo '\usepackage{amssymb}'   >> out.tex
  $ echo '\usepackage{upgreek}'   >> out.tex
  $ echo '\usepackage{stmaryrd}'  >> out.tex
  $ echo '{\\tt{'                 >> out.tex

  $ java -jar unicode2tex.jar < yourfile.txt > out.tex

  $ echo '}}'                   >> out.tex
  $ echo '\end{document}'       >> out.tex
  $ pdflatex out.tex

No warranties.  The stixfonts.org scraping code is shockingly naive.

Public domain, though I'd appreciate credit.

  - Adam Megacz <adam@megacz.com>