Re: [GiNaC-list] set_TeX_name() ?

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