From 6fb2056f809c792e00b0a44c5cc23f3e4d29ff33 Mon Sep 17 00:00:00 2001
From: saundersp <pierre.saundersgb@gmail.com>
Date: Sun, 2 Mar 2025 23:47:54 +0100
Subject: [PATCH] packages/macros.sty : changed normalSubgroup symbol

---
 packages/macros.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages/macros.sty b/packages/macros.sty
index cf3193c..2aa364f 100644
--- a/packages/macros.sty
+++ b/packages/macros.sty
@@ -54,7 +54,7 @@
 \newenvironment{corollary_sq}{\begin{mdframed}\begin{corollary}}{\end{corollary}\end{mdframed}}
 \DeclarePairedDelimiter{\generator}{\langle}{\rangle}
 \DeclareMathOperator{\subgroup}{\leqslant}
-\DeclareMathOperator{\normalSubgroup}{\triangleleft}
+\DeclareMathOperator{\normalSubgroup}{\trianglelefteq}
 \newcommand{\rank}[1]{\text{rg}(#1)}
 \DeclarePairedDelimiter{\norm}{\lVert}{\rVert}
 \DeclarePairedDelimiter{\Norm}{\lVert}{\rVert}