Commit 34ab1892 authored by Ralf Jung's avatar Ralf Jung

update iris.sty

parent d5f015ae
Pipeline #2863 passed with stage
in 9 minutes and 21 seconds
......@@ -10,7 +10,6 @@
\RequirePackage{xstring}
\RequirePackage{mathtools}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% SETUP
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
......@@ -166,8 +165,9 @@
\newcommand{\munit}{\varepsilon}
\newcommand{\mcore}[1]{{\mid}#1{\mid}} % using "|" here makes LaTeX diverge. WTF.
\newcommand{\mnocore}\top
\newcommand{\mnocore}{\bot}
\newcommand{\mtimes}{\mathbin{\cdot}}
\newcommand{\mundefined}{\lightning}
\newcommand{\mupd}{\rightsquigarrow}
\newcommand{\mincl}[1][]{\ensuremath{\mathrel{\stackrel{#1}{\preccurlyeq}}}}
......@@ -391,7 +391,7 @@
\newcommand{\Auth}{\textsf{Auth}}
% Sum
\newcommand{\csumm}{\mathrel{+_{\!\bot}}}
\newcommand{\csumm}{\mathrel{+_{\!\mundefined}}}
\newcommand{\cinl}{\textsf{inl}}
\newcommand{\cinr}{\textsf{inr}}
......
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