\end{section}
\begin{section}{Euclidean Jordan algebras}
- The Jordan product of $x$ and $y$ in some Euclidean Jordan algebra
- is $\jp{x}{y}$.
+ The Jordan product of $x$ and $y$ in some Euclidean Jordan algebra $V$
+ is $\jp{x}{y}$. The Jordan-automorphism group of $V$ is $\JAut{V}$.
\end{section}
\begin{section}{Font}
\newcommand*{\jp}[2]{{#1} \circ {#2}}
+% The ``Jordan automorphism group of'' operator. Using
+% \Aut{} is too ambiguous sometimes.
+\newcommand*{\JAut}[1]{ \operatorname{JAut}\of{{#1}} }
+
+
\fi