$\def\infer#1#2{\frac{\matrix{#1}}{#2}}$

Xavier Pinho