\(\newcommand{\TirName}[1]{\text{#1}}
\newcommand{\inferlab}[3]{
\let\and\qquad
\begin{array}{l}
\TirName{#1}
\\
\displaystyle
\frac{#2}{#3}
\end{array}
}
\newcommand{\inferright}[3]{
\let\and\qquad
\displaystyle
\frac{#2}{#3}\TirName{#1}
}
\newcommand{\inferrule}[3][]{\inferlab{#1}{#2}{#3}}
\newcommand{\infer}[3][]{\inferrule[#1]{#2}{#3}}
\)
What questions do you have? What questions does your neighbor have?
