[GiNaC-list] set_TeX_name() ?

[Dale Lukas Peterson]

> Well, Option 1 breaks the binary interface.
> Option 2 doesn't. And option 3 clearly doesn't either.

Good point.  What do you think about symbol::TeX_name being mutable?

Dale