the "master file detailing all Unicode characters
with names in various entity sets and applications, TeX
equivalents and other data".
It is an XML file maintained by the W3C that contains both the
entity names and corresponding latex macro names (although its not
clear for which LaTeX packages).
With a simple xslt you could extract the mapping you are looking
for.
Regrads,
Chris
Am 01.10.2012 07:13, schrieb saf sied:
For example:
HTML 4 LaTeX
infin infty
Thank you,
Saf