// other ctors
public:
explicit symbol(const std::string & initname);
+ explicit symbol(const std::string & initname, const std::string & texname);
// functions overriding virtual functions from base classes
public:
basic * duplicate() const;
- void print(std::ostream & os, unsigned upper_precedence = 0) const;
- void printraw(std::ostream & os) const;
- void printtree(std::ostream & os, unsigned indent) const;
- void printcsrc(std::ostream & os, unsigned type, unsigned upper_precedence = 0) const;
+ void print(const print_context & c, unsigned level = 0) const;
bool info(unsigned inf) const;
ex expand(unsigned options = 0) const;
bool has(const ex & other) const;
public:
void assign(const ex & value);
void unassign(void);
- void setname(const std::string & n) { name = n; }
- std::string getname(void) const { return name; }
+ void set_name(const std::string & n) { name = n; }
+ std::string get_name(void) const { return name; }
private:
std::string & autoname_prefix(void);
+ std::string default_TeX_name(void) const;
// member variables
protected:
assigned_ex_info * asexinfop; ///< ptr to assigned expression, deprecated
- unsigned serial; ///< unique serial number for comparison
- std::string name; ///< printname of this symbol
+ unsigned serial; ///< unique serial number for comparison
+ std::string name; ///< printname of this symbol
+ std::string TeX_name; ///< LaTeX name of this symbol
private:
static unsigned next_serial;
};