Commit 72b89209 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 17bd67b5
......@@ -3,7 +3,7 @@
\gimport[smglom/mv]{structure}
\symdef[name=reduction-relation]{arsconvOp}{\mathrel\rightarrow}
\symvariant[name=reduction-relation]{arsconvOp}{1}{\rightarrow^1}
\symvariant{arsconvOp}{1}{\rightarrow^1}
\symdef[name=reduction-relation]{arsconv}[2]{\infix[p=300]{\arsconvOp}{#1}{#2}}
\symtest{arsconv}{\arsconv{A}B}
......
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