saundersp/notebook
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

packages/macros.sty : added proof environment with «amsthm»

Browse Source
This commit is contained in:
saundersp 2024-08-05 00:32:42 +02:00
parent e7f324dbe4
commit 6af3c70835
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/macros.sty
View File

@ -2,6 +2,8 @@
\RequirePackage{amsfonts} % Include missing symbols s.a "Natural Numbers" \RequirePackage{amsfonts} % Include missing symbols s.a "Natural Numbers"
\usepackage{amsthm} % for 'proof' environment
% Snippet to add dots to TOC % Snippet to add dots to TOC
% Thanks to "user11232" at https://tex.stackexchange.com/questions/53898/how-to-get-lines-with-dots-in-the-table-of-contents-for-sections % Thanks to "user11232" at https://tex.stackexchange.com/questions/53898/how-to-get-lines-with-dots-in-the-table-of-contents-for-sections
%\usepackage{tocloft} %\usepackage{tocloft}
@ -42,6 +44,7 @@
\newcommand{\functiondef}[2]{\hspace{15pt}#1 \longmapsto #2} \newcommand{\functiondef}[2]{\hspace{15pt}#1 \longmapsto #2}
\newcommand{\otherwise}{\text{Sinon}} \newcommand{\otherwise}{\text{Sinon}}
%\newcommand{\otherwise}{\text{Otherwise}} %\newcommand{\otherwise}{\text{Otherwise}}
\DeclareMathOperator{\union}{\cup}
\renewcommand{\smallskip}{\vspace{3pt}} \renewcommand{\smallskip}{\vspace{3pt}}
\renewcommand{\medskip}{\vspace{6pt}} \renewcommand{\medskip}{\vspace{6pt}}