65
63
# Now unicode_map contains the text entries plus dollar-enclosed math
66
64
# entries for those chars for which no text entry exists.
72
68
print '# Copyright: This file has been placed in the public domain.'
74
70
print '# This is a mapping of Unicode characters to LaTeX equivalents.'