polishing 4.1–2

ToposInstitute · Jul 10, 2024 · d136479 · d136479
1 parent 4963827
commit d136479
Show file tree

Hide file tree

Showing 2 changed files with 163 additions and 114 deletions.
diff --git a/Book-Poly.tex b/Book-Poly.tex
@@ -399,6 +399,7 @@
 \newcommand{\Fun}[1]{\mathrm{#1}}%a named functor
 \newcommand{\Sys}[1]{\mathsf{#1}}%dynamical system
 \newcommand{\com}[1]{\mathscr{#1}}%polynomial comonoid
+\newcommand{\oper}[1]{\operatorname{#1}}
 
 % System shorthands:
 \newcommand{\State}[1]{\Set{State}_{\Sys{#1}}}