From e283971b74db4dd0c89b1d393fc2de6d6ec85a3a Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Tue, 2 Feb 2016 22:53:32 +0100 Subject: minor math tweaks --- provider/css/math.css | 2 +- provider/templates/preamble.tex | 4 ++-- 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}} -- cgit v1.2.3