texの実験

[tex:\begin{array}{lcl} TI(\Gamma, \mathrm{x}) &=& (\emptyset, \tau)\end{array}]

\begin{array}{lcl}TI(\Gamma, \mathrm{x}) &=& (\emptyset, \tau)\end{array}

これは,OKか.

[tex:
\begin{array}{lcl}
  TI(\gamma, x) &=& (\emptyset, \tau)
\end{array}
]

改行を入れてみる.


\begin{array}{lcl}
  TI(\gamma, x) &=& (\emptyset, \tau)
\end{array}

だめっぽい.

[tex:\begin{array}{c}A \vspace{2em} A \rightarrow B\\ \hline B \\ \end{array}]

じゃあ,ありがちな推論規則みたいのは・・・

\begin{array}{c}A \vspace{2em} A \rightarrow B \\ \hline B \\ \end{array}

だめかー

飽きたのでこれでお終い.