-
#ifdef __GNUG__
-#pragma implementation
+#pragma implementation
#endif
#include <config.h>
void MathSymbolInset::normalize(NormalStream & os) const
{
- os << "[symbol " << name() << "]";
+ os << "[symbol " << name() << ']';
}
os << name();
}
+void MathSymbolInset::maximize(MaximaStream & os) const
+{
+ if (name() == "cdot")
+ os << '*';
+ else if (name() == "infty")
+ os << "INF";
+ else
+ os << name();
+}
+
+
void MathSymbolInset::mathematicize(MathematicaStream & os) const
{
if ( name() == "pi") { os << "Pi"; return;}