[skip ci] Build helpers on push

This commit is contained in:
Helpers compiler [bot]
2026-01-05 10:29:09 +00:00
parent 676bbd9306
commit b0e161e133
3 changed files with 3 additions and 3 deletions

2
dist/full.tex vendored
View File

@@ -989,7 +989,7 @@
% ▀▀ █▪▀▀▀ ▀ ▀ ▀▀▀ ▀▀▀ · ▀▀▀▀ ▀▀▀ ▀ • .▀▀▀ ▀▀▀
% Replace some commonly used commands with better ones
\renewcommand{\vec}[1]{\overrightarrow{#1}}
\newcommand{\vect}[1]{\overrightarrow{#1}}
\renewcommand{\hat}[1]{\widehat{#1}}
\renewcommand{\tilde}[1]{\widetilde{#1}}
\newcommand{\proven}{$\hspace{17cm}\square$}

2
dist/most.tex vendored
View File

@@ -989,7 +989,7 @@
% ▀▀ █▪▀▀▀ ▀ ▀ ▀▀▀ ▀▀▀ · ▀▀▀▀ ▀▀▀ ▀ • .▀▀▀ ▀▀▀
% Replace some commonly used commands with better ones
\renewcommand{\vec}[1]{\overrightarrow{#1}}
\newcommand{\vect}[1]{\overrightarrow{#1}}
\renewcommand{\hat}[1]{\widehat{#1}}
\renewcommand{\tilde}[1]{\widetilde{#1}}
\newcommand{\proven}{$\hspace{17cm}\square$}

View File

@@ -989,7 +989,7 @@
% ▀▀ █▪▀▀▀ ▀ ▀ ▀▀▀ ▀▀▀ · ▀▀▀▀ ▀▀▀ ▀ • .▀▀▀ ▀▀▀
% Replace some commonly used commands with better ones
\renewcommand{\vec}[1]{\overrightarrow{#1}}
\newcommand{\vect}[1]{\overrightarrow{#1}}
\renewcommand{\hat}[1]{\widehat{#1}}
\renewcommand{\tilde}[1]{\widetilde{#1}}
\newcommand{\proven}{$\hspace{17cm}\square$}