2 files changed, 3 insertions, 3 deletions

diff --git a/provider/css/math.css b/provider/css/math.css
index b2a3644..4c3c0f4 100644
--- a/provider/css/math.css
+++ b/provider/css/math.css
@@ -48,6 +48,6 @@ div.proof > p:first-child:before {
     font-style: italic;
 }
 
-div.proof > p:last-child:after {
+div.proof > :last-child:after {
     content: " ∎";
 }
\ No newline at end of file
diff --git a/provider/templates/preamble.tex b/provider/templates/preamble.tex
index 129eba8..6ca168f 100644
--- a/provider/templates/preamble.tex
+++ b/provider/templates/preamble.tex
@@ -12,7 +12,7 @@
 \newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}}
 
 \newcommand{\id}{\ensuremath{\mathrm{id}}}
-\renewcommand{\implies}{\rightarrow}
+\renewcommand{\implies}{\ensuremath{\rightarrow}}
 
 \newcommand{\N}{\ensuremath{\mathbb{N}}}
-\newcommand{\arr}[3]{\ensuremath{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}}}
+\newcommand{\arr}[3]{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}}