From de9a5897eb2b7d325f7f65a5c30f71203be05834 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 29 Jan 2019 15:34:15 +0100
Subject: 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).
---
 doc/common/macros.tex | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'doc/common')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index 6a28c5b3d1..927a912fbf 100644
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -242,7 +242,7 @@
 \newcommand{\vref}{\nterm{ref}}
 \newcommand{\zarithformula}{\nterm{zarith\_formula}}
 \newcommand{\zarith}{\nterm{zarith}}
-\newcommand{\ltac}{\mbox{${\cal L}_{tac}$}}
+\newcommand{\ltac}{\mbox{${\mathcal{L}}_{tac}$}}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % \mbox{\sf } series for roman text in maths formulas %
@@ -373,15 +373,15 @@
 \newcommand{\sumbool}[2]{\{#1\}+\{#2\}}
 \newcommand{\myifthenelse}[3]{\kw{if} ~ #1 ~\kw{then} ~ #2 ~ \kw{else} ~ #3}
 \newcommand{\fun}[2]{\item[]{\tt {#1}}. \quad\\ #2}
-\newcommand{\WF}[2]{\ensuremath{{\cal W\!F}(#1)[#2]}}
-\newcommand{\WFTWOLINES}[2]{\ensuremath{{\cal W\!F}\begin{array}{l}(#1)\\\mbox{}[{#2}]\end{array}}}
+\newcommand{\WF}[2]{\ensuremath{{\mathcal{W\!F}}(#1)[#2]}}
+\newcommand{\WFTWOLINES}[2]{\ensuremath{{\mathcal{W\!F}}\begin{array}{l}(#1)\\\mbox{}[{#2}]\end{array}}}
 \newcommand{\WFE}[1]{\WF{E}{#1}}
 \newcommand{\WT}[4]{\ensuremath{#1[#2] \vdash #3 : #4}}
 \newcommand{\WTE}[3]{\WT{E}{#1}{#2}{#3}}
 \newcommand{\WTEG}[2]{\WTE{\Gamma}{#1}{#2}}
 
 \newcommand{\WTM}[3]{\WT{#1}{}{#2}{#3}}
-\newcommand{\WFT}[2]{\ensuremath{#1[] \vdash {\cal W\!F}(#2)}}
+\newcommand{\WFT}[2]{\ensuremath{#1[] \vdash {\mathcal{W\!F}}(#2)}}
 \newcommand{\WS}[3]{\ensuremath{#1[] \vdash #2 <: #3}}
 \newcommand{\WSE}[2]{\WS{E}{#1}{#2}}
 \newcommand{\WEV}[3]{\mbox{$#1[] \vdash #2 \lra  #3$}}
@@ -427,7 +427,7 @@
 \newcommand{\letin}[3]{\kw{let}~#1:=#2~\kw{in}~#3}
 \newcommand{\subst}[3]{#1\{#2/#3\}}
 \newcommand{\substs}[4]{#1\{(#2/#3)_{#4}\}}
-\newcommand{\Sort}{\mbox{$\cal S$}}
+\newcommand{\Sort}{\mbox{$\mathcal{S}$}}
 \newcommand{\convert}{=_{\beta\delta\iota\zeta\eta}}
 \newcommand{\leconvert}{\leq_{\beta\delta\iota\zeta\eta}}
 \newcommand{\NN}{\mathbb{N}}
-- 
cgit v1.2.3