Add symbol::set_TeX_name(string) member function.

This allows setting a symbol's TeX-name after construction.

diff --git a/ginac/symbol.h b/ginac/symbol.h
index 6036318ffacb3a8d2f0cb279b4ece30abf1bc470..519980f857dcededb579715ee1dbd9ff96ce3dac 100644 (file)
--- a/ginac/symbol.h
+++ b/ginac/symbol.h
@@ -69,6 +69,7 @@ protected:
        // non-virtual functions in this class
 public:
        void set_name(const std::string & n) { name = n; }
+       void set_TeX_name(const std::string & n) { TeX_name = n; }
        std::string get_name() const;
        virtual unsigned get_domain() const { return domain::complex; }
 protected: