Add proven command

This commit is contained in:
Janis Hutz 2025-04-03 09:20:57 +02:00
parent 42ccf02808
commit 16586327d2

View File

@ -8,3 +8,4 @@
\renewcommand{\vec}[1]{\overrightarrow{#1}}
\renewcommand{\hat}[1]{\widehat{#1}}
\renewcommand{\tilde}[1]{\widetilde{#1}}
\newcommand{\proven}{$\hspace{17cm}\square$}