: name(initname), ef(efun), serial(next_serial++), domain(dm)
{
if (texname.empty())
- TeX_name = "\\mbox{" + name + "}";
+ TeX_name = "\\mathrm{" + name + "}";
else
TeX_name = texname;
setflag(status_flags::evaluated | status_flags::expanded);
: name(initname), ef(0), number(initnumber), serial(next_serial++), domain(dm)
{
if (texname.empty())
- TeX_name = "\\mbox{" + name + "}";
+ TeX_name = "\\mathrm{" + name + "}";
else
TeX_name = texname;
setflag(status_flags::evaluated | status_flags::expanded);
void constant::do_print_python_repr(const print_python_repr & c, unsigned level) const
{
c.s << class_name() << "('" << name << "'";
- if (TeX_name != "\\mbox{" + name + "}")
+ if (TeX_name != "\\mathrm{" + name + "}")
c.s << ",TeX_name='" << TeX_name << "'";
c.s << ')';
}