diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-02 22:53:32 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-02 22:53:32 +0100 |
| commit | e283971b74db4dd0c89b1d393fc2de6d6ec85a3a (patch) | |
| tree | 941465f07af38a020d34e90474169bd08eb59899 /provider | |
| parent | 7b4df716eb30be99d31258156d6f388fff82b237 (diff) | |
| download | dirty-haskell.org-e283971b74db4dd0c89b1d393fc2de6d6ec85a3a.tar dirty-haskell.org-e283971b74db4dd0c89b1d393fc2de6d6ec85a3a.tar.gz dirty-haskell.org-e283971b74db4dd0c89b1d393fc2de6d6ec85a3a.tar.bz2 dirty-haskell.org-e283971b74db4dd0c89b1d393fc2de6d6ec85a3a.tar.xz dirty-haskell.org-e283971b74db4dd0c89b1d393fc2de6d6ec85a3a.zip | |
minor math tweaks
Diffstat (limited to 'provider')
| -rw-r--r-- | provider/css/math.css | 2 | ||||
| -rw-r--r-- | 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 { | |||
| 48 | font-style: italic; | 48 | font-style: italic; |
| 49 | } | 49 | } |
| 50 | 50 | ||
| 51 | div.proof > p:last-child:after { | 51 | div.proof > :last-child:after { |
| 52 | content: " ∎"; | 52 | content: " ∎"; |
| 53 | } \ No newline at end of file | 53 | } \ 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 @@ | |||
| 12 | \newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}} | 12 | \newcommand*{\idarr}[1]{\ensuremath{\mathrm{id}_{#1}}} |
| 13 | 13 | ||
| 14 | \newcommand{\id}{\ensuremath{\mathrm{id}}} | 14 | \newcommand{\id}{\ensuremath{\mathrm{id}}} |
| 15 | \renewcommand{\implies}{\rightarrow} | 15 | \renewcommand{\implies}{\ensuremath{\rightarrow}} |
| 16 | 16 | ||
| 17 | \newcommand{\N}{\ensuremath{\mathbb{N}}} | 17 | \newcommand{\N}{\ensuremath{\mathbb{N}}} |
| 18 | \newcommand{\arr}[3]{\ensuremath{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}}} | 18 | \newcommand{\arr}[3]{\begin{tikzcd}[ampersand replacement=\&]{#1} \rar{#2} \& {#3}\end{tikzcd}} |