header.tex

\documentclass{article}

% Packages

\usepackage{amssymb}
\usepackage{amsthm}
\usepackage[UKenglish]{babel}
\usepackage{commath}
\usepackage{enumitem}
\usepackage{etoolbox}
\usepackage{fancyhdr}
\usepackage[margin=1in]{geometry}
\usepackage{graphicx}
\usepackage[hidelinks]{hyperref}
\usepackage[utf8]{inputenc}
\usepackage{listings}
\usepackage{mathtools}
\usepackage{stmaryrd}
\usepackage{tikz-cd}
\usepackage{csquotes}

% Formatting

\addto\captionsUKenglish{\renewcommand{\abstractname}{Syllabus}}
\delimitershortfall5pt
\ifx\thm\undefined\newtheorem{n}{}\else\newtheorem{n}{}[\thm]\fi
\newcommand\newoperator[1]{\ifcsdef{#1}{\cslet{#1}{\relax}}{}\csdef{#1}{\operatorname{#1}}}
\setlength{\parindent}{0cm}

% Environments

\theoremstyle{plain}
\newtheorem{algorithm}[n]{Algorithm}
\newtheorem*{algorithm*}{Algorithm}
\newtheorem{algorithm**}{Algorithm}
\newtheorem{conjecture}[n]{Conjecture}
\newtheorem*{conjecture*}{Conjecture}
\newtheorem{conjecture**}{Conjecture}
\newtheorem{corollary}[n]{Corollary}
\newtheorem*{corollary*}{Corollary}
\newtheorem{corollary**}{Corollary}
\newtheorem{lemma}[n]{Lemma}
\newtheorem*{lemma*}{Lemma}
\newtheorem{lemma**}{Lemma}
\newtheorem{proposition}[n]{Proposition}
\newtheorem*{proposition*}{Proposition}
\newtheorem{proposition**}{Proposition}
\newtheorem{theorem}[n]{Theorem}
\newtheorem*{theorem*}{Theorem}
\newtheorem{theorem**}{Theorem}

\theoremstyle{definition}
\newtheorem{aim}[n]{Aim}
\newtheorem*{aim*}{Aim}
\newtheorem{aim**}{Aim}
\newtheorem{axiom}[n]{Axiom}
\newtheorem*{axiom*}{Axiom}
\newtheorem{axiom**}{Axiom}
\newtheorem{condition}[n]{Condition}
\newtheorem*{condition*}{Condition}
\newtheorem{condition**}{Condition}
\newtheorem{definition}[n]{Definition}
\newtheorem*{definition*}{Definition}
\newtheorem{definition**}{Definition}
\newtheorem{example}[n]{Example}
\newtheorem*{example*}{Example}
\newtheorem{example**}{Example}
\newtheorem{exercise}[n]{Exercise}
\newtheorem*{exercise*}{Exercise}
\newtheorem{exercise**}{Exercise}
\newtheorem{fact}[n]{Fact}
\newtheorem*{fact*}{Fact}
\newtheorem{fact**}{Fact}
\newtheorem{goal}[n]{Goal}
\newtheorem*{goal*}{Goal}
\newtheorem{goal**}{Goal}
\newtheorem{law}[n]{Law}
\newtheorem*{law*}{Law}
\newtheorem{law**}{Law}
\newtheorem{plan}[n]{Plan}
\newtheorem*{plan*}{Plan}
\newtheorem{plan**}{Plan}
\newtheorem{problem}[n]{Problem}
\newtheorem*{problem*}{Problem}
\newtheorem{problem**}{Problem}
\newtheorem{question}[n]{Question}
\newtheorem*{question*}{Question}
\newtheorem{question**}{Question}
\newtheorem{warning}[n]{Warning}
\newtheorem*{warning*}{Warning}
\newtheorem{warning**}{Warning}
\newtheorem{acknowledgements}[n]{Acknowledgements}
\newtheorem*{acknowledgements*}{Acknowledgements}
\newtheorem{acknowledgements**}{Acknowledgements}
\newtheorem{annotations}[n]{Annotations}
\newtheorem*{annotations*}{Annotations}
\newtheorem{annotations**}{Annotations}
\newtheorem{assumption}[n]{Assumption}
\newtheorem*{assumption*}{Assumption}
\newtheorem{assumption**}{Assumption}
\newtheorem{conclusion}[n]{Conclusion}
\newtheorem*{conclusion*}{Conclusion}
\newtheorem{conclusion**}{Conclusion}
\newtheorem{claim}[n]{Claim}
\newtheorem*{claim*}{Claim}
\newtheorem{claim**}{Claim}
\newtheorem{notation}[n]{Notation}
\newtheorem*{notation*}{Notation}
\newtheorem{notation**}{Notation}
\newtheorem{note}[n]{Note}
\newtheorem*{note*}{Note}
\newtheorem{note**}{Note}
\newtheorem{remark}[n]{Remark}
\newtheorem*{remark*}{Remark}
\newtheorem{remark**}{Remark}

% Lectures

\newcommand{\lecture}[3]{ % Lecture
  \marginpar{
    Lecture #1 \\
    #2 \\
    #3
  }
}

% Blackboard

\renewcommand{\AA}{\mathbb{A}} % Blackboard A
\newcommand{\BB}{\mathbb{B}}   % Blackboard B
\newcommand{\CC}{\mathbb{C}}   % Blackboard C
\newcommand{\DD}{\mathbb{D}}   % Blackboard D
\newcommand{\EE}{\mathbb{E}}   % Blackboard E
\newcommand{\FF}{\mathbb{F}}   % Blackboard F
\newcommand{\GG}{\mathbb{G}}   % Blackboard G
\newcommand{\HH}{\mathbb{H}}   % Blackboard H
\newcommand{\II}{\mathbb{I}}   % Blackboard I
\newcommand{\JJ}{\mathbb{J}}   % Blackboard J
\newcommand{\KK}{\mathbb{K}}   % Blackboard K
\newcommand{\LL}{\mathbb{L}}   % Blackboard L
\newcommand{\MM}{\mathbb{M}}   % Blackboard M
\newcommand{\NN}{\mathbb{N}}   % Blackboard N
\newcommand{\OO}{\mathbb{O}}   % Blackboard O
\newcommand{\PP}{\mathbb{P}}   % Blackboard P
\newcommand{\QQ}{\mathbb{Q}}   % Blackboard Q
\newcommand{\RR}{\mathbb{R}}   % Blackboard R
\renewcommand{\SS}{\mathbb{S}} % Blackboard S
\newcommand{\TT}{\mathbb{T}}   % Blackboard T
\newcommand{\UU}{\mathbb{U}}   % Blackboard U
\newcommand{\VV}{\mathbb{V}}   % Blackboard V
\newcommand{\WW}{\mathbb{W}}   % Blackboard W
\newcommand{\XX}{\mathbb{X}}   % Blackboard X
\newcommand{\YY}{\mathbb{Y}}   % Blackboard Y
\newcommand{\ZZ}{\mathbb{Z}}   % Blackboard Z

% Brackets

\renewcommand{\eval}[1]{\left. #1 \right|}          % Evaluation
\newcommand{\br}{\del}                              % Brackets
\newcommand{\abr}[1]{\left\langle #1 \right\rangle} % Angle brackets
\newcommand{\fbr}[1]{\left\lfloor #1 \right\rfloor} % Floor brackets
\newcommand{\lbr}[1]{\left\lfloor #1 \right\rfloor} % Ceiling brackets
\newcommand{\st}{\ \middle| \ }                     % Such that

% Calligraphic

\newcommand{\AAA}{\mathcal{A}} % Calligraphic A
\newcommand{\BBB}{\mathcal{B}} % Calligraphic B
\newcommand{\CCC}{\mathcal{C}} % Calligraphic C
\newcommand{\DDD}{\mathcal{D}} % Calligraphic D
\newcommand{\EEE}{\mathcal{E}} % Calligraphic E
\newcommand{\FFF}{\mathcal{F}} % Calligraphic F
\newcommand{\GGG}{\mathcal{G}} % Calligraphic G
\newcommand{\HHH}{\mathcal{H}} % Calligraphic H
\newcommand{\III}{\mathcal{I}} % Calligraphic I
\newcommand{\JJJ}{\mathcal{J}} % Calligraphic J
\newcommand{\KKK}{\mathcal{K}} % Calligraphic K
\newcommand{\LLL}{\mathcal{L}} % Calligraphic L
\newcommand{\MMM}{\mathcal{M}} % Calligraphic M
\newcommand{\NNN}{\mathcal{N}} % Calligraphic N
\newcommand{\OOO}{\mathcal{O}} % Calligraphic O
\newcommand{\PPP}{\mathcal{P}} % Calligraphic P
\newcommand{\QQQ}{\mathcal{Q}} % Calligraphic Q
\newcommand{\RRR}{\mathcal{R}} % Calligraphic R
\newcommand{\SSS}{\mathcal{S}} % Calligraphic S
\newcommand{\TTT}{\mathcal{T}} % Calligraphic T
\newcommand{\UUU}{\mathcal{U}} % Calligraphic U
\newcommand{\VVV}{\mathcal{V}} % Calligraphic V
\newcommand{\WWW}{\mathcal{W}} % Calligraphic W
\newcommand{\XXX}{\mathcal{X}} % Calligraphic X
\newcommand{\YYY}{\mathcal{Y}} % Calligraphic Y
\newcommand{\ZZZ}{\mathcal{Z}} % Calligraphic Z

% Fraktur

\newcommand{\aaa}{\mathfrak{a}}   % Fraktur a
\newcommand{\bbb}{\mathfrak{b}}   % Fraktur b
\newcommand{\ccc}{\mathfrak{c}}   % Fraktur c
\newcommand{\ddd}{\mathfrak{d}}   % Fraktur d
\newcommand{\eee}{\mathfrak{e}}   % Fraktur e
\newcommand{\fff}{\mathfrak{f}}   % Fraktur f
\renewcommand{\ggg}{\mathfrak{g}} % Fraktur g
\newcommand{\hhh}{\mathfrak{h}}   % Fraktur h
\newcommand{\iii}{\mathfrak{i}}   % Fraktur i
\newcommand{\jjj}{\mathfrak{j}}   % Fraktur j
\newcommand{\kkk}{\mathfrak{k}}   % Fraktur k
\renewcommand{\lll}{\mathfrak{l}} % Fraktur l
\newcommand{\mmm}{\mathfrak{m}}   % Fraktur m
\newcommand{\nnn}{\mathfrak{n}}   % Fraktur n
\newcommand{\ooo}{\mathfrak{o}}   % Fraktur o
\newcommand{\ppp}{\mathfrak{p}}   % Fraktur p
\newcommand{\qqq}{\mathfrak{q}}   % Fraktur q
\newcommand{\rrr}{\mathfrak{r}}   % Fraktur r
\newcommand{\sss}{\mathfrak{s}}   % Fraktur s
\newcommand{\ttt}{\mathfrak{t}}   % Fraktur t
\newcommand{\uuu}{\mathfrak{u}}   % Fraktur u
\newcommand{\vvv}{\mathfrak{v}}   % Fraktur v
\newcommand{\www}{\mathfrak{w}}   % Fraktur w
\newcommand{\xxx}{\mathfrak{x}}   % Fraktur x
\newcommand{\yyy}{\mathfrak{y}}   % Fraktur y
\newcommand{\zzz}{\mathfrak{z}}   % Fraktur z

% Geometry

\newcommand{\CP}{\mathbb{CP}}                                              % Complex projective space
\newcommand{\iintd}[4]{\iint_{#1} \, #2 \, \dif #3 \, \dif #4}             % Double integral
\newcommand{\RP}{\mathbb{RP}}                                              % Real projective space
\newcommand{\intd}[4]{\int_{#1}^{#2} \, #3 \, \dif #4}                     % Single integral
\newcommand{\iiintd}[5]{\iint_{#1} \, #2 \, \dif #3 \, \dif #4 \, \dif #5} % Triple integral

% Logic

\newcommand{\iffb}[2]{\br{#1 \leftrightarrow #2}} % Biconditional
\newcommand{\andb}[2]{\br{#1 \land #2}}           % Conjunction
\newcommand{\orb}[2]{\br{#1 \lor #2}}             % Disjunction
\newcommand{\nib}[2]{\br{#1 \notin #2}}           % Element of
\newcommand{\eqb}[2]{\br{#1 = #2}}                % Equal to
\newcommand{\teb}[1]{\br{\exists #1}}             % Existential quantifier
\newcommand{\impb}[2]{\br{#1 \rightarrow #2}}     % Implication
\newcommand{\ltb}[2]{\br{#1 < #2}}                % Less than
\newcommand{\leb}[2]{\br{#1 \le #2}}              % Less than or equal to
\newcommand{\notb}[1]{\br{\neg #1}}               % Negation
\newcommand{\inb}[2]{\br{#1 \in #2}}              % Not element of
\newcommand{\neb}[2]{\br{#1 \ne #2}}              % Not equal to
\newcommand{\subb}[2]{\br{#1 \subseteq #2}}       % Subset
\newcommand{\fab}[1]{\br{\forall #1}}             % Universal quantifier

% Maps

\newcommand{\bijection}[7][]{    % Bijection
  \ifx &#1&
    \begin{array}{rcl}
      #2 & \longleftrightarrow & #3 \\
      #4 & \longmapsto         & #5 \\
      #6 & \longmapsfrom       & #7
    \end{array}
  \else
    \begin{array}{ccrcl}
      #1 & : & #2 & \longrightarrow & #3 \\
         &   & #4 & \longmapsto     & #5 \\
         &   & #6 & \longmapsfrom   & #7
    \end{array}
  \fi
}
\newcommand{\correspondence}[2]{ % Correspondence
  \cbr{
    \begin{array}{c}
      #1
    \end{array}
  }
  \qquad
  \leftrightsquigarrow
  \qquad
  \cbr{
    \begin{array}{c}
      #2
    \end{array}
  }
}
\newcommand{\function}[5][]{     % Function
  \ifx &#1&
    \begin{array}{rcl}
      #2 & \longrightarrow & #3 \\
      #4 & \longmapsto     & #5
    \end{array}
  \else
    \begin{array}{ccrcl}
      #1 & : & #2 & \longrightarrow & #3 \\
         &   & #4 & \longmapsto     & #5
    \end{array}
  \fi
}
\newcommand{\functions}[7][]{    % Functions
  \ifx &#1&
    \begin{array}{rcl}
      #2 & \longrightarrow & #3 \\
      #4 & \longmapsto     & #5 \\
      #6 & \longmapsto     & #7
    \end{array}
  \else
    \begin{array}{ccrcl}
      #1 & : & #2 & \longrightarrow & #3 \\
         &   & #4 & \longmapsto     & #5 \\
         &   & #6 & \longmapsto     & #7
    \end{array}
  \fi
}

% Matrices

\newcommand{\onebytwo}[2]{      % One by two matrix
  \begin{pmatrix}
    #1 & #2
  \end{pmatrix}
}
\newcommand{\onebythree}[3]{    % One by three matrix
  \begin{pmatrix}
    #1 & #2 & #3
  \end{pmatrix}
}
\newcommand{\twobyone}[2]{      % Two by one matrix
  \begin{pmatrix}
    #1 \\
    #2
  \end{pmatrix}
}
\newcommand{\twobytwo}[4]{      % Two by two matrix
  \begin{pmatrix}
    #1 & #2 \\
    #3 & #4
  \end{pmatrix}
}
\newcommand{\threebyone}[3]{    % Three by one matrix
  \begin{pmatrix}
    #1 \\
    #2 \\
    #3
  \end{pmatrix}
}
\newcommand{\threebythree}[9]{  % Three by three matrix
  \begin{pmatrix}
    #1 & #2 & #3 \\
    #4 & #5 & #6 \\
    #7 & #8 & #9
  \end{pmatrix}
}
\newcommand{\twobytwosmall}[4]{ % Two by two small matrix
  \begin{psmallmatrix}
    #1 & #2 \\
    #3 & #4
  \end{psmallmatrix}
}

% Number theory

\renewcommand{\symbol}[2]{\br{\tfrac{#1}{#2}}} % Power residue symbol
\newcommand{\unit}[1]{\br{\ZZ / #1\ZZ}^\times} % Unit group

% Operators

\newoperator{ab}    % Abelian
\newoperator{AG}    % Affine geometry
\newoperator{alg}   % Algebraic
\newoperator{Ann}   % Annihilator
\newoperator{area}  % Area
\newoperator{Aut}   % Automorphism
\newoperator{card}  % Cardinality
\newoperator{ch}    % Characteristic
\newoperator{Cl}    % Class
\newoperator{col}   % Column
\newoperator{Corr}  % Correspondence
\newoperator{diam}  % Diameter
\newoperator{Disc}  % Discriminant
\newoperator{dom}   % Domain
\newoperator{Em}    % Embedding
\newoperator{End}   % Endomorphism
\newoperator{fin}   % Finite
\newoperator{Fix}   % Fixed
\newoperator{Frac}  % Fraction
\newoperator{Frob}  % Frobenius
\newoperator{Fun}   % Function
\newoperator{Gal}   % Galois
\newoperator{GL}    % General linear
\newoperator{Ham}   % Hamming
\newoperator{Homeo} % Homeomorphism
\newoperator{Hom}   % Homomorphism
\newoperator{id}    % Identity
\newoperator{Im}    % Image
\newoperator{Ind}   % Index
\newoperator{Ker}   % Kernel
\newoperator{lcm}   % Least common multiple
\newoperator{Mat}   % Matrix
\newoperator{mult}  % Multiplicity
\newoperator{new}   % New
\newoperator{Nm}    % Norm
\newoperator{old}   % Old
\newoperator{ord}   % Order
\newoperator{Pay}   % Payley
\newoperator{PG}    % Projective geometry
\newoperator{PGL}   % Projective general linear
\newoperator{PSL}   % Projective special linear
\newoperator{rad}   % Radical
\newoperator{ran}   % Range
\newoperator{Res}   % Residue
\newoperator{rk}    % Rank
\newoperator{Re}    % Real
\newoperator{row}   % Row
\newoperator{sgn}   % Sign
\newoperator{Sing}  % Singular
\newoperator{sp}    % Span
\newoperator{SL}    % Special linear
\newoperator{SO}    % Special orthogonal
\newoperator{Spec}  % Spectrum
\newoperator{Stab}  % Stabiliser
\newoperator{star}  % Star
\newoperator{srg}   % Strongly regular graph
\newoperator{Sym}   % Symmetric
\newoperator{tors}  % Torsion
\newoperator{Tr}    % Trace
\newoperator{vol}   % Volume
\newoperator{wt}    % Weight

% Roman

\newcommand{\A}{\mathrm{A}}   % Roman A
\newcommand{\B}{\mathrm{B}}   % Roman B
\newcommand{\C}{\mathrm{C}}   % Roman C
\newcommand{\D}{\mathrm{D}}   % Roman D
\newcommand{\E}{\mathrm{E}}   % Roman E
\newcommand{\F}{\mathrm{F}}   % Roman F
\newcommand{\G}{\mathrm{G}}   % Roman G
\renewcommand{\H}{\mathrm{H}} % Roman H
\newcommand{\I}{\mathrm{I}}   % Roman I
\newcommand{\J}{\mathrm{J}}   % Roman J
\newcommand{\K}{\mathrm{K}}   % Roman K
\renewcommand{\L}{\mathrm{L}} % Roman L
\newcommand{\M}{\mathrm{M}}   % Roman M
\newcommand{\N}{\mathrm{N}}   % Roman N
\renewcommand{\O}{\mathrm{O}} % Roman O
\renewcommand{\P}{\mathrm{P}} % Roman P
\newcommand{\Q}{\mathrm{Q}}   % Roman Q
\newcommand{\R}{\mathrm{R}}   % Roman R
\renewcommand{\S}{\mathrm{S}} % Roman S
\newcommand{\T}{\mathrm{T}}   % Roman T
\newcommand{\U}{\mathrm{U}}   % Roman U
\newcommand{\V}{\mathrm{V}}   % Roman V
\newcommand{\W}{\mathrm{W}}   % Roman W
\newcommand{\X}{\mathrm{X}}   % Roman X
\newcommand{\Y}{\mathrm{Y}}   % Roman Y
\newcommand{\Z}{\mathrm{Z}}   % Roman Z

\renewcommand{\a}{\mathrm{a}} % Roman a
\renewcommand{\b}{\mathrm{b}} % Roman b
\renewcommand{\c}{\mathrm{c}} % Roman c
\renewcommand{\d}{\mathrm{d}} % Roman d
\newcommand{\e}{\mathrm{e}}   % Roman e
\newcommand{\f}{\mathrm{f}}   % Roman f
\newcommand{\g}{\mathrm{g}}   % Roman g
\newcommand{\h}{\mathrm{h}}   % Roman h
\renewcommand{\i}{\mathrm{i}} % Roman i
\renewcommand{\j}{\mathrm{j}} % Roman j
\renewcommand{\k}{\mathrm{k}} % Roman k
\renewcommand{\l}{\mathrm{l}} % Roman l
\newcommand{\m}{\mathrm{m}}   % Roman m
\renewcommand{\n}{\mathrm{n}} % Roman n
\renewcommand{\o}{\mathrm{o}} % Roman o
\newcommand{\p}{\mathrm{p}}   % Roman p
\newcommand{\q}{\mathrm{q}}   % Roman q
\renewcommand{\r}{\mathrm{r}} % Roman r
\newcommand{\s}{\mathrm{s}}   % Roman s
\renewcommand{\t}{\mathrm{t}} % Roman t
\renewcommand{\u}{\mathrm{u}} % Roman u
\renewcommand{\v}{\mathrm{v}} % Roman v
\newcommand{\w}{\mathrm{w}}   % Roman w
\newcommand{\x}{\mathrm{x}}   % Roman x
\newcommand{\y}{\mathrm{y}}   % Roman y
\newcommand{\z}{\mathrm{z}}   % Roman z

% Tikz

\tikzset{
  arrow symbol/.style={"#1" description, allow upside down, auto=false, draw=none, sloped},
  subset/.style={arrow symbol={\subset}},
  cong/.style={arrow symbol={\cong}}
}

% Fancy header

\pagestyle{fancy}
\lhead{\module}
\rhead{\nouppercase{\leftmark}}

% Make title

\title{\module}
\author{Lectured by \lecturer \\ Typed by David Kurniadi Angdinata}
\date{\term}