summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoradelon <22380201+adelon@users.noreply.github.com>2024-05-21 16:52:15 +0200
committeradelon <22380201+adelon@users.noreply.github.com>2024-05-21 16:52:15 +0200
commit1ea35d4861f29faa5d7eab25c7773c0d9b638b38 (patch)
tree64450ea67cdc68cdd5aee3d74effdc15ebe7a613
parent3845ab9020b3eb591ef999827503b483eb735bd7 (diff)
Add definition for `\genOpens`
-rw-r--r--latex/naproche.sty1
1 files changed, 1 insertions, 0 deletions
diff --git a/latex/naproche.sty b/latex/naproche.sty
index 9764693..4bbefea 100644
--- a/latex/naproche.sty
+++ b/latex/naproche.sty
@@ -87,6 +87,7 @@
\newcommand{\fld}[1]{\fun{field}#1}
\newcommand{\fst}[1]{\fun{fst}#1}
\newcommand{\funs}[2]{\fun{Fun}(#1,#2)}
+\newcommand{\genOpens}[2]{\mathcal{O}_{#2}(#1)}
\newcommand{\idempotents}[1]{\fun{Idempotent}(#1)}
\newcommand{\identity}[1]{\fun{id}_{#1}}
\newcommand{\img}[2]{#1^{\to}(#2)}