+ MathGridInset * enclosingGrid(idx_type & idx) const;
+ /// go up to enclosing grid
+ void popToEnclosingGrid();
+ /// go up to the hull inset
+ void popToEnclosingHull();
+ /// go up to the hull inset
+ void popToHere(MathInset const * p);
+ /// adjust anchor position after deletions/insertions
+ void adjust(pos_type from, difference_type diff);
+ ///
+ InsetFormulaBase * formula() const;