Snuggletex fork (see sourceforge.net)