diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-06-17 01:39:09 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-06-17 01:39:09 +0200 |
| commit | 299741fcef2500949e423ac92c3d2a610d77f761 (patch) | |
| tree | 8ac2aff53aa631ffa10e73ce14bc8fc093982485 /main.tex | |
| parent | a84d779b1f0d88e504219e8b68c4865a247f8023 (diff) | |
Mónadas
Diffstat (limited to 'main.tex')
| -rw-r--r-- | main.tex | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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\,} |
