[zxjatype] 文字サイズの \begin{} ... \end{} による指定

Re: [zxjatype] 文字サイズの \begin{} ... \end{} による指定

- tat tsan の投稿
返信数: 0
ありがとうございます。work around に \relax を用いることにします。

約物がらみで別の不具合も見つけていますが、それは別のスレッドで。