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}}