On 9 jul 2007, at 11.36, Jürgen Spitzmüller wrote:
Anders Ekberg wrote:
And then we have to maintain two unicodesymbols lists? I do not
think this is
a good idea.
I know, I tried some different options (like searching for {...}),
but didn't come up with anything I thought was better. So as a
compromise, I kept the lists identical and just commented out the
accented characters. If there is little maintenance of the
unicodesymbols list, I think it is acceptable (you can do a diff to
fairly easy spott errors).
I think lots of symbols will be added soon after 1.5.0. The need to
always
snchronize the two lists is inefficient and error-prone.
How about adding a new flag "revert" to the unicodesymbols list
instead?
I thought about that too, but was afraid this would mess things up in
other places.
Where?
I assumed in the conversion to TeX. But I don't know anything about
that, so I took what I thought was the safest route.
Anders
