if (name() == "cdot")
os << '*';
else if (name() == "infty")
- os << "INF";
+ os << "inf";
+ else if (name() == "pi")
+ os << "%pi";
else
os << name();
}
{
if ( name() == "pi") { os << "Pi"; return;}
if ( name() == "infty") { os << "Infinity"; return;}
+ if ( name() == "cdot") { os << '*'; return;}
os << name();
}