Commit b1e42a1f authored by Michael Kohlhase's avatar Michael Kohlhase

getting

parent 5050a6ca
\begin{modsig}[creators=miko]{alpharenaming}
\symdef[name=alphaeq]{alphaeqFN}{\mathop\alpha}
\symdef[name=alphaeq]{alphaeqFN}{\alpha}
\symdef{alphaeqRel}{\mathrel{=_{\alphaeqFN}}}
\symtest[name=alphaeq]{alphaeqRel}{\alphaeqRel}
......
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