lecture numbers

inputs/lecture_1.tex

@@ -1,4 +1,4 @@
-% Lecture 1 - 2023-04-04
+\lecture{1}{2023-04-04}{}
 
 First, let us recall some basic definitions:
 \begin{definition}

inputs/lecture_12.tex

@@ -1,4 +1,4 @@
-% Lecture 12 2023-05-16
+\lecture{12}{2023-05-16}{}
 
 We now want to prove \autoref{clt}.
 The plan is to do the following:

inputs/lecture_13.tex

@@ -1,4 +1,4 @@
-% Lecture 13 2023-05
+\lecture{13}{2023-05}{}
 %The difficult part is to show \autoref{levycontinuity}.
 %This is the last lecture, where we will deal with independent random variables.
 

inputs/lecture_4.tex

@@ -1 +1,2 @@
+\lecture{4}{}{}
 \todo{Lecture 4 missing}

inputs/lecture_8.tex

@@ -1,4 +1,4 @@
-% Lecture 8 2023-05-02
+\lecture{8}{2023-05-02}{}
 \subsection{Kolmogorov's 0-1-law}
 Some classes of events always have probability $0$ or $1$.
 One example of such a 0-1-law is the Borel-Cantelli Lemma

wtheo.sty

@@ -103,4 +103,4 @@
 \DeclareSimpleMathOperator{Exp}
 
 \newcommand*\dif{\mathop{}\!\mathrm{d}}
-\newcommand\lecture[3]{{\color{gray}\hfill Lecture #1 (#2)}}
+\newcommand\lecture[3]{\hrule{\color{darkgray}\hfill{\tiny[Lecture #1, #2]}}}