w23-logic-3/logic.sty

159 lines
4.5 KiB
Text
Raw Normal View History

2023-10-14 00:04:27 +02:00
\ProvidesPackage{logic}[2023/10/14 - Style file for notes of Logic 3: Abstract Topological Dynamics and Descriptive Set Theory]
2023-10-13 23:33:24 +02:00
\usepackage[english]{babel}
\usepackage[cache, number in = section]{fancythm}
\usepackage{mkessler-mathfont}
\usepackage{centernot}
\usepackage{enumerate}
\usepackage{mkessler-todo}
\usepackage[index]{mkessler-vocab}
\usepackage{mkessler-code}
\usepackage{jrpie-math}
2023-10-13 23:54:02 +02:00
\usepackage{jrpie-yaref}
2023-10-13 23:33:24 +02:00
\usepackage[normalem]{ulem}
\usepackage{pdflscape}
\usepackage{longtable}
\usepackage{xcolor}
\usepackage{dsfont}
\usepackage{csquotes}
\usepackage{tikz}
\usepackage{tikz-cd}
\usetikzlibrary{arrows}
%\usepackage{wrapfig}
\usepackage{listings}
\usepackage{multirow}
\usepackage{float}
2023-12-05 18:13:30 +01:00
\usepackage{adjustbox}
2023-11-03 11:55:11 +01:00
\usepackage{quiver}
2023-10-13 23:33:24 +02:00
%\usepackage{algorithmicx}
\newcounter{subsubsubsection}[subsubsection]
\renewcommand\thesubsubsubsection{\thesubsubsection.\arabic{subsubsubsection}}
\newcommand\subsubsubsection[1]
{
\stepcounter{subsubsubsection}
\medskip
\textbf{\thesubsubsubsection~#1}
\medskip
}
\newcommand\todoimg[1]
{
\todo{FEHLENDES BILD: #1}
}
\usepackage{siunitx}
% Wenn auf die Klausurrelevanz EXPLIZIT hingewiesen wurde
\newcommand\klausurrelevant{
\footnote{\color{red}klausurrelevant!}
}
\usepackage{acro}
\def\alert#1{{\color{red} #1}}
\usepackage{imakeidx}
\makeindex[name = ccode, title = \texttt{C} functions and macros]
2024-01-04 19:26:34 +01:00
\PassOptionsToPackage{hyphens}{url}%
2023-10-13 23:33:24 +02:00
\usepackage{hyperref}
\usepackage[quotation]{knowledge}[22/02/12]
\newcommand\main[1]{\underline{#1}}
\newcommand\usage[1]{\textit{#1}}
\renewcommand\i{\mathrm{\mathbf{i}}}
\newcommand\notimplies{\centernot\implies}
\knowledgestyle{ccode}{color=purple!30!black, index style = usage, wrap = \code}
\knowledgestyle{ccode unknown}{ wrap = \code, color = brown}
\knowledgestyle{ccode unknown cont}{ wrap = \code}
\knowledgestyle{ccode intro}{color=blue, boldface, index style = main, wrap = \code}
\knowledgestyle{autoref link}{autoref link}
\knowledgestyle{autoref target}{autoref target}
\knowledgenewvariant\cc{
default style = {autoref link, ccode},
unknown style = {ccode unknown},
unknown style cont = {ccode unknown cont},
% unknown warning = false,
% unknown diagnose = false,
}
\knowledgenewvariant\ccintro {
auto knowledge = {autoref, scope=document, also now, index, index name = ccode, wrap = \code},
default style = {autoref target, ccode intro},
unknown style = ccode unknown,
unknown style cont = ccode unknown
}
\knowledgevariantmodifier{\intro*\cc}\ccintro
\knowledgevariantmodifier{\cintro*\cc}\ccintro
\hypersetup{colorlinks, citecolor=violet, urlcolor=blue!80!black, linkcolor=red!50!black, pdfauthor=\@author, pdftitle=\ifdef{\@course}{\@course}{\@title}}
\NewFancyTheorem[thmtools = { style = thmredmargin} , group = { big } ]{warning}
\DeclareSimpleMathOperator{ran} % TODO: ran vs range
\DeclareSimpleMathOperator{range} % TODO
\let\Col\undefined
\DeclareSimpleMathOperator{Col}
\DeclareSimpleMathOperator{Con}
\DeclareSimpleMathOperator{ZF}
\DeclareSimpleMathOperator{ZFC}
\DeclareSimpleMathOperator{HOD}
\DeclareSimpleMathOperator{OD}
\DeclareSimpleMathOperator{AC}
\DeclareSimpleMathOperator{Fund}
\DeclareSimpleMathOperator{Pair}
\DeclareSimpleMathOperator{Union}
\DeclareSimpleMathOperator{Rep}
\DeclareSimpleMathOperator{Pow}
\renewcommand{\Aus}{\text{Aus}}
% \DeclareSimpleMathOperator{Aus}
\DeclareSimpleMathOperator{Infinity}
\DeclareSimpleMathOperator{CH}
\DeclareSimpleMathOperator{DC}
\DeclareSimpleMathOperator{Ord}
\DeclareSimpleMathOperator{trcl}
\DeclareSimpleMathOperator{tcl}
2023-10-17 11:56:32 +02:00
2023-11-21 12:34:38 +01:00
\DeclareSimpleMathOperator{Tr}
2023-11-24 11:53:57 +01:00
\DeclareSimpleMathOperator{IF}
\DeclareSimpleMathOperator{WF}
\DeclareSimpleMathOperator{LO} % linear orders
\DeclareSimpleMathOperator{WO} % well orderings
2023-11-21 12:34:38 +01:00
2023-12-05 18:13:30 +01:00
2023-12-12 13:31:59 +01:00
\DeclareSimpleMathOperator{Homeo}
2023-12-05 18:13:30 +01:00
\DeclareSimpleMathOperator{osc} % oscillation
2023-10-17 11:56:32 +02:00
\newcommand{\concat}{\mathop{{}^{\scalebox{.7}{$\smallfrown$}}}}
%https://tex.stackexchange.com/questions/73437/how-do-i-typeset-the-concatenation-of-strings-properly
%\mathbin{\raisebox{1ex}{\scalebox{.7}{$\frown$}}}%
2023-10-13 23:33:24 +02:00
\DeclareMathOperator{\hght}{height}
2023-10-31 11:53:03 +01:00
\DeclareMathOperator{\symdif}{\triangle}
\DeclareSimpleMathOperator{proj}
2023-11-13 00:23:51 +01:00
\newcommand{\fc}{\mathfrak{c}}
2023-12-08 01:39:20 +01:00
\DeclareMathOperator{\acts}{\curvearrowright}
2023-10-13 23:33:24 +02:00
2023-10-13 23:54:02 +02:00
\newcommand\lecture[3]{\hrule{\color{darkgray}\hfill{\tiny[Lecture #1, #2]}}}
2023-12-05 18:13:30 +01:00
\newcommand\tutorial[3]{\hrule{\color{darkgray}\hfill{\tiny[Tutorial #1, #2]}}}
\newcommand\nr[1]{\subsubsection{Exercise #1}}
2024-01-04 19:26:34 +01:00
\usepackage[bibfile=bibliography/references.bib, imagefile=bibliography/images.bib]{mkessler-bibliography}