diff options
| author | Gaëtan Gilbert | 2019-01-29 15:34:15 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-01-29 15:35:05 +0100 |
| commit | de9a5897eb2b7d325f7f65a5c30f71203be05834 (patch) | |
| tree | c9e66c34b7ce7acd95eea35abfe62bfb1ec8dc19 /doc/sphinx | |
| parent | a9b141469fe3036355be95d8cf5f0bf5c240fe37 (diff) | |
Use \mathcal instead of \cal
Apparently it's deprecated / doesn't always work, see
https://tex.stackexchange.com/questions/84041/why-does-calm-n-give-m
See #9429 (we also need to fix the distributed file on the server).
Diffstat (limited to 'doc/sphinx')
| -rw-r--r-- | doc/sphinx/refman-preamble.sty | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/sphinx/refman-preamble.sty b/doc/sphinx/refman-preamble.sty index cb7c8d0cf5..8f7b1bb1e8 100644 --- a/doc/sphinx/refman-preamble.sty +++ b/doc/sphinx/refman-preamble.sty @@ -63,7 +63,7 @@ \newcommand{\Set}{\textsf{Set}} \newcommand{\si}{\textsf{if}} \newcommand{\sinon}{\textsf{else}} -\newcommand{\Sort}{\cal S} +\newcommand{\Sort}{\mathcal{S}} \newcommand{\Str}{\textsf{Stream}} \newcommand{\Struct}{\kw{Struct}} \newcommand{\subst}[3]{#1\{#2/#3\}} @@ -75,10 +75,10 @@ \newcommand{\unfold}{\textsf{unfold}} \newcommand{\WEV}[3]{\mbox{$#1[] \vdash #2 \lra #3$}} \newcommand{\WEVT}[3]{\mbox{$#1[] \vdash #2 \lra$}\\ \mbox{$ #3$}} -\newcommand{\WF}[2]{{\cal W\!F}(#1)[#2]} +\newcommand{\WF}[2]{{\mathcal{W\!F}}(#1)[#2]} \newcommand{\WFE}[1]{\WF{E}{#1}} -\newcommand{\WFT}[2]{#1[] \vdash {\cal W\!F}(#2)} -\newcommand{\WFTWOLINES}[2]{{\cal W\!F}\begin{array}{l}(#1)\\\mbox{}[{#2}]\end{array}} +\newcommand{\WFT}[2]{#1[] \vdash {\mathcal{W\!F}}(#2)} +\newcommand{\WFTWOLINES}[2]{{\mathcal{W\!F}}\begin{array}{l}(#1)\\\mbox{}[{#2}]\end{array}} \newcommand{\with}{\kw{with}} \newcommand{\WS}[3]{#1[] \vdash #2 <: #3} \newcommand{\WSE}[2]{\WS{E}{#1}{#2}} |