17 Dec
2012
17 Dec
'12
8:27 a.m.
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