From 81405337ffc1758ebba0c77bb05318d35f8b1554 Mon Sep 17 00:00:00 2001
From: Boris Glavic <lordpretzel@gmail.com>
Date: Sun, 13 Dec 2020 10:10:22 -0600
Subject: [PATCH] macros

---
 macros.tex | 1 -
 1 file changed, 1 deletion(-)

diff --git a/macros.tex b/macros.tex
index a4dd0ab..aa7afe5 100644
--- a/macros.tex
+++ b/macros.tex
@@ -295,7 +295,6 @@
 \newcommand{\addormultsymbol}{\bigcdot}
 \newcommand{\monsymbol}{\ominus}
 
-\newcommand{\domK}{K}
 \newcommand{\addK}{\addsymbol_{\semK}}
 \newcommand{\multK}{\multsymb_{\semK}}
 \newcommand{\genopK}{\odot_{\semK}}