変数
次のものはword(,s)になります。・ \(\) \(\) \(\) およびそれらに0～9の列が付いた \(\) 等
次のものはword(,c)になります。
・ \(\) \(\) \(\) およびそれらに0～9の列が付いた \(\) 等
次のものはword(,p)になります。
・ \(\) \(\) \(\) およびそれらに0～9の列が付いた \(\) 等
かっこいい書き方？
abbr … \( {:}\, \text{I}\) ≈ \( \stackrel{\star}{} \)abbr … \( {:}\, \text{T}\) ≈ \(\forall x , y , z \, ( x y z \Longrightarrow x z )\)
abbr … \( {:}\, \text{X}\) ≈ \(\forall x , y \, ( x y \Longrightarrow y x )\)