[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…

Sleipnirは諦めることにして，Lunascapeをインストールしてみた．Sleipnirと操作が違ってて，気持ち悪い．Lunascapeに慣れるべきか，これまでのような動作に設定し直すべきか．悩ましい．