Commit 05b7f737 authored by Michael Kohlhase's avatar Michael Kohlhase

typo

parent 7e1af5c9
......@@ -18,7 +18,7 @@
\symvariant{arsRconv}[3]{1}{\infix[p=300]{\arsRconvOp[1]{#1}}{#2}{#3}}
\symtest[variant=1]{arsRconv}{\arsRconv[1]{R}AB}
\symdef[name=arsconvtr]{arsconvtrOp}{\amtrel{\rightarrow^*}}
\symdef[name=arsconvtr]{arsconvtrOp}{\mathrel{\rightarrow^*}}
\symdef{arsconvtr}[2]{\infix[p=300]{\arsconvtrOp}{#1}{#2}}
\symtest{arsconvtr}{\arsconvtr{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