変数
次のものはword(,s)になります。・ \({\rm A}\) \({\rm B}\) \({\rm C}\) およびそれらに0～9の列が付いた \({\rm A}_{0}\) 等
次のものはword(s,s)になります。
・ \({\rm F}\) \({\rm G}\) \({\rm H}\) およびそれらに0～9の列が付いた \({\rm F}_{0}\) 等
次のものはword(ss,s)になります。
・ \({\rm J}\) \({\rm K}\) \({\rm L}\) およびそれらに0～9の列が付いた \({\rm I}_{0}\) 等
次のものはword(s,p)になります。
・ \({\rm X}\) \({\rm Y}\) \({\rm Z}\) およびそれらに0～9の列が付いた \({\rm X}_{0}\) 等
次のものはword(ss,p)になります。
・ \({\rm P}\) \({\rm Q}\) \({\rm R}\) およびそれらに0～9の列が付いた \({\rm P}_{0}\) 等
かっこいい書き方？
word関数 … 左右反転させる #- : (\({\tt x}\)\({\tt y}\),\({\tt z}\))→(\({\tt y}\)\({\tt x}\),\({\tt z}\))cvt …【\(A \class{reflect}{\mathop{{\sf p}}} B\)】≃【\(B \mathop{{\sf p}} A\)】
表記は【\(X \class{reflect}{\notin} x\)】より【\(X \not\ni x\)】の方が良いでしょう。
word関数 … \(\widehat{\;\;}\) を付ける #2 : (\({\tt x}\)\({\tt x}\),\({\tt y}\))→(\({\tt x}\),\({\tt y}\))
cvt …【\(\widehat{\mathop{{\sf p}}} \, {\sf A}\)】≃【\({\sf A} \mathop{{\sf p}} {\sf A}\)】
\({\sf p}"\)という表記に？
二項記号の関数化
abbr …【\(\mathop{{\sf f}} \,^\star{\mathop{{\sf a}}}\; \mathop{{\sf g}}\)】≈【\(\forall x \, ( \mathop{{\sf f}} x \mathop{{\sf a}} \mathop{{\sf g}} x )\)】
abbr …【\(\mathop{{\sf f}} \,^{\star\!\star}{\mathop{{\sf a}}}\; \mathop{{\sf g}}\)】≈【\(\forall x , y \, ( x \mathop{{\sf f}} y \mathop{{\sf a}} x \mathop{{\sf g}} y )\)】