-
Notifications
You must be signed in to change notification settings - Fork 3
/
macros.sty
39 lines (27 loc) · 1019 Bytes
/
macros.sty
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
\usepackage{hyperref}
\usepackage{imakeidx}
\makeindex
\newcommand{\Index}[1]{\emph{#1\index{#1}}}
\usepackage{babel}
\usepackage{hyperref}
\usepackage{amsmath, amssymb, amsthm}
\usepackage{mathtools}
\usepackage{tikz}
\usetikzlibrary{automata,positioning,shapes.multipart}
\usepackage{thmtools}
\declaretheorem[name=Definition,style=definition,numberwithin=section]{definition}
\declaretheorem[name=Bemerkung,style=definition,sibling=definition]{remark}
\declaretheorem[name=Notation,style=definition,sibling=definition]{notation}
\declaretheorem[sibling=definition]{theorem}
\declaretheorem[name=Beispiel,style=definition,sibling=definition]{example}
\declaretheorem[sibling=definition]{lemma}
\usepackage{enumitem}
\usepackage{authorchapters/authorchapters}
\usepackage{lst-robotkarol/robotkarol}
\usepackage{float}
\usepackage{tabularx}
\usepackage{bussproofs}
\newcommand{\Nat}{\mathbb{N}}
\newcommand{\Reel}{\mathbb{R}}
\newcommand{\docauthor}{FSI Lehramt Informatik (Erlangen)\ }
\author{\docauthor}