Re: [GiNaC-list] set_TeX_name() ?

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