2 #ifndef MATH_INFERINSET_H
3 #define MATH_INFERINSET_H
5 #include "math_gridinset.h"
11 /** for proof.sty's \infer
12 * \author André Poenitz
14 * Full author contact details are available in file CREDITS
16 class MathInferInset : public MathGridInset {
19 explicit MathInferInset();
21 MathInset * clone() const;
23 void metrics(MathMetricsInfo & mi) const;
25 void draw(MathPainterInfo & pi, int x, int y) const;
27 void write(WriteStream & os) const;