-
Notifications
You must be signed in to change notification settings - Fork 0
/
automaten_tafelanschriebe.sty
123 lines (101 loc) · 4.04 KB
/
automaten_tafelanschriebe.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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
\RequirePackage{scrpage2}
\RequirePackage[utf8]{inputenc}
\RequirePackage[T1]{fontenc}
\RequirePackage[ngerman]{babel}
\RequirePackage[german]{babelbib}
\RequirePackage{microtype}
\RequirePackage{pifont}
\RequirePackage{lmodern}
\RequirePackage{latexsym,amssymb,amsmath,mathdots}
% \RequirePackage{txfonts}
% \RequirePackage[scaled=.9]{helvet}
\RequirePackage{xspace}
\RequirePackage[pdfborder={0 0 0}]{hyperref}
\RequirePackage{graphicx}
\RequirePackage{tikz}
\usetikzlibrary{automata,positioning,arrows.meta,shapes.geometric,calc,fit}
\RequirePackage{ifthen}
\RequirePackage{rotating}
\RequirePackage{chngcntr}
\counterwithout{figure}{section}
\renewcommand\thefigure{\arabic{figure}}
\counterwithout{equation}{section}
\renewcommand\floatpagefraction{.99}
\renewcommand\topfraction{.99}
\renewcommand\bottomfraction{.99}
\renewcommand\textfraction{.01}
\pgfdeclarelayer{background}
\pgfdeclarelayer{foreground}
\pgfsetlayers{background,main,foreground}
\newcommand{\textbfsf}[1]{\textbf{\textsf{#1}}}
\newcommand{\textsfbf}[1]{\textbf{\textsf{#1}}}
% Beweisumgebung
\newcommand{\qedsymbol}{\ding{111}}
\newcommand{\qedhere}{\hspace*{\fill}\qedsymbol}
\newcommand{\quasiqedhere}{\hspace*{\fill}(\qedsymbol)}
\newenvironment{beweis}{%
\par\medskip\noindent
\textup{\textsfbf{Beweis.}}
}{%
% \hspace*{\fill}\qedsymbol
\par\smallskip\noindent
}
% ----- Frakturbuchstaben -----
\newcommand{\Amf}{\ensuremath{\mathfrak{A}}\xspace}
\newcommand{\Bmf}{\ensuremath{\mathfrak{B}}\xspace}
\newcommand{\Imf}{\ensuremath{\mathfrak{I}}\xspace}
\newcommand{\Nmf}{\ensuremath{\mathfrak{N}}\xspace}
% ----- kalligrafische Buchstaben -----
\newcommand{\Amc}{\ensuremath{\mathcal{A}}\xspace}
\newcommand{\Bmc}{\ensuremath{\mathcal{B}}\xspace}
\newcommand{\Fmc}{\ensuremath{\mathcal{F}}\xspace}
\newcommand{\Gmc}{\ensuremath{\mathcal{G}}\xspace}
\newcommand{\Kmc}{\ensuremath{\mathcal{K}}\xspace}
\newcommand{\Omc}{\ensuremath{\mathcal{O}}\xspace}
\newcommand{\Pmc}{\ensuremath{\mathcal{P}}\xspace}
\newcommand{\Smc}{\ensuremath{\mathcal{S}}\xspace}
\newcommand{\Tmc}{\ensuremath{\mathcal{T}}\xspace}
\newcommand{\Umc}{\ensuremath{\mathcal{U}}\xspace}
\newcommand{\Amcb}{\text{{\boldmath $\mathcal{A}$\xspace}}}
% ----- Carstens phi-Abkürzung -----
\newcommand{\vp}{\ensuremath{\varphi}\xspace}
% ----- Makros für lineare Strukturen und deren Labels -----
\newcommand{\linstruc}[1]{%
\node[state] (elem0) {0};
\foreach \x [remember=\x as \lastx (initially 0)] in {1,...,#1} {
\node[state] (elem\x) [right=of elem\lastx] {\x};
\path[->] (elem\lastx) edge node[above] {$s$} (elem\x);
};
\path[->] (elem#1) edge[loop right] node[right] {$s$} ();
}
% 1st param: location of label w.r.t. to element (default: above)
% 2nd param: distance to element
% 3rd param: element name
% 4th param: alignment among labels
% 5th param: label text (without "tabular")
\newcommand{\linstruclab}[5][above]{%
\node [#1=#2 of elem#3] {\begin{tabular}{@{}#4@{}}#5\end{tabular}};
}
\renewcommand{\Vec}[1]{\ensuremath{\overrightarrow{#1}}}
\newcommand{\bspnr}[1]{{\footnotesize\textsf{#1}}}
\newcommand{\auf}{\ensuremath{\langle}}
\newcommand{\zu}{\ensuremath{\rangle}}
\newcommand*\circled[1]{\tikz[baseline=(char.base)]{
\node[shape=circle,draw,inner sep=1pt,line width = .8pt] (char) {{\small #1}};}}
\newcommand{\A}{\textit{\textsf{A}}\xspace}
\newcommand{\E}{\textit{\textsf{E}}\xspace}
\newcommand{\F}{\textit{\textsf{F}}\xspace}
\newcommand{\G}{\textit{\textsf{G}}\xspace}
\newcommand{\X}{\textit{\textsf{X}}\xspace}
\newcommand{\U}{\ensuremath{\mathbin{\textit{\textsf{U}}}}\xspace}
\newcommand{\PlA}{\textsfbf{A}\xspace}
\newcommand{\PlE}{\textsfbf{E}\xspace}
\renewcommand{\Game}[2]{\ensuremath{\textsf{\textit{G}}_{\mathcal{#1},#2}}}
%\newcommand{\AUT}{\textsf{Aut}\xspace}
%\newcommand{\PF}{\textsf{PF}\xspace}
\newcommand{\AUT}{\textcolor{black!80}{\textsfbf{Aut}}\xspace}
\newcommand{\PF}{\textcolor{black!80}{\textsfbf{PF}}\xspace}
\newcommand{\Lst}{\ensuremath{\textsf{\textit{L}}_{s,t}}\xspace}
\newcommand{\parI}{\par\smallskip}
\newcommand{\parII}{\par\medskip}
\newcommand{\parIII}{\par\bigskip}