texの実験
[tex:\begin{array}{lcl} TI(\Gamma, \mathrm{x}) &=& (\emptyset, \tau)\end{array}]
これは,OKか.
[tex: \begin{array}{lcl} TI(\gamma, x) &=& (\emptyset, \tau) \end{array} ]
改行を入れてみる.
だめっぽい.
[tex:\begin{array}{c}A \vspace{2em} A \rightarrow B\\ \hline B \\ \end{array}]
じゃあ,ありがちな推論規則みたいのは・・・
だめかー
飽きたのでこれでお終い.