From 1ea35d4861f29faa5d7eab25c7773c0d9b638b38 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 21 May 2024 16:52:15 +0200
Subject: Add definition for `\genOpens`

---
 latex/naproche.sty | 1 +
 1 file changed, 1 insertion(+)

(limited to 'latex/naproche.sty')

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)}
-- 
cgit v1.2.3

