attempt to use unicode

blueprint/src/content.tex

@@ -4,4 +4,6 @@
 %
 % If you want to split the blueprint content into several files then
 % the current file can be a simple sequence of \input. Otherwise It
-% can start with a \section or \chapter for instance.
+% can start with a \section or \chapter for instance.
+
+\section{\texorpdfstring{$\infty$}{Infinity}-Cosmoi}\label{sec:cosmos}

blueprint/src/print.tex

@@ -10,7 +10,7 @@
 % It is otherwise a very minimal preamble (you should probably at least
 % add cleveref and tikz-cd).
 
-\documentclass[letter]{article}
+\documentclass{amsart}
 
 \usepackage{geometry}
 
@@ -24,10 +24,11 @@
 \input{macros/common}
 \input{macros/print}
 
-\title{InfinityCosmos}
-\author{emilyriehl}
+\title{\texorpdfstring{$\infty$}{Infinity}-Cosmoi}
+\author{Emily Riehl}
+\author{Dominic Verity}
 
 \begin{document}
 \maketitle
 \input{content}
-\end{document}
+\end{document}

blueprint/src/web.tex

@@ -18,10 +18,11 @@
 \github{https://github.com/emilyriehl/infinity-cosmos}
 \dochome{https://emilyriehl.github.io/infinity-cosmos/docs}
 
-\title{InfinityCosmos}
-\author{emilyriehl}
+\title{$\infty$-Cosmoi}
+\author{Emily Riehl}
+\author{Dominic Verity}
 
 \begin{document}
 \maketitle
 \input{content}
-\end{document}
+\end{document}

home_page/_config.yml

@@ -18,9 +18,9 @@
 # You can create any custom variable you would like, and they will be accessible
 # in the templates via {{ site.myvariable }}.
 
-title: infin;-Cosmos
+title: ∞-Cosmos
 #email: [email protected]
-description: A project to formalize infin;-cosmoi in Lean.
+description: A project to formalize ∞-cosmoi in Lean.
 baseurl: "" # the subpath of your site, e.g. /blog
 url: "https://emilyriehl.github.io/infinity-cosmos" # the base hostname & protocol for your site, e.g. http://example.com
 twitter_username: