h

macros.tex

+
+\theoremstyle{plain}
+        \newtheorem{thm}{Theorem}[section]
+        \newtheorem{propo}[thm]{Proposition}
+        \newtheorem{coro}[thm]{Corollary}
+        \newtheorem{lem}[thm]{Lemma}
+        \newtheorem{propri}[thm]{Property}
+        \newtheorem{defi}[thm]{Definition}
+        \newtheorem{algo}[thm]{Algorithm}
+        \newtheorem{expl}{Example}
+\theoremstyle{definition}
+        \newtheorem{exo}[thm]{Exercise}
+\theoremstyle{remark}
+        \newtheorem*{nots}{Notations}
+        \newtheorem*{rmq}{Remark}
+        \newtheorem{sub}{Local goal}
+        \newtheorem{rest}{Remaining goal}
+        \newtheorem*{locProof}{Proof}
+
+\newcommand{\sur}[2]{\raisebox{0.4ex}{$#1$} / \raisebox{-0.7ex}{$#2$}}
+\newcommand{\N}{\mathbb{N}}
+\newcommand{\Z}{\mathbb{Z}}
+\newcommand{\Q}{\mathbb{Q}}
+\newcommand{\R}{\mathbb{R}}
+\newcommand{\C}{\mathbb{C}}
+\newcommand{\ZnZ}{\sur{\Z}{n\Z}}
+\newcommand{\ZpZ}{\sur{\Z}{p\Z}}
+\newcommand{\F}{\mathbb{F}}
+\newcommand{\valabs}[1]{\left|#1\right|}
+\newcommand{\prem}{\mathbb{P}}
+\newcommand{\paren}[1]{\left(#1\right)}
+\newcommand{\crochet}[1]{\left[#1\right]}
+\newcommand{\ens}[1]{\left\{#1\right\}}
+\newcommand{\enscond}[2]{\ens{\left.\vphantom{#2}#1\right|#2}}
+\newcommand{\intent}[1]{\llbracket#1\rrbracket}
+\newcommand{\bits}{\left\{0,1\right\}}
+\newcommand{\etc}[2][n]{#2_1,\cdots,#2_{#1}}
+\let\<\leqslant
+\let\>\geqslant
+\newcommand{\lgdr}[2]{\left(\frac{#1}{#2}\right)}
+\newcommand{\eps}{\varepsilon}
+\newcommand{\sys}[2]{\left\{\begin{tabular}{l}$#1$\\$#2$\end{tabular}\right.}
+\newcommand{\preim}[1]{#1^{<-1>}}
+\newcommand{\deffonc}[5]{\begin{array}{lrcl}#1: & #2 & \rightarrow & #3\\& #4 & \mapsto & #5\end{array}}
+\newcommand{\sommeortho}{\stackrel{\bot}{\oplus}}
+\newcommand{\bool}{\mathcal{B}}
+\newcommand{\Part}[1]{\mathcal{P}\paren{#1}}
+\newcommand{\vect}[1]{\overrightarrow{#1}}
+\newcommand{\diff}{\mathrm{d}}
+\newcommand{\grad}{\vect{\mathrm{grad}}\,}
+\newcommand{\deriv}[2]{\frac{\diff #1}{\diff #2}}
+\newcommand{\norm}[1]{\left\|#1\right\|}
+\newcommand{\inclus}{\subseteq}
+\newcommand{\ssi}{ si et seulement si }
+\newcommand{\cad}{ c'est-à-dire }
+\newcommand{\proba}[1]{\mathrm{Pr}\crochet{#1}}
+\newcommand{\subst}[3]{#1\left[\sur{#3}{#2}\right]}
+
+\newcommand{\encadr}[1]{\fbox{\begin{minipage}{0.9\textwidth}{#1}\end{minipage}}}
+\definecolor{noir}{RGB}{0,0,0}
+\definecolor{gris}{RGB}{150,150,150}
+\definecolor{rouge}{RGB}{255,0,0}
+\definecolor{bleu}{RGB}{0,0,255}
+\definecolor{vert}{RGB}{0,150,0}
+\newcommand{\rem}[1]{\fbox{\begin{minipage}{0.9\textwidth}\textcolor{bleu}{#1}\end{minipage}}}
+\newcommand{\ajout}[1]{{\large \textcolor{vert}{#1}}}
+\newcommand{\todo}[1]{\textcolor{red}{{\large TO DO} \fbox{\begin{minipage}{0.7\textwidth}{#1}\end{minipage}}}}
+\newcommand{\question}[1]{\textcolor{orange}{Question: #1}}
+\newcommand{\answer}[1]{\textcolor{vert}{Answer: #1}}
+
+\DeclareMathOperator{\Frac}{Frac}
+\DeclareMathOperator{\Card}{Card}
+\DeclareMathOperator{\disc}{disc}
+\DeclareMathOperator{\rg}{rg}
+\DeclareMathOperator{\Ker}{Ker}
+\DeclareMathOperator{\Id}{Id}
+
+\lstset{basicstyle={\ttfamily\small\upshape},keywordstyle={\color{blue}}}
+\lstdefinelanguage{Dedukti}
+{
+  alsoletter={=->:\#},
+  keywords={Type,def,-->,->,=>,:=,:,.,\#SNF,\#NAME,\#PRINT,set,infix,symbol,rule,TYPE},
+  delim=[s][\color{brown}]{\[}{\]},
+  comment=[n]{(;}{;)},
+  string=[b]{"},
+  %stringstyle=\color{orange},
+  commentstyle=\color{red},
+  showstringspaces=false
+}
+\definecolor{grispale}{RGB}{240,240,240}
+
+% biblios
+\newcommand\shortbib{short,abbrev,short-names,mybib}
+\newcommand\longbib{long,abbrev,long-names,mybib}
+
+% miscellaneous
+\newcommand\hide[1]{}
+\newcommand\vide\emptyset
+\DeclareMathOperator\Pos{Pos}
+
+
+% delimiters
+\newcommand\restrict[2]{\left.#1\right|_{#2}}
+\newcommand\ps[1]{{\langle #1\rangle}}
+\newcommand\dps[1]{\ps{\!\ps{#1}\!}}
+\newcommand\I[1]{\llbracket{#1}\rrbracket}
+\newcommand\J[1]{(\!|#1|\!)}
+\newcommand\K[1]{\ps{\!|#1|\!}}
+
+% logical symbols
+\newcommand\ex\exists
+\newcommand\all\forall
+\newcommand\ou\vee
+\newcommand\bigou\bigvee
+\newcommand\biget\bigwedge
+\newcommand\et\wedge
+\newcommand\non\neg
+\newcommand{\impli}{\Rightarrow}
+
+% greek letters
+\newcommand\al\alpha
+\renewcommand\b\beta
+\newcommand\g\gamma
+\newcommand\G\Gamma
+\renewcommand\d\delta
+\newcommand\D\Delta
+\newcommand\ep\epsilon
+\newcommand\vep\varepsilon
+\newcommand\z\zeta
+\newcommand\tht\theta
+\newcommand\Tht\Theta
+\newcommand\io\iota
+\newcommand\kap\kappa
+\newcommand\lm\lambda
+\newcommand\Lm\Lambda
+\newcommand\sg\sigma
+\newcommand\Sg\Sigma
+\newcommand\ups\upsilon
+\newcommand\Ups\Upsilon
+\newcommand\vphi\varphi
+\newcommand\w\omega
+\newcommand\W\Omega
+
+% math styles
+\newcommand\mcal\mathcal
+\newcommand\mtt\mathtt
+\newcommand\mrm\mathrm
+\newcommand\mbb\mathbb % amssymb
+\newcommand\mbf\mathbf
+\newcommand\mfr\mathfrak
+
+% appendixes
+\newcommand\beginappendixes{\setcounter{section}{0}%
+  \renewcommand\thesection{\Alph{section}}}
+\newcommand\append[1]{\newpage\refstepcounter{section}%
+  \section*{Appendix \thesection: #1}}
+
+% indexes
+\newcommand\indlem[1]{Lem. \ref{#1}}
+\newcommand\indprop[1]{Prop. \ref{#1}}
+\newcommand\inddef[1]{Def. \ref{#1}}
+\newcommand\indthm[1]{Thm. \ref{#1}}
+\newcommand\indcor[1]{Cor. \ref{#1}}
+\newcommand\indfig[1]{Fig. \ref{#1}}
+\newcommand\indsec[1]{Sec. \ref{#1}}
+\newcommand\indrem[1]{Rem. \ref{#1}}
+\newcommand\indconj[1]{Conj. \ref{#1}}
+\newcommand\indchap[1]{Chap. \ref{#1}}
+\newcommand\indpage[1]{page #1}
+
+% rule environment
+%\newenvironment{rew}[1][~~\a~~]
+%  {$\begin{array}{r@{#1}l}}
+%  {\end{array}$}
+\newenvironment{rewc}[1][~~\a~~]
+  {\begin{center}\begin{rew}[#1]}
+  {\end{rew}\end{center}}
+
+% rule environment
+\newenvironment{typ}[1][\,:\,]{\begin{rew}[#1]}{\end{rew}}
+\newenvironment{typc}[1][\,:\,]{\begin{rewc}[#1]}{\end{rewc}}
+
+% proof trees
+\newenvironment{ded}
+   {\begin{center}\begin{prooftree}}
+   {\end{prooftree}\end{center}}
+