Python LaTeX codec?

[David Eppstein]

In article <yfs4qya5wnf.fsf at black132.ex.ac.uk>,
 Alexander Schmolck <a.schmolck at gmx.net> wrote:

> there is some xml markup'ed unicode<->latex chart
> 
> http://www.bitjungle.com/~isoent/
> 
> I've written python code to extract the information, which I'll send you if
> you want (some time ago, can't remember how complete it was).

Thanks, if I can't get recodec working I'll try this one.

-- 
David Eppstein                      http://www.ics.uci.edu/~eppstein/
Univ. of California, Irvine, School of Information & Computer Science