What is the best way to typeset a proof on cstheory using MathML?
I have seen the trick using \over but it does not work well if the proof is several lines long and each rule has a name like:
$$ {{X \over Y}{A} \over Z}{B} $$
What is the best way to typeset a proof on cstheory using MathML?
I have seen the trick using \over but it does not work well if the proof is several lines long and each rule has a name like:
$$ {{X \over Y}{A} \over Z}{B} $$
Using core latex – I just discovered that you can define new commands –, I'd write
\newcommand{\infer}[3]{\begin{array}{c} #1 \\ \hline #2 \end{array}{#3}}
\infer{
\infer{\quad X\quad}{Y}{A}}
{Z}{B}
which gives
$\newcommand{\infer}[3]{\begin{array}{c} #1 \\ \hline #2 \end{array}{#3}} \infer{ \infer{\quad X\quad}{Y}{A}} {Z}{B} $
I still need to work out how to deal with the labels. \raisebox doesn't work.
If doing this in a paper, I'd use a package such as Remy's proof.