変数
次のものはword(,s)になります。・ \(\) \(\) \(\) およびそれらに0～9の列が付いた \(\) 等
次のものはword(,c)になります。
・ \(\) \(\) \(\) およびそれらに0～9の列が付いた \(\) 等
次のものはword(,p)になります。
・ \(\) \(\) \(\) およびそれらに0～9の列が付いた \(\) 等
かっこいい書き方？
abbr …【\( {:}\, \text{I}\)】≈【\( \,^\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 )\)】