Commit 13bfb75b authored by Michael Kohlhase's avatar Michael Kohlhase

adding

parent 0442f7d5
......@@ -2,7 +2,7 @@
\gimport[smglom/sets]{transitive-closure}
\gimport[smglom/mv]{structure}
\symdef[name=arsconv]{arsconvOp}{\rightarrow}
\symdef[name=arsconv]{arsconvOp}{\mathrel\rightarrow}
\symvariant{arsconvOp}{1}{\rightarrow^1}
\symdef{arsconv}[2]{\infix[p=300]{\arsconvOp}{#1}{#2}}
......@@ -10,7 +10,7 @@
\symvariant{arsconv}[2]{1}{\infix[p=300]{\arsconvOp[1]}{#1}{#2}}
\symtest[variant=1]{arsconv}{\arsconv[1]AB}
\symdef[name=arsRconv]{arsRconvOp}[1]{\rightarrow_{#1}}
\symdef[name=arsRconv]{arsRconvOp}[1]{\mathrel{\rightarrow_{#1}}}
\symvariant{arsRconvOp}[1]{1}{\rightarrow^1_{#1}}
\symdef{arsRconv}[3]{\infix[p=300]{\arsRconvOp{#1}}{#2}{#3}}
......@@ -18,11 +18,11 @@
\symvariant{arsRconv}[3]{1}{\infix[p=300]{\arsRconvOp[1]{#1}}{#2}{#3}}
\symtest[variant=1]{arsRconv}{\arsRconv[1]{R}AB}
\symdef[name=arsconvtr]{arsconvtrOp}{\rightarrow^*}
\symdef[name=arsconvtr]{arsconvtrOp}{\amtrel{\rightarrow^*}}
\symdef{arsconvtr}[2]{\infix[p=300]{\arsconvtrOp}{#1}{#2}}
\symtest{arsconvtr}{\arsconvtr{A}B}
\symdef[name=arsRconvtr]{arsRconvtrOp}[1]{\rightarrow_{#1}^*}
\symdef[name=arsRconvtr]{arsRconvtrOp}[1]{\mathrel{\rightarrow_{#1}^*}}
\symdef{arsRconvtr}[3]{\infix[p=300]{\arsRconvtrOp{#1}}{#2}{#3}}
\symtest{arsRconvtr}{\arsRconvtr{R}AB}
\symiii{abstract}{reduction}{system}
......
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