2 #ifndef MATH_INFERINSET_H
3 #define MATH_INFERINSET_H
5 #include "math_gridinset.h"
8 /** for proof.sty's \infer
9 * \author André Poenitz
11 * Full author contact details are available in file CREDITS
13 class MathInferInset : public MathGridInset {
16 explicit MathInferInset();
18 MathInset * clone() const;
20 void metrics(MetricsInfo & mi) const;
22 void draw(PainterInfo & pi, int x, int y) const;
24 void write(WriteStream & os) const;