diff --git a/main/style/math.tex b/main/style/math.tex
index c1ed9a2..c5864eb 100644
--- a/main/style/math.tex
+++ b/main/style/math.tex
@@ -8,3 +8,4 @@
 \renewcommand{\vec}[1]{\overrightarrow{#1}}
 \renewcommand{\hat}[1]{\widehat{#1}}
 \renewcommand{\tilde}[1]{\widetilde{#1}}
+\newcommand{\proven}{$\hspace{17cm}\square$}