summaryrefslogtreecommitdiffstats
path: root/preamble.tex
diff options
context:
space:
mode:
Diffstat (limited to 'preamble.tex')
-rw-r--r--preamble.tex81
1 files changed, 67 insertions, 14 deletions
diff --git a/preamble.tex b/preamble.tex
index 35d94ad..8479b31 100644
--- a/preamble.tex
+++ b/preamble.tex
@@ -11,9 +11,12 @@
\usepackage{amsmath,amsthm}
\usepackage{mathtools}
\usepackage[colon=literal]{unicode-math} % TODO get rid of this since it messes up math italic correction
-\usepackage{enumitem}
+\usepackage[inline]{enumitem}
+\usepackage{multicol}
%\usepackage{graphicx}
+\usepackage{tikz}
\usepackage{tcolorbox}
+%\usepackage{wrapfig}
\usepackage[style=ext-alphabetic]{biblatex}
\usepackage[intoc,refpage]{nomencl}
\usepackage{makeidx}
@@ -81,8 +84,10 @@
% ---------- amsmath
\numberwithin{equation}{chapter}
\DeclareMathOperator{\supp}{supp}
+\DeclareMathOperator{\diag}{diag}
\DeclareMathOperator{\dom}{dom}
\DeclareMathOperator{\ran}{ran}
+\DeclareMathOperator{\Span}{span}
% extend amsmath's proof environment
\NewDocumentEnvironment{myproof}{Ob}{\IfNoValueTF{#1}{\begin{proof}}{\begin{proof}[\proofname\ of \Cref{#1}]}}{\end{proof}}
@@ -99,6 +104,12 @@
\DeclarePairedDelimiterX\innerp[2]{\langle}{\rangle}{#1,#2}
\DeclarePairedDelimiterX\LorentzBF[2]{\lparen}{\rparen}{#1,#2}
+% ---------- enumitem
+\setlist[enumerate,1]{label=(\roman*),nosep,leftmargin=*,widest=ii}
+
+% ---------- tikz
+\usetikzlibrary{arrows.meta}
+
% ---------- tcolorbox
\tcbuselibrary{skins,theorems,breakable} % add breakable library?
\tcbset{%
@@ -177,7 +188,9 @@
% ---------- nomencl
\makenomenclature
-\renewcommand*{\nomname}{List of Symbols}
+\renewcommand{\nomname}{List of Symbols}
+\renewcommand{\nompreamble}{\begin{multicols}{2}}
+\renewcommand{\nompostamble}{\end{multicols}}
%\def\pagedeclaration#1{, \hyperlink{page.#1}{page\nobreakspace#1}}
\def\pagedeclaration#1{, \hyperlink{page.#1}{#1}}
@@ -234,6 +247,7 @@
% TODO Why does this not work?
\renewcommand{\Re}{\operatorname{Re}}
\renewcommand{\Im}{\operatorname{Im}}
+\newcommand{\Real}{\operatorname{Re}}
\newcommand{\Imag}{\operatorname{Im}}
% emphasis for defined terms
@@ -283,6 +297,7 @@
\newcommand*{\BosonFockFinite}[1]{\mathcal{F}^{@0}_{\!\ts{s}}(#1)}
\newcommand*{\FermionFock}[1]{\mathcal{F}_{\!\ts{s}}(#1)}
\newcommand*{\FermionFockFinite}[1]{\mathcal{F}^{@0}_{\!\ts{s}}(#1)}
+\newcommand*{\FockVacuum}{\Omega}
% Operators
% ---------
@@ -320,27 +335,65 @@
\newcommand{\defequal}{\overset{\text{\scriptsize def}}{=}}
\newcommand*{\energydensity}{\varrho}
-\newcommand*{\fockvaccum}{\Omega}
% Observable Algebras
\newcommand*{\vNa}[1]{\mathcal{#1}}
\newcommand*{\localalg}[1]{\vNa{R}(#1)}
+% Measure Theroy
+\newcommand*{\BorelSigmaAlgebra}[2][]{\mathfrak{B}\parens[#1]{#2}}
+
+% Lorentz and Poincaré groups, subgroups and connected components
+\newcommand*{\LorentzGroup}{\mathcal{L}}
+\newcommand*{\FullLorentzGroup}{\LorentzGroup}
+\newcommand*{\ProperLorentzGroup}{\LorentzGroup_{+}}
+\newcommand*{\OrthochronousLorentzGroup}{\LorentzGroup^{\uparrow}}
+\newcommand*{\OrthochorousLorentzGroup}{\LorentzGroup_0}
+\newcommand*{\ProperOrthochronousLorentzGroup}{\LorentzGroup_{+}^{\uparrow}}
+\newcommand*{\RestrictedLorentzGroup}{\ProperOrthochronousLorentzGroup}
+\newcommand*{\ImproperOrthochronousLorentzTransformations}{\LorentzGroup_{-}^{\uparrow}}
+\newcommand*{\ProperNonorthochronousLorentzTransformations}{\LorentzGroup_{+}^{\downarrow}}
+\newcommand*{\ImproperNonorthochronousLorentzTransformations}{\LorentzGroup_{-}^{\downarrow}}
+
+\newcommand*{\ComplexLorentzGroup}{\LorentzGroup(\CC)}
+\newcommand*{\FullComplexLorentzGroup}{\ComplexLorentzGroup}
+\newcommand*{\ProperComplexLorentzGroup}{\ProperLorentzGroup(\CC)}
+\newcommand*{\ImproperComplexLorentzTransformations}{\LorentzGroup_{-}(\CC)}
+
+\newcommand*{\PoincareGroup}{\mathcal{P}}
+\newcommand*{\FullPoincareGroup}{\PoincareGroup}
+\newcommand*{\ProperPoincareGroup}{\PoincareGroup_{\!+}}
+\newcommand*{\OrthochronousPoincareGroup}{\PoincareGroup^{\uparrow}}
+\newcommand*{\OrthochorousPoincareGroup}{\PoincareGroup_0}
+\newcommand*{\ProperOrthochronousPoincareGroup}{\PoincareGroup_{\!+}^{\uparrow}}
+\newcommand*{\RestrictedPoincareGroup}{\ProperOrthochronousPoincareGroup}
+\newcommand*{\ImproperOrthochronousPoincareTransformations}{\PoincareGroup_{\!-}^{\uparrow}}
+\newcommand*{\ProperNonorthochronousPoincareTransformations}{\PoincareGroup_{\!+}^{\downarrow}}
+\newcommand*{\ImproperNonorthochronousPoincareTransformations}{\PoincareGroup_{\!-}^{\downarrow}}
+
+\newcommand*{\ComplexPoincareGroup}{\PoincareGroup(\CC)}
+\newcommand*{\FullComplexPoincareGroup}{\ComplexPoincareGroup}
+\newcommand*{\ProperComplexPoincareGroup}{\ProperPoincareGroup(\CC)}
+\newcommand*{\ImproperComplexPoincareTransformations}{\PoincareGroup_{\!-}(\CC)}
+
+% Functional Analysis
+\newcommand*{\BoundedLinearOperators}[2][]{B\parens[#1]{#2}}
+\DeclareMathOperator*{\stronglim}{s-lim}
+\DeclareMathOperator*{\weaklim}{w-lim}
-\newcommand*{\FullLorentzGroup}{\mathcal{L}}
-\newcommand*{\ProperOrthochronousLorentzGroup}{\FullLorentzGroup_{+}^{\uparrow}}
-\newcommand*{\FullPoincareGroup}{\mathcal{P}}
-\newcommand*{\ProperOrthochronousPoincareGroup}{\FullPoincareGroup_{+}^{\uparrow}}
-
-% spacetime domains
+% spacetime regions
\newcommand*{\spacetimeregion}[1]{\mathcal{#1}}
\newcommand*{\rightwedge}{W_{\! R}}
\newcommand*{\leftwedge}{W_{\! L}}
+\newcommand*{\OpenForwardCone}{V_+}
+\newcommand*{\ClosedForwardCone}{\bar{V}_+}
+\newcommand*{\OpenForwardTube}{T_+}
+\newcommand*{\ClosedForwardTube}{\bar{T}_+}
-\newcommand*{\todo}[1]{{\color{blue}TODO: #1}}
-\newcommand*{\question}[1]{{\color{blue}Question: #1}}
-\newcommand*{\info}[1]{{\color{blue}Info: #1}}
+% comments
+\newcommand*{\bluetext}[1]{{\color{blue}#1}}
+\newcommand*{\todo}[1]{\bluetext{TODO: #1}}
+\newcommand*{\question}[1]{\bluetext{Question: #1}}
+\newcommand*{\info}[1]{\bluetext{Info: #1}}
\newcommand*{\operatorclosure}[1]{\overline{#1}}
-
-\DeclareMathOperator*{\stronglim}{s-lim}