1.7 tweaks

hmemcpy · Oct 2, 2017 · 5dd3d8c · 5dd3d8c
1 parent a21cab6
commit 5dd3d8c
Show file tree

Hide file tree

Showing 2 changed files with 82 additions and 94 deletions.
diff --git a/src/category.tex b/src/category.tex
@@ -11,4 +11,5 @@
 \mathbf{id}_{#1}%
 }
 \newcommand{\Set}{\cat{Set}}
-\newcommand{\Rel}{\cat{Rel}}
+\newcommand{\Rel}{\cat{Rel}}
+\newcommand{\Cat}{\cat{Cat}}