Commit 7aaa7528 authored by Michael Kohlhase's avatar Michael Kohlhase

more

parent c8eb59c7
Pipeline #126 skipped
\begin{module}[id=pseudocode]
\symdef{pmetavar}{\langle\kern -.2em\langle\text{#1}\rangle\kern-.2em\rangle}
\end{module}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
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