Commit f2770a03 authored by Michael Kohlhase's avatar Michael Kohlhase

debug

parent 0a6ab022
\begin{modsig}[creators=miko]{alpharenaming}
\symdef[name=alphaeq]{alphaeqFN}{\alpha}
\symdef[name=alphabetic-variant]{alphaeqFN}{\alpha}
\symdef[name=alphabetic-variant]{alphaeqRel}{\mathrel{=_{\alphaeqFN}}}
\symtest[name=alphabetic-variant]{alphaeqRel}{\alphaeqRel}
......@@ -12,7 +12,6 @@
\symdef[noverb]{nalphaeq}[2]{\infix[p=300]\nalphaeqRel{#1}{#2}}
\symtest{nalphaeq}{\nalphaeq{a}b}
\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