Index: doc/generic_types/generic_types.tex
===================================================================
--- doc/generic_types/generic_types.tex	(revision f5abbd772f259b22742259688a5c97773a5b9693)
+++ doc/generic_types/generic_types.tex	(revision 07846d8629e6db2552aa14351710119edb38df98)
@@ -6,4 +6,5 @@
 \usepackage{upquote}									% switch curled `'" to straight
 \usepackage{listings}									% format program code
+\usepackage{rotating}
 \usepackage[usenames]{color}
 
@@ -48,5 +49,6 @@
 
 % Useful macros
-\newcommand{\CFA}{C$\mathbf\forall$\xspace} % Cforall symbolic name
+\newcommand{\CFA}{C\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\hspace{-1pt}\xspace} % Cforall symbolic name
+%\newcommand{\CFA}{C$\mathbf\forall$\xspace} % Cforall symbolic name
 \newcommand{\CC}{\rm C\kern-.1em\hbox{+\kern-.25em+}\xspace} % C++ symbolic name
 \newcommand{\CCeleven}{\rm C\kern-.1em\hbox{+\kern-.25em+}11\xspace} % C++11 symbolic name
@@ -97,5 +99,5 @@
 \acmJournal{PACMPL}
 
-\title{Generic and Tuple Types with Efficient Dynamic Layout in \CFA}
+\title{Generic and Tuple Types with Efficient Dynamic Layout in \protect\CFA}
 
 \author{Aaron Moss}
@@ -197,5 +199,5 @@
 \label{sec:poly-fns}
 
-\CFA's polymorphism was originally formalized by \citet{Ditchfield92}, and first implemented by \citet{Bilson03}.
+\CFA{}\hspace{1pt}'s polymorphism was originally formalized by \citet{Ditchfield92}, and first implemented by \citet{Bilson03}.
 The signature feature of \CFA is parametric-polymorphic functions~\citep{forceone:impl,Cormack90,Duggan96} with functions generalized using a @forall@ clause (giving the language its name):
 \begin{lstlisting}
@@ -950,5 +952,5 @@
 }
 \end{lstlisting}
-\caption{\CFA Benchmark Test}
+\caption{\protect\CFA Benchmark Test}
 \label{fig:BenchmarkTest}
 \end{figure}