[GiNaC-list] set_TeX_name() ?

[Dale Lukas Peterson]

I'm sure this is low priority, but I was hoping somebody could respond
regarding whether adding set_TeX_name() to the symbol class makes
sense, and whether the TeX_name member should be mutable just like
name member is.

Thanks,
Dale