If $R$ has a multiplicative identity (that is, a unit) element,
then that element is denoted by $\unit{R}$. Its additive identity
- element is $\zero{R}$.
+ element is $\zero{R}$. The stabilizer (or isotropy)
+ subgroup of $G$ that fixes $x$ is $\Stab{G}{x}$.
\end{section}
\begin{section}{Algorithm}
\begin{section}{Euclidean Jordan algebras}
The Jordan product of $x$ and $y$ in some Euclidean Jordan algebra
- is $\jp{x}{y}$.
+ $V$ is $\jp{x}{y}$. The Jordan-automorphism group of $V$ is
+ $\JAut{V}$. Two popular operators in an EJA are its quadratic
+ representation and ``left multiplication by'' operator. For a
+ given $x$, they are, respectively, $\quadrepr{x}$ and
+ $\leftmult{x}$.
\end{section}
\begin{section}{Font}