-#ifdef __GNUG__
-#pragma implementation
-#endif
#include "math_inferinset.h"
#include "math_support.h"
#include "textpainter.h"
-using std::max;
-
-
MathInferInset::MathInferInset()
: MathGridInset(1, 1)
{}
{
os << "\\infer";
if (opt_.size())
- os << "[" << opt_ << "]";
+ os << '[' << opt_ << ']';
MathGridInset::write(os);
}
-
-