Commit 476bad44 authored by Ralf Jung's avatar Ralf Jung
Browse files

update iris.sty

parent 58893fc3
...@@ -145,7 +145,7 @@ ...@@ -145,7 +145,7 @@
\newcommand{\mcar}[1]{|#1|} \newcommand{\mcar}[1]{|#1|}
\newcommand{\mcarp}[1]{\mcar{#1}^{+}} \newcommand{\mcarp}[1]{\mcar{#1}^{+}}
\newcommand{\munit}{\varepsilon} \newcommand{\munit}{\varepsilon}
\newcommand{\mcore}[1]{\lfloor#1\rfloor} \newcommand{\mcore}[1]{\llparenthesis#1\rrparenthesis}
\newcommand{\mtimes}{\mathbin{\cdot}} \newcommand{\mtimes}{\mathbin{\cdot}}
\newcommand{\mupd}{\rightsquigarrow} \newcommand{\mupd}{\rightsquigarrow}
......
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