Python library for encoding unicode to latex and for parsing LaTeX to generate unicode text