Commit 0442f7d5 authored by Michael Kohlhase's avatar Michael Kohlhase

adding ops and rels

parent e0a1c357
\begin{modsig}[creators=miko]{alpharenaming}
\symdef[name=alphaeq]{alphaeqFN}{\alpha}
\symdef[name=alphaeq]{alphaeqFN}{\mathop\alpha}
\symdef{alphaeqRel}{=_{\alphaeqFN}}
\symdef{alphaeqRel}{\mathrel{=_{\alphaeqFN}}}
\symtest[name=alphaeq]{alphaeqRel}{\alphaeqRel}
\symdef[name=nalphaeq]{nalphaeqRel}{\ne_{\alphaeqFN}}
\symdef[name=nalphaeq]{nalphaeqRel}{\mathrel{\ne_{\alphaeqFN}}}
\symtest[name=nalphaeq]{nalphaeqRel}{\nalphaeqRel}
\symdef{alphaeq}[1]{\mixfixa[p=300]{}{#1}{}\alphaeqRel}
......@@ -12,8 +12,7 @@
\symdef{nalphaeq}[2]{\infix[p=300]\nalphaeqRel{#1}{#2}}
\symtest{nalphaeq}{\nalphaeq{a}b}
\symii{alphabetic}{variant}
\symi{variant}
\symii{alphabetic}{variant}
\end{modsig}
%%% Local Variables:
%%% mode: latex
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment