[GiNaC-list] set_TeX_name() ?

[Dale Lukas Peterson]

>> Good point.  What do you think about symbol::TeX_name being mutable?
>
>
> Is there a reason to make it mutable? (Have a look at symbol::get_name() to
> see why symbol::name is mutable.)

I guess as long as there is no need to implement get_TeX_name() in the
same fashion as get_name(), then it should not be mutable.

Dale