From 415d12cf6afcbc7349d1707ec301489689a2d452 Mon Sep 17 00:00:00 2001 From: Josia Pietsch Date: Mon, 22 Jan 2024 17:37:13 +0100 Subject: [PATCH] gist test --- inputs/lecture_01.tex | 3 ++- jrpie-gist.sty | 10 ++++++++++ logic.sty | 1 + logic3-gist.tex | 2 ++ logic3.tex | 4 +++- 5 files changed, 18 insertions(+), 2 deletions(-) create mode 100644 jrpie-gist.sty create mode 100644 logic3-gist.tex diff --git a/inputs/lecture_01.tex b/inputs/lecture_01.tex index ce9d7a8..c3ebec3 100644 --- a/inputs/lecture_01.tex +++ b/inputs/lecture_01.tex @@ -26,11 +26,12 @@ i.e.~it is really a topological property. considered as a topological space. \end{itemize} \end{example} - +\gist{% Polish spaces behave very nicely. We will see that uncountable polish spaces have size $2^{\aleph_0}$. % TODO: mathfrak c for continuum There are good notions of big (comeager) and small (meager). +}{} \subsection{Topology background} Recall the following notions: diff --git a/jrpie-gist.sty b/jrpie-gist.sty new file mode 100644 index 0000000..5bde104 --- /dev/null +++ b/jrpie-gist.sty @@ -0,0 +1,10 @@ +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{jrpie-gist}[2023/01/22 - gist version for lecture notes] + +\newcommand{\gist}[2]{% + \ifcsname EnableGist\endcsname% + #2% + \else% + #1% + \fi% +} diff --git a/logic.sty b/logic.sty index 03bb469..556746b 100644 --- a/logic.sty +++ b/logic.sty @@ -9,6 +9,7 @@ \usepackage{mkessler-code} \usepackage{jrpie-math} \usepackage{jrpie-yaref} +\usepackage{jrpie-gist} \usepackage[normalem]{ulem} \usepackage{pdflscape} \usepackage{longtable} diff --git a/logic3-gist.tex b/logic3-gist.tex new file mode 100644 index 0000000..f8d6ef5 --- /dev/null +++ b/logic3-gist.tex @@ -0,0 +1,2 @@ +\def\EnableGist{} +\input{logic3} diff --git a/logic3.tex b/logic3.tex index 2ce9491..b721b4c 100644 --- a/logic3.tex +++ b/logic3.tex @@ -1,6 +1,8 @@ \documentclass[10pt,a4paper,fancyfoot,git]{mkessler-script} -\course{Logic 3: Abstract Topological Dynamics and Descriptive Set Theory} +\course{Logic 3: Abstract Topological Dynamics and Descriptive Set Theory% + \gist{}{\\ GIST}% +} \lecturer{Aleksandra Kwiatkowska} %\assistant{} \author{Josia Pietsch}