Commit 2b7b36ce authored by Robbert Krebbers's avatar Robbert Krebbers

Tweak macros for maps.

parent c7f4f734
Pipeline #2871 passed with stage
in 9 minutes and 22 seconds
...@@ -83,9 +83,10 @@ ...@@ -83,9 +83,10 @@
\newcommand{\subst}[3]{{#1}[{#3} / {#2}]} \newcommand{\subst}[3]{{#1}[{#3} / {#2}]}
\newcommand{\mapinsert}[3]{#3[#1:=#2]} \newcommand{\mapinsert}[3]{#3[#1\mathop{\vcentcolon=}#2]}
\newcommand{\mapsingleton}[2]{[#1:=#2]} \newcommand{\mapsingleton}[2]{[#1\mathop{\vcentcolon=}#2]}
\newcommand{\mapsingletonComp}[3]{\left[ #1 := #2 \spac\middle|\spac #3 \right]} \newcommand{\mapsingletonComp}[3]
{\left[ #1 \mathop{\vcentcolon=} #2 \spac\middle|\spac #3 \right]}
\newcommand{\nil}{\epsilon} \newcommand{\nil}{\epsilon}
......
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