class MathAtom {
public:
/// default constructor, object is useless, but we need it to put it into
- // std::containers
+ /// std::containers
MathAtom();
/// the "real constructor"
- explicit MathAtom(Inset * p);
+ explicit MathAtom(InsetMath * p);
/// copy constructor, invokes nucleus_->clone()
MathAtom(MathAtom const &);
/// we really need to clean up