add blueprint files

blueprint/.gitignore

@@ -0,0 +1,17 @@
+*.pdf
+*.paux
+*.aux
+*.log
+*.synctex
+print
+web
+__pycache__
+*.fdb_latexmk
+*.fls
+*.out
+*.synctex.gz
+*.xdv
+*.maf
+*.mtc
+*.mtc0
+build

blueprint/src/chapter/main.tex

@@ -0,0 +1,5 @@
+% This is the main point of entry to the blueprint.
+% Add chapters of the blueprint here.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
+
+%\input{chapter/jensen}

blueprint/src/extra_styles.css

@@ -0,0 +1,53 @@
+div.theorem_thmcontent {
+	border-left: .15rem solid black;
+}
+
+div.proposition_thmcontent {
+	border-left: .15rem solid black;
+}
+
+div.lemma_thmcontent {
+	border-left: .1rem solid black;
+}
+
+div.corollary_thmcontent {
+	border-left: .1rem solid black;
+}
+
+div.proof_content {
+	border-left: .08rem solid grey;
+}
+
+figure.subfloat span.subref {
+	display: none;
+}
+
+nav.local_toc ul {
+	font-size: 1.2rem;
+}
+
+@media (min-width:1024px) {
+    nav.toc {
+        width: 25vw;
+    }
+}
+
+@media (min-width:1024px) {
+    div.with-toc {
+        margin-left:25vw;
+    }
+}
+
+@font-face {
+  font-family: 'Open Sans';
+  font-style: normal;
+  font-weight: 400;
+  font-stretch: 100%;
+  font-display: swap;
+  src: url(https://fonts.gstatic.com/s/opensans/v29/memSYaGs126MiZpBA-UvWbX2vVnXBbObj2OVZyOOSr4dVJWUgsjZ0B4gaVI.woff2) format('woff2');
+  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
+}
+
+body, h1, h2, h3, h4, h5, h6, p, text {
+  font-family: "Open Sans", "Helvetica Neue", Helvetica, Arial, sans-serif !important;
+}

blueprint/src/latexmkrc

@@ -0,0 +1,3 @@
+$pdf_mode = 1;
+$pdflatex = 'xelatex -synctex=1 -output-directory=../print/';
+@default_files = ('print.tex');

blueprint/src/plastex.cfg

@@ -0,0 +1,17 @@
+[general]
+renderer=HTML5
+copy-theme-extras=yes
+plugins=leanblueprint
+
+[document]
+toc-depth=2
+toc-non-files=True
+
+[files]
+directory=../web/
+split-level=0
+
+[html5]
+localtoc-level=0
+extra-css=extra_styles.css
+mathjax-dollars=True

blueprint/src/preamble/common.tex

@@ -0,0 +1,35 @@
+% Put any macro and import needed for the project here.
+% This will be used by both the web and print versions of the blueprint.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
+
+% Letters
+\newcommand{\C}{\mathbb{C}}
+\newcommand{\bbc}{\mathbb{C}}
+\newcommand{\E}{\mathbb{E}}
+\newcommand*{\bbe}{\mathbb{E}}
+\newcommand{\F}{\mathbb{F}}
+\newcommand{\bbf}{\mathbb{F}}
+\newcommand{\bbH}{\mathbb{H}}
+\newcommand{\bbP}{\mathbb{P}}
+\newcommand{\bbI}{\mathbb{I}}
+\newcommand{\bbn}{\mathbb{N}}
+\newcommand{\bbq}{\mathbb{Q}}
+\newcommand{\bbr}{\mathbb{R}}
+\newcommand{\bbt}{\mathbb{T}}
+\newcommand{\bbz}{\mathbb{Z}}
+\newcommand{\N}{\mathbb{N}}
+
+\newcommand{\lo}[1]{\mathcal{L}{#1}}
+
+% Paired delimiters
+\newcommand{\abs}[1]{\left\lvert #1\right\rvert}
+\newcommand{\Abs}[1]{\lvert #1 \rvert}
+\newcommand{\brac}[1]{\left( #1\right)}
+\newcommand{\norm}[1]{\lVert #1\rVert}
+\newcommand{\inn}[1]{\left\langle #1 \right\rangle}
+
+% Operators
+\DeclareMathOperator{\dist}{dist}
+
+\newcommand{\ind}[1]{1_{#1}}
+\providecommand{\tup}[1]{{\vec{#1}}}

blueprint/src/preamble/print.tex

@@ -0,0 +1,23 @@
+% Those macros are used for the print version of the blueprint.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
+
+\declaretheorem[numberwithin=chapter]{theorem}
+\declaretheorem[sibling=theorem]{proposition}
+\declaretheorem[sibling=theorem]{corollary}
+\declaretheorem[sibling=theorem]{remark}
+\declaretheorem[sibling=theorem]{lemma}
+\declaretheorem[sibling=theorem]{definition}
+\declaretheorem[sibling=theorem]{example}
+
+% We neutralise the Plastex commands
+\newcommand{\proves}[1]{}
+\newcommand{\lean}[1]{}
+\newcommand{\leanok}{}
+
+% Make sure that arguments of \uses are real labels, by using invisible refs:
+% latex prints a warning if the label is not defined, but nothing is shown in the pdf file.
+\ExplSyntaxOn
+\NewDocumentCommand{\uses}{m}
+ {\clist_map_inline:nn{#1}{\vphantom{\ref{##1}}}%
+  \ignorespaces}
+\ExplSyntaxOff

blueprint/src/preamble/web.tex

@@ -0,0 +1,11 @@
+% Those macros are used for the web version of the blueprint.
+% This file is not meant to be built. Build src/web.tex or src/print.text instead.
+
+\newtheorem{theorem}{Theorem}[chapter]
+\newtheorem{definition}[theorem]{Definition}
+\newtheorem{proposition}[theorem]{Proposition}
+\newtheorem{lemma}[theorem]{Lemma}
+\newtheorem{sublemma}[theorem]{Sub-lemma}
+\newtheorem{corollary}[theorem]{Corollary}
+\newtheorem{remark}[theorem]{Remark}
+\newtheorem{example}[theorem]{Example}

blueprint/src/print.tex

@@ -0,0 +1,40 @@
+% This file makes a printable version of the blueprint
+
+\documentclass[a4paper]{report}
+
+\usepackage[textwidth=14cm]{geometry}
+\usepackage{xfrac}
+\usepackage{polyglossia}
+\setdefaultlanguage{english}
+
+\usepackage{amsmath,amssymb}
+\usepackage{enumitem}
+\usepackage{hyperref}
+
+\usepackage{tikz-cd}
+
+\usepackage{mathtools}
+\usepackage[warnings-off={mathtools-colon,mathtools-overbracket}]{unicode-math}
+\usepackage{fontspec}
+\setmathfont{Latin Modern Math}
+\setmathfont[range=\varnothing]{Asana-Math.otf}
+\setmathfont[range=\pitchfork]{Asana-Math.otf}
+\setmathfont[range=\intprod]{Asana-Math.otf}
+\setmathfont[range=\int]{Latin Modern Math}
+
+\usepackage[nameinlink, capitalize]{cleveref}
+
+\usepackage{amsthm}
+\usepackage{etexcmds}
+\usepackage{thmtools}
+
+\input{preamble/common}
+\input{preamble/print}
+
+\title{PFR Blueprint}
+\author{Terence Tao}
+
+\begin{document}
+\maketitle
+\input{chapter/main}
+\end{document}