Skip to content

Commit 0c8c870

Browse files
andrejbauerandrejbauer
committed
New and shiny cover
1 parent 6d470d0 commit 0c8c870

22 files changed

+189
-68
lines changed

Diff for: ‎.gitignore

+2-1
Original file line numberDiff line numberDiff line change
@@ -26,11 +26,12 @@ auto/*
2626
cover/torus/preimg/*
2727
cover/torus/srcimg/*
2828
cover/torus/dstimg/*
29-
cover/cover.pdf
3029
_region_*
3130
TAGS
3231
.DS_Store
3332
*.fdb_latexmk
3433
main.labels
3534
exercise_solutions.pdf
3635
indexterms.txt
36+
cover-lulu.pdf
37+
cover-letter.pdf

Diff for: ‎Makefile

+12-2
Original file line numberDiff line numberDiff line change
@@ -45,10 +45,10 @@ DEFAULTPDF:=$(DEFAULTTOPTEX:.tex=.pdf)
4545

4646
default: $(DEFAULTPDF)
4747

48-
all: $(TOPPDFFILES) exercise_solutions.pdf
48+
all: $(TOPPDFFILES) exercise_solutions.pdf cover-lulu.pdf cover-letter.pdf
4949

5050
# Main targets
51-
$(TOPPDFFILES) : %.pdf : %.tex cover.png $(TEXFILES) references.bib
51+
$(TOPPDFFILES) : %.pdf : %.tex $(TEXFILES) references.bib cover-lores-front.png cover-lores-back.png
5252
if which latexmk > /dev/null 2>&1 ;\
5353
then latexmk -pdf $< ;\
5454
else pdflatex $< && \
@@ -66,6 +66,16 @@ $(BOOKAUXFILES) : %.aux : %.tex
6666
main.labels: $(BOOKAUXFILES)
6767
cat $^ | grep ^.newlabel >$@
6868

69+
cover-lulu.pdf: cover-lulu.tex cover-hires.png
70+
if which latexmk > /dev/null 2>&1 ;\
71+
then latexmk -pdf $<;\
72+
else pdflatex $<; fi
73+
74+
cover-letter.pdf: cover-lulu.tex cover-lores-front.png cover-lores-back.png
75+
if which latexmk > /dev/null 2>&1 ;\
76+
then latexmk -pdf $<;\
77+
else pdflatex $<; fi
78+
6979
exercise_solutions.pdf: exercise_solutions.tex main.labels
7080
if which latexmk > /dev/null 2>&1 ;\
7181
then latexmk -pdf $<;\

Diff for: ‎back.tex

+7-6
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,14 @@
1-
\pagestyle{empty}
2-
1+
\ifOPTcover
32
\cleardoublepage
4-
\clearpage
3+
\pagestyle{empty}
4+
\cleartoevenpage
55

66
%%%%%%%%%%%%%%%%%%%% Back cover %%%%%%%%%%%%%%%%%%%%
7-
\newgeometry{margin=\OPTbackmargin}%
8-
\vspace*{0.01\textheight}
7+
\ThisLRCornerWallPaper{0.7}{cover-lores-back}
8+
\pagecolor{covercolor}
99
\input{blurb.tex}
10-
\vspace*{0.02\textheight}
10+
\else
11+
\fi
1112

1213
%%% Local Variables:
1314
%%% mode: latex

Diff for: ‎blurb.tex

+4-3
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,8 @@
44
{\raggedright
55
\parindent=0pt
66
\parskip=\baselineskip
7-
\emph{\OPTbacktitlefont From the Introduction:}
7+
{\OPTbacktitlefont
8+
\textit{From the Introduction:}}
89
\OPTbackfont
910

1011
\emph{Homotopy type theory} is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between \emph{homotopy theory} and \emph{type theory}.
@@ -25,7 +26,7 @@
2526
\bigskip
2627

2728
\begin{center}
28-
\OPTbacktitlefont
29-
\emph{Get a free copy of the book at homotopytypetheory.org.}
29+
{\Large
30+
\textit{Get a free copy of the book at HomotopyTypeTheory.org.}}
3031
\end{center}
3132
}

Diff for: ‎cover-hires-back.png

1.65 MB
Loading

Diff for: ‎cover-hires-front.png

4.29 MB
Loading

Diff for: ‎cover-letter.tex

+57
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,57 @@
1+
% Cover for home-made copies. Print this with a color printer.
2+
\input{opt-letter}
3+
\input{opt-color}
4+
5+
\documentclass[\OPTfontsize]{article}
6+
7+
\usepackage[utf8]{inputenc}
8+
\usepackage{xcolor}
9+
\usepackage{wallpaper}
10+
11+
\definecolor{covercolor}{cmyk}{\OPTcovercolor}
12+
\pagecolor{covercolor}
13+
14+
%%% Set the fonts
15+
\usepackage{mathpazo}
16+
\usepackage[scaled=0.95]{helvet}
17+
\usepackage{courier}
18+
\linespread{1.05} % Palatino looks better with this
19+
20+
\usepackage{graphicx}
21+
22+
\newlength{\coverheight}
23+
\setlength{\coverheight}{11in} % Reported as total cover height
24+
25+
\newlength{\coverwidth}
26+
\setlength{\coverwidth}{8.5in} % Reported as "spine begins at"
27+
28+
\usepackage[margin=0pt,
29+
papersize={\OPTpagesize},
30+
noheadfoot]{geometry}
31+
%\usepackage{layout}
32+
\newcommand{\coverpage}[1]{\vbox to \coverheight{\hbox to \coverwidth{#1}}}
33+
34+
\parindent=0pt
35+
\parskip=0pt
36+
37+
\input{frontpage}
38+
39+
\newcommand{\backpage}{
40+
\begin{minipage}[b][\coverheight][t]{\coverwidth}
41+
\begin{center}
42+
\begin{minipage}[t]{0.80\coverwidth}
43+
\vspace{\OPTtopskip}
44+
\input{blurb.tex}
45+
\end{minipage}
46+
\end{center}
47+
\end{minipage}
48+
}
49+
50+
\begin{document}
51+
%\layout
52+
\ThisLRCornerWallPaper{1.1}{cover-lores-front}
53+
\coverpage{\frontpage}
54+
\newpage
55+
\ThisLRCornerWallPaper{0.7}{cover-lores-back}
56+
\coverpage{\backpage}
57+
\end{document}

Diff for: ‎cover-lores-back.png

151 KB
Loading

Diff for: ‎cover-lores-front.png

510 KB
Loading

Diff for: ‎lulu-cover-ustrade.tex renamed to ‎cover-lulu.tex

+19-23
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,19 @@
22
\input{opt-ustrade}
33

44
\documentclass[\OPTfontsize]{article}
5+
\input{opt-color}
56

67
\usepackage[utf8]{inputenc}
78
\usepackage{rotating}
89
\usepackage{xcolor}
9-
\definecolor{lightblue}{cmyk}{0.3125,0.03125,0.03125,0} % HEX CMYK 50 08 08 00
10-
\pagecolor{lightblue}
10+
\usepackage{wallpaper}
11+
12+
\definecolor{covercolor}{cmyk}{\OPTcovercolor}
13+
\pagecolor{covercolor}
14+
15+
\usepackage{soul} % Inter-letter spacing
16+
\sodef\ugg{}{0pt plus 1fill}{1em plus 1fill}{0pt}
17+
1118
%%% Set the fonts
1219
\usepackage{mathpazo}
1320
\usepackage[scaled=0.95]{helvet}
@@ -39,34 +46,21 @@
3946
textwidth=\totalwidth,
4047
textheight=\coverheight]{geometry}
4148
%\usepackage{layout}
42-
\newcommand{\coverpage}[1]{\hbox to \coverwidth{\vbox to \coverheight {#1}}}
43-
\newcommand{\spine}[1]{\hbox to \spinewidth{\vbox to \coverheight{#1}}}
49+
\newcommand{\coverpage}[1]{\vbox to \coverheight{\hbox to \coverwidth{#1}}}
50+
\newcommand{\spine}[1]{\vbox to \coverheight{\hbox to \spinewidth{#1}}}
4451

4552
\parindent=0pt
4653
\parskip=0pt
4754

48-
\newcommand{\frontpage}{
49-
\begin{minipage}[b][\coverheight][c]{\coverwidth}
50-
\centering
51-
{\fontsize{\OPTcovertitlefont}{\OPTcovertitlefont}\fontseries{b}\selectfont%
52-
Homotopy Type Theory}\par
53-
\vspace*{\OPTcovertitleskip}
54-
{\fontsize{\OPTcoversubtitlefont}{\OPTcoversubtitlefont}\fontseries{b}\fontshape{sc}\selectfont%
55-
Univalent Foundations of Mathematics}
56-
\includegraphics[width=0.99\coverwidth]{cover}
57-
{\fontsize{\OPTcoverauthorfont}{\OPTcoverauthorfont}\fontshape{n}\selectfont%
58-
The Univalent Foundations Program\par
59-
\vspace*{\OPTcoverauthorskip}
60-
Institute for Advanced Study\par}
61-
\end{minipage}}
55+
\input{frontpage}
6256

6357
\newcommand{\spinetext}{
6458
\begin{minipage}[b][\coverheight][t]{\spinewidth}
6559
\begin{center}
6660
\begin{rotate}{270}
67-
\hspace{90pt}
61+
\hspace{\OPTtopskip}
6862
\begin{minipage}{\coverheight}
69-
{\fontsize{\OPTcovertitlefont}{\OPTcovertitlefont}\fontseries{b}\selectfont%
63+
{\fontsize{\OPTcoverspinefont}{\OPTcoverspinefont}\fontseries{b}\selectfont%
7064
Homotopy Type Theory}
7165
\end{minipage}
7266
\end{rotate}
@@ -75,16 +69,18 @@
7569
}
7670

7771
\newcommand{\backpage}{
78-
\begin{minipage}[b][\coverheight][c]{\coverwidth}
72+
\begin{minipage}[b][\coverheight][t]{\coverwidth}
7973
\begin{center}
80-
\begin{minipage}[t]{0.7\coverwidth}
81-
\input{blurb.tex}
74+
\begin{minipage}[t]{0.80\coverwidth}
75+
\vspace{\OPTtopskip}
76+
\input{blurb.tex}
8277
\end{minipage}
8378
\end{center}
8479
\end{minipage}
8580
}
8681

8782
\begin{document}
8883
%\layout
84+
\LRCornerWallPaper{0.87}{cover-hires}
8985
\hbox{\coverpage{\backpage}\spine{\spinetext}\coverpage{\frontpage}}
9086
\end{document}

Diff for: ‎front.tex

+16-18
Original file line numberDiff line numberDiff line change
@@ -1,22 +1,20 @@
1-
\newgeometry{margin=1cm}%
2-
31
%%%%%%%%%%%%%%%%%%%% Cover page %%%%%%%%%%%%%%%%%%%%
4-
\ThisCenterWallPaper{1.0}{cover}
5-
\vspace*{0.05\textheight}
6-
{\centering
7-
{\fontsize{\OPTcovertitlefont}{\OPTcovertitlefont}\fontseries{b}\selectfont%
8-
Homotopy Type Theory}\par
9-
\vspace*{\OPTcovertitleskip}
10-
{\fontsize{\OPTcoversubtitlefont}{\OPTcoversubtitlefont}\fontseries{b}\fontshape{sc}\selectfont%
11-
Univalent Foundations of Mathematics}\par
12-
\vfill
13-
{\fontsize{\OPTcoverauthorfont}{\OPTcoverauthorfont}\fontshape{n}\selectfont%
14-
The Univalent Foundations Program\par
15-
\vspace*{\OPTcoverauthorskip}
16-
Institute for Advanced Study\par
17-
}}
18-
\vspace*{0.05\textheight}
19-
\cleardoublepage
2+
3+
\newgeometry{noheadfoot,bindingoffset=-5pt,top=0pt,bottom=0pt,inner=0pt,outer=0pt}%
4+
\ifOPTcover
5+
\newlength{\coverheight}
6+
\setlength{\coverheight}{10.95in}
7+
\newlength{\coverwidth}
8+
\setlength{\coverwidth}{8.45in}
9+
\input{frontpage}
10+
\ThisLLCornerWallPaper{1.1}{cover-lores-front}
11+
\pagecolor{covercolor}
12+
\frontpage
13+
\newpage
14+
\nopagecolor
15+
\cleartooddpage
16+
\else
17+
\fi
2018

2119
%%%%%%%%%%%%%%%%%%%% Title page %%%%%%%%%%%%%%%%%%%%
2220
\vspace*{0.2\textheight}

Diff for: ‎frontpage.tex

+26
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
\newcommand{\frontpage}{
2+
\begin{minipage}[b][\coverheight][c]{\coverwidth}
3+
\hbox{}\hfill
4+
\begin{minipage}[b][\coverheight][t]{0.83\coverwidth}
5+
\vspace{\OPTtopskip}
6+
{\fontsize{\OPTcovertitlefont}{\OPTcovertitlefont}\fontseries{b}\selectfont%
7+
\hfill Homotopy\par \hfill Type Theory}\par
8+
\vspace*{\OPTcovertitleskip}
9+
{\fontsize{\OPTcoversubtitlefont}{\OPTcoversubtitlefont}\fontshape{it}\selectfont
10+
\hfill Univalent Foundations of Mathematics}
11+
12+
\vfill
13+
14+
{\fontsize{\OPTcoverauthorfont}{\OPTcoverauthorfont}\fontseries{b}\fontshape{sc}\selectfont
15+
16+
\hfill The Univalent Foundations Program
17+
\par
18+
\vspace*{\OPTcoverauthorskip}
19+
\hfill Institute for Advanced Study\par
20+
21+
\vspace*{\OPTbotskip}
22+
}
23+
24+
\end{minipage}\hfill\hbox{}
25+
\end{minipage}
26+
}

Diff for: ‎hott-letter.tex

+3
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,9 @@
55

66
% **** OPTIONS ****
77

8+
% INCLUDE A COVER
9+
\input{opt-cover}
10+
811
% IN BIBLIOGRAPHY, DO WE REFER BACK TO PAGES WHERE
912
% AN ITEM WAS CITED?
1013
\def\OPTpagebackref{false}

Diff for: ‎hott-online.tex

+3
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,9 @@
55

66
% **** OPTIONS ****
77

8+
% INCLUDE A COVER
9+
\input{opt-cover}
10+
811
% IN BIBLIOGRAPHY, DO WE REFER BACK TO PAGES WHERE
912
% AN ITEM WAS CITED?
1013
\def\OPTpagebackref{true}

Diff for: ‎hott-ustrade.tex

+3
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,9 @@
55

66
% **** OPTIONS ****
77

8+
% DO NOT INCLUDE A COVER (COSTRUCTED SEPARATELY FOR LULU.COM)
9+
\input{opt-no-cover}
10+
811
% IN BIBLIOGRAPHY, DO WE REFER BACK TO PAGES WHERE
912
% AN ITEM WAS CITED?
1013
\def\OPTpagebackref{false}

Diff for: ‎main.tex

+10-3
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@
3535

3636
% Use this package and stick \layout somewhere in the text to see
3737
% page margins, text size and width etc. Useful for debugging page format.
38-
%\usepackage{layout}
38+
\usepackage{layout}
3939

4040
%%% Because Germans have umlauts and Slavs have even stranger ways of mangling letters
4141
\usepackage[utf8]{inputenc}
@@ -55,15 +55,16 @@
5555
\usepackage{graphicx}
5656
\usepackage{comment}
5757

58-
\usepackage{wallpaper} % For the background image on the cover page
59-
6058
\usepackage{fancyhdr} % To set headers and footers
6159

6260
\usepackage{nextpage} % So we can jump to odd-numbered pages
6361

6462
\usepackage{amssymb,amsmath,amsthm,stmaryrd,mathrsfs,wasysym}
6563
\usepackage{enumitem,mathtools,xspace}
64+
6665
\usepackage{xcolor} % For colored cells in tables we need \cellcolor
66+
\usepackage{wallpaper} % For the background image on the cover page
67+
6768
\usepackage{booktabs} % For nice tables
6869
\usepackage{array} % For nice tables
6970
\usepackage{supertabular} % For index of symbols
@@ -155,6 +156,12 @@
155156
% argument.
156157
%\includeonly{}
157158

159+
% For some reason \pagecolor overlays the cover image,
160+
% unless we use it once before the document starts.
161+
\definecolor{covercolor}{cmyk}{\OPTcovercolor}
162+
\pagecolor{white}
163+
\nopagecolor
164+
158165
\begin{document}
159166

160167
% NB: This does not actually appear anywhere because we have

Diff for: ‎opt-black-white.tex

+3
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
% Options for black & white book
22

3+
% BACKGROUND OF COVER PAGE
4+
\def\OPTcovercolor{0,0,0,0}
5+
36
% LINK COLORS
47
\def\OPTlinkcolor{0,0,0} % RGB components for clickable links
58

Diff for: ‎opt-color.tex

+3
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
% Options for color book
22

3+
% BACKGROUND OF COVER PAGE
4+
\def\OPTcovercolor{0,0,0.125,0}
5+
36
% LINK COLORS
47
\def\OPTlinkcolor{0,0.45,0} % RGB components for clickable links
58

Diff for: ‎opt-cover.tex

+3
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
% Include cover
2+
\newif\ifOPTcover
3+
\OPTcovertrue

0 commit comments

Comments
 (0)