
%
% f�r diese Arbeit
%
\newcommand{\theLast}[2][S]{\ensuremath{\hslash_{#1}(#2)}}
\newcommand{\labelImpl}[2]{\ensuremath{\ref{#1}~\Rightarrow~\ref{#2}}}
\newcommand{\zetaM}[1][\mathcal{M}]{\ensuremath{\zeta_{#1}}}
\newcommand{\piM}[1][\mathcal{M}]{\ensuremath{\omega_{#1}}}
\newcommand{\idR}{\ensuremath{\Delta_{\pReal}}}
\newcommand{\Weak}[1]{\ensuremath{{#1}^\bullet}}
\newcommand{\Inff}[1]{\ensuremath{#1_\infty}}
\newcommand{\muCSL}{\ensuremath{\mu\mathbf{CSL}}}
\newcommand{\VarFont}[1]{\mathsf{#1}}
\newcommand{\StateVars}{\ensuremath{\VarFont{SV}}}
\newcommand{\AtomProps}{\ensuremath{\VarFont{AP}}}
\newcommand{\PathVars}{\ensuremath{\VarFont{PV}}}
\newcommand{\muOp}[2][P]{\ensuremath{\mu#1.#2}}
\newcommand{\RelOp}{\ensuremath{\ltimes}}
\newcommand{\dP}[1]{\ensuremath{\mathsf{dp}(#1)}}
\newcommand{\Paths}{\ensuremath{\textsc{Paths}}}
\newcommand{\AllStateFormulas}{\ensuremath{\mathfrak{SF}}}
\newcommand{\AllPathFormulas}{\ensuremath{\mathfrak{PF}}}
\newcommand{\Stop}{\mathsf{Stop}}
\newcommand{\eLL}{\ensuremath{\mathbf{L}}}
\newcommand{\Steady}[2][\RelOp p]{\ensuremath{\mathcal{S}_{#1}({#2})}}
\newcommand{\SteadyOpSenza}[1][\RelOp p]{\ensuremath{\mathcal{S}_{#1}}}
\newcommand{\SteadySenza}{\ensuremath{\mathcal{S}}}
\newcommand{\PathQuant}[2][\RelOp p]{\ensuremath{\mathcal{P}_{#1}({#2})}}
\newcommand{\PathQuantOpSenza}[1][\RelOp p]{\ensuremath{\mathcal{P}_{#1}}}
\newcommand{\PathQuantSenza}{\ensuremath{\mathcal{P}}}
\newcommand{\Next}[2][I]{\ensuremath{\mathcal{X}^{#1}\:{#2}}}
\newcommand{\NextOpSenza}[1][I]{\ensuremath{\mathcal{X}^{#1}}}
\newcommand{\Until}[3][I]{\ensuremath{{#2}\:\mathcal{U}^{#1}\:{#3}}}
\newcommand{\Pfeil}[1][t]{\ensuremath{\overset{#1}{\longrightarrow}}}
\newcommand{\At}[2][\sigma]{\ensuremath{{#1}@{#2}}}
\newcommand{\Inv}[2]{\ensuremath{{\mathcal INV}\left(#1, #2\right)}}
\newcommand{\Klasse}[2]{\left[#1\right]_{#2}}
\newcommand{\Faktor}[2]{{#1}/{#2}}
\newcommand{\fMap}[1]{\eta_{#1}}
\newcommand{\Bild}[2]{{#1}\left[#2\right]}
\newcommand{\InvBild}[2]{\Bild{#1^{-1}}{#2}}
\newcommand{\Kern}[1]{\mathsf{ker}\left(#1\right)}
\newcommand{\Folge}[1]{(#1_n)_{n \in \Nat}}
\newcommand{\srFont}{\mathsf}
\newcommand{\SR}[1]{\srFont{#1}}
\newcommand{\Mal}[2]{#1 \bullet #2}
\newcommand{\mkFont}{\mthbb}
\newcommand{\MK}[1]{\mkFont{#1}}
\newcommand{\theTheory}[2]{Th_{#1}({#2})}
%
% eher allgemein
%
\newcommand{\supp}{\mathsf{supp}}
\newcommand{\Supp}[1]{\supp(#1)}
\newcommand{\dom}[1]{\mathsf{dom}(#1)}
\newcommand{\Tr}[1]{\mathsf{Tr}(#1) }
\newcommand{\spaceFont}[1]{\mathfrak{#1}}
\newcommand{\Manes}[1]{\spaceFont{M}\left(#1\right)}
\newcommand{\ManesSenza}{\spaceFont{M}}
\newcommand{\Giry}[1]{\spaceFont{G}\left(#1\right)}
\newcommand{\GirySenza}{\spaceFont{G}}
\newcommand{\Prob}[1]{\spaceFont{P}\left(#1\right)}
\newcommand{\SubProb}[1]{\spaceFont{S}\left(#1\right)}
\newcommand{\Functor}[2]{\ensuremath{\spaceFont{#1}\left(#2\right)}}
\newcommand{\Category}[1]{\ensuremath{\mathbf{#1}}}
\newcommand{\SubProbSenza}{\spaceFont{S}}
\newcommand{\ProbSenza}{\spaceFont{P}}
\newcommand{\PowerSet}[1]{\ensuremath{\mathcal{P}\left(#1\right)}}
\newcommand{\PowerSenza}{\ensuremath{\mathcal{P}}}
\newcommand{\FunctorSenza}[1]{\ensuremath{\spaceFont{#1}}}
\newcommand{\nProd}[2]{\ensuremath{{#1}_1 \times \dots \times {#1}_{#2}}}
\newcommand{\nList}[2]{\ensuremath{{#1}_1, \dots, {#1}_{#2}}}
\newcommand{\yields}[2]{\ensuremath{\ \vdash^{#1}_{#2}\ }}
\newcommand{\pPaths}[1]{\ensuremath{\Pi\left({#1}\right)}}
\newcommand{\Borel}[1]{\ensuremath{{\mathcal B}(#1)}}
\newcommand{\Universal}[1]{\ensuremath{{\mathcal U}\left(#1\right)}}
%\newcommand{\lSim}{[\![}
%\newcommand{\rSim}{]\!]}
%\newcommand{\Gilt}[1][\varphi]{\ensuremath{\lSim #1 \rSim}}
%\newcommand{\Gilt}[1][\varphi]{\ensuremath{\left[\!\left[ #1
%\right]\!\right]}}
\edef\LinkeKlammer{\lbrack\!\lbrack}
\edef\RechteKlammer{\rbrack\!\rbrack}
\newcommand{\Gilt}[1][\phi]{\ensuremath{\LinkeKlammer#1\RechteKlammer}}
\newcommand{\itLab}{\ensuremath{\mathsf{L}}}

\newcommand{\Trans}{\rightsquigarrow}
\newcommand{\Dirac}[1]{\spaceFont{I}_{#1}}
\newcommand{\Eins}[1]{\mathtt{1}\!\!{\mathtt{l}}_{#1}}
\newcommand{\diag}[1]{\Delta_{#1}}
\newcommand{\compositionSymbol}[1]{\mathbf{#1}}
\newcommand{\kComp}{\compositionSymbol{\odot}}
\newcommand{\dComp}{\compositionSymbol{\star}}
\newcommand{\rComp}{\compositionSymbol{\circ}}
\newcommand{\rdComp}{\compositionSymbol{\diamond}}
\newcommand{\klComp}{\compositionSymbol{\ast}}
\newcommand{\charFnct}[1]{\mathbf{\chi}_{#1}}
\newcommand{\Harpune}[2]{{#1}\upharpoonright{#2}}
\newcommand{\Hut}[1]{{#1}^{\ast}}
\newcommand{\Unit}{\mathbb{I}}
\newcommand{\Converse}[1]{{#1}^{\mathbf{\smile}}}
\newcommand{\Konverse}[2]{\Converse{#1}_{#2}}
\newcommand{\Bang}[1]{{#1}^{\bullet}}
\newcommand{\Hash}[1]{{#1}^{\sharp}}
\newcommand{\Closure}[1]{\ensuremath{\mathsf{cl}(#1)}}
\newcommand{\Compl}[1]{\overline{#1}}
\newcommand{\relativ}[2]{{#1}^{\natural}_{#2}}
\newcommand{\biSim}[1]{\sim_{\langle{#1}\rangle}}
\newcommand{\bigKlComp}{
  \mbox{\textsf{\Large\ast}}
}
\newcommand{\MeasFnct}[2]{\ensuremath{\mathcal{F}\left(#1, #2\right)}}
\newcommand{\Dach}[1]{{}^{\Box}{#1}}

\newtheorem{definition}{Definition}[section]
\newcommand{\BeginDefinition}[1]{%
  \begin{definition}\label{#1}
}
\newcommand{\EndDefinition}{\end{definition}}

\newtheorem{example}[definition]{Example}%[section]
\newcommand{\BeginExample}[1]{%
  \begin{example}\label{#1}\rm
}
\newcommand{\EndExample}{--- \end{example}}

\newtheorem{observation}[definition]{Observation}%[section]
\newcommand{\BeginObservation}[1]{
  \begin{observation}\label{#1}\rm
}
\newcommand{\EndObservation}{--- \end{observation}}

\newtheorem{theorem}[definition]{Theorem}%[section]
\newcommand{\BeginTheorem}[1]{%
  \begin{theorem}\label{#1}
}
\newcommand{\EndTheorem}{\end{theorem}}

\newtheorem{corollary}[definition]{Corollary}%[section]
\newcommand{\BeginCorollary}[1]{
  \begin{corollary}\label{#1}
}

\newtheorem{proposition}[definition]{Proposition}%[section]
\newcommand{\BeginProposition}[1]{%
  \begin{proposition}\label{#1}
}
\newcommand{\EndProposition}{\end{proposition}}

\newcommand{\EndCorollary}{\end{corollary}}
\newtheorem{lemma}[definition]{Lemma}%[section]
\newcommand{\BeginLemma}[1]{%
  \begin{lemma}\label{#1}
}
\newcommand{\EndLemma}{\end{lemma}}

\newtheorem{claim}{Claim}
\newcommand{\BeginClaim}[1]{%
  \begin{claim}\label{#1}
}
\newcommand{\EndClaim}{\end{claim}}


\newenvironment{proof}{\textbf{Proof\ }}{\ensuremath{\QED}}
\newcommand{\BeginProof}{\begin{proof}}
\newcommand{\EndProof}{\end{proof}}

\newenvironment{remark}{\textbf{Remark:\ }}{}
\newcommand{\BeginRemark}{\begin{remark}}
\newcommand{\EndRemark}{\QED\end{remark}}
\newcommand{\QED}{%
\ensuremath{\dashv}
%\text{\textbf{QED}}
}
%\newcommand{\QED}{$\blacksquare$}
\newcommand{\Peirce}[2]{{#1}\odot{#2}}
\newcommand{\weakConv}{\rightharpoonup_w}
\newcommand{\Real}{\mathbb{R}}
\newcommand{\pReal}{\mathbb{R}_{+}}
\newcommand{\Nat}{\mathbb{N}}
\newcommand{\Rational}{\mathbb{Q}}

\newcommand{\Eval}{\mathsf{ev}}
\newcommand{\unit}{\ensuremath{\eta}}
\newcommand{\multi}{\ensuremath{\mu}}
\newcommand{\nPfeil}{\stackrel{\bullet}{\rightarrow}}
\newcommand{\StrichOhne}[1]{|{#1}|}
\newcommand{\Strich}[1]{\StrichOhne{\mathcal {#1}}}
\newcommand{\ArbFont}{\mathfrak}
\newcommand{\Inp}[2]{\ensuremath{\ArbFont{i}\left({#1}, {#2}\right)}}
\newcommand{\Outp}[2]{\ensuremath{\ArbFont{o}\left({#1}, {#2}\right)}}
\newcommand{\Gee}[2]{\ensuremath{\ArbFont{g}\left({#1}, {#2}\right)}}
\newcommand{\Work}[2]{\ensuremath{\ArbFont{a}\left({#1},
      {#2}\right)}}
\newcommand{\Arbeit}[2]{\ensuremath{\ArbFont{A}\left({#1},
      {#2}\right)}}
\newcommand{\PipeWork}[2]{\ensuremath{\ArbFont{P}\left(\mathcal{#2},
      {\mathcal#1}\right)}}
\newcommand{\PipeWorkS}[2]{\ensuremath{\ArbFont{P}\left({#2},
      {#1}\right)}}

\newcommand{\Star}[1]{{#1}^{\ast}}
\newcommand{\Folg}[1]{{#1}^{\infty}}
\newcommand{\prefix}{\preceq}
\newcommand{\kurz}[2]{{#1}|{#2}}
\newcommand{\leeresWort}{\epsilon}
\newcommand{\Body}[1]{[{#1}]}
\newcommand{\nStrata}[1]{\ensuremath{\Lambda(#1)}}

\newcommand{\rD}{\ensuremath{\rho(\triangle)}}
\newcommand{\Modb}{\ensuremath{\spaceFont{Mod_b}(\tau, P)}}
\newcommand{\Mods}{\ensuremath{\spaceFont{Mod_s}(\tau, P)}}
\newcommand{\Mode}{\ensuremath{\spaceFont{Mod_1}(\tau, P)}}

\newcommand{\Bld}[2]{%
\begin{center}%
  \setbox0=\hbox{\includegraphics{#2.eps}}%
  \includegraphics[height=#1\ht0,width=#1\wd0]{#2.eps}%
\end{center}%
}

\newcommand{\BildMitUnterschrift}[4]{
  \begin{figure}[bth]
    \centering
    \Bld{#1}{#2}
    \caption{#3}
    \label{#4}
  \end{figure}
}

\newcommand{\sEins}{\phantom{123456}}
\newcommand{\sZwei}{\sEins\sEins}
\newcommand{\sDrei}{\sZwei\sEins}
\newcommand{\sVier}{\sZwei\sZwei}

\newcommand{\Ein}[1]{\ensuremath{\bullet #1}}
\newcommand{\Aus}[1]{\ensuremath{#1 \bullet}}
\newcommand{\FTimes}[1]{\ensuremath{\times_{\FunctorSenza{#1}}}}
\newcommand{\Sharp}{\ensuremath{\sharp}}

\newcommand{\Trip}[4]{\ensuremath{\langle {#1}_{#4}, {#2}_{#4},
    {#3}_{#4}\rangle}}
\newcommand{\Hm}[3]{\ensuremath{\langle {#1}_{#3},
    {#2}_{#3}\rangle}}
\newcommand{\longpage}{\enlargethispage{\baselineskip}}
\newcommand{\shortpage}{\enlargethispage{-\baselineskip}}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: "muCalc"
%%% TeX-master: t
%%% End:
