Fixes #9

Signed-off-by: zeramorphic <[email protected]>
zeramorphic · Aug 11, 2023 · bb7fca0 · bb7fca0
1 parent 4cbce4c
commit bb7fca0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/util.sty b/util.sty
@@ -213,9 +213,8 @@
 \AtBeginDocument{%
 \renewcommand{\Re}{\operatorname{Re}}
 \renewcommand{\Im}{\operatorname{Im}}
+\renewcommand{\div}{\nabla\cdot}
 \newcommand{\dashrightarrow}{\mathrel{\rightdasharrow}}
-% \let\oldstar\star
-% \renewcommand{\star}{{\raisebox{1pt}{\( \mathsmaller{\mathsmaller\oldstar} \)}}}
 }
 
 \DeclarePairedDelimiter\ceil{\lceil}{\rceil}