%
% Euclidean Jordan algebras.
%
+\ifx\havemjoeja\undefined
+\def\havemjoeja{1}
+
% The jordan product of its two arguments.
%
% into its own LaTeX file; we probably wouldn't want to use \circ as
% a (bilinear) algebra multiplication in any other context.
\newcommand*{\jp}[2]{{#1} \circ {#2}}
+
+% The "quadratic representation" of the ambient space applied to its
+% argument. We have standardized on the "P" used by Faraut and Korányi
+% rather than the "U" made popular by Jacobson.
+\newcommand*{\quadrepr}[1]{P_{#1}}
+
+% The "left multiplication by" operator. Takes one argument, the thing
+% to multiply on the left by. This has meaning more generally than in
+% an EJA, but an EJA is where I use it.
+\newcommand*{\leftmult}[1]{L_{#1}}
+
+% The ``Jordan automorphism group of'' operator. Using
+% \Aut{} is too ambiguous sometimes.
+\newcommand*{\JAut}[1]{ \operatorname{JAut}\of{{#1}} }
+
+
+\fi