# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1301698933 25200
# Node ID 1708a3f236129e8d47f5c4a1ffdd56147cf338a1
# Parent  da7ac7d30f306c5742836cac1dc8fe8946ce2b24
if compiling with xelatex, and the fonts 'Linux Libertine' and 'Asana Math' are available, will typeset more like what PNAS is doing. quotes are messed up, though

diff -r da7ac7d30f30 -r 1708a3f23612 pnas/pnas.tex
--- a/pnas/pnas.tex	Thu Mar 31 14:13:58 2011 -0700
+++ b/pnas/pnas.tex	Fri Apr 01 16:02:13 2011 -0700
@@ -65,6 +65,19 @@
 
 \usepackage{amssymb,amsfonts,amsmath,amsthm}
 
+% fiddle with fonts
+
+\usepackage{microtype}
+
+\usepackage{ifxetex} 
+\ifxetex
+\usepackage{xunicode,fontspec,xltxtra}
+\setmainfont[Ligatures={}]{Linux Libertine O}
+\usepackage{unicode-math}
+\setmathfont{Asana Math}
+\fi
+
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 %% OPTIONAL MACRO FILES
 %% Insert self-defined macros here.
@@ -159,6 +172,8 @@
 \def\spl{_\pitchfork}
 
 
+
+
 % equations
 \newcommand{\eq}[1]{\begin{displaymath}#1\end{displaymath}}
 \newcommand{\eqar}[1]{\begin{eqnarray*}#1\end{eqnarray*}}
@@ -337,6 +352,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \begin{article}
 
+
 \begin{abstract}
 We summarize our axioms for higher categories, and describe the ``blob complex". 
 Fixing an $n$-category $\cC$, the blob complex associates a chain complex $\bc_*(W;\cC)$ to any $n$-manifold $W$. 
@@ -494,7 +510,7 @@
 While this proliferation is manageable for 1-categories (and indeed leads to an elegant theory
 of Stasheff polyhedra and $A_\infty$ categories), it becomes undesirably complex for higher categories.
 In a Moore loop space, we have a separate space $\Omega_r$ for each interval $[0,r]$, and a 
-{\it strictly associative} composition $\Omega_r\times \Omega_s\to \Omega_{r+s}$.
+{\it strictly associative} composition $\Omega_r \times \Omega_s \to \Omega_{r+s}$.
 Thus we can have the simplicity of strict associativity in exchange for more morphisms.
 We wish to imitate this strategy in higher categories.
 Because we are mainly interested in the case of pivotal $n$-categories, we replace the intervals $[0,r]$ not with
@@ -906,6 +922,7 @@
 \end{equation*}
 \end{property}
 
+
 If an $n$-manifold $X$ contains $Y \sqcup Y^\text{op}$ (we allow $Y = \eset$) as a codimension $0$ submanifold of its boundary, 
 write $X \bigcup_{Y}\selfarrow$ for the manifold obtained by gluing together $Y$ and $Y^\text{op}$.
 \begin{property}[Gluing map]
@@ -916,9 +933,9 @@
 %\end{equation*}
 Given a gluing $X \to X \bigcup_{Y}\selfarrow$, there is
 a map
-\[
-	\bc_*(X) \to \bc_*(X \bigcup_{Y}\selfarrow),
-\]
+$
+	\bc_*(X) \to \bc_*\left(X \bigcup_{Y} \selfarrow\right),
+$
 natural with respect to homeomorphisms, and associative with respect to iterated gluings.
 \end{property}