- assigned_ex_info * asexinfop; ///< ptr to assigned expression, deprecated
- unsigned serial; ///< unique serial number for comparison
- std::string name; ///< printname of this symbol
- std::string TeX_name; ///< LaTeX name of this symbol
+ ptr<assigned_ex_info> asexinfop; ///< assigned expression, only for private use by ginsh
+ unsigned serial; ///< unique serial number for comparison
+ std::string name; ///< printname of this symbol
+ std::string TeX_name; ///< LaTeX name of this symbol