proper face, then we write $F \properfaceof K$.
\end{section}
+ \begin{section}{Euclidean Jordan algebras}
+ The Jordan product of $x$ and $y$ in some Euclidean Jordan algebra
+ is $\jp{x}{y}$.
+ \end{section}
+
\begin{section}{Font}
We can write things like Carathéodory and Güler and $\mathbb{R}$.
\end{section}