aboutsummaryrefslogtreecommitdiff
path: root/main.tex
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2023-06-17 01:39:09 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2023-06-17 01:39:09 +0200
commit299741fcef2500949e423ac92c3d2a610d77f761 (patch)
tree8ac2aff53aa631ffa10e73ce14bc8fc093982485 /main.tex
parenta84d779b1f0d88e504219e8b68c4865a247f8023 (diff)
Mónadas
Diffstat (limited to 'main.tex')
-rw-r--r--main.tex1
1 files changed, 1 insertions, 0 deletions
diff --git a/main.tex b/main.tex
index d5c70a2..f74a7ca 100644
--- a/main.tex
+++ b/main.tex
@@ -106,6 +106,7 @@ decorate, decoration={
\newcommand{\dKeyPar}[2]{\newcommand{#1}[1]{\text{#2}({##1})}}
\dKeyPar{\Ob}{Ob}
\dKeyPar{\Mor}{Mor}
+\dKeyPar{\Mnd}{Mnd}
\dKey{\dom}{dom}
\dKey{\cod}{cod}
\dKey{\Img}{Im\,}