Commit 55f6b083 authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent 96ff5421
Pipeline #128 skipped
\begin{module}[id=pseudocode]
\symdef{pmetavar}{\langle\kern -.2em\langle\text{#1}\rangle\kern-.2em\rangle}
\symdef{pmetavar}[1]{\langle\kern -.2em\langle\text{#1}\rangle\kern-.2em\rangle}
\end{module}
%%% 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