mjo-eja.tex: add \quadrepr and \leftmult.

diff --git a/examples.tex b/examples.tex
index d59975eb872bd2f635f9635756518df236e64f74..740dd02f473945597cb4f0b42893a456f71011a7 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -161,8 +161,12 @@
   \end{section}
 
   \begin{section}{Euclidean Jordan algebras}
-    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}$.
+    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}$. 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}

diff --git a/mjo-eja.tex b/mjo-eja.tex
index 8b4efbfee69670c4a849d808428e4a318c669020..efa68dee0db8540a31b613646d1d5c54c514d479 100644 (file)
--- a/mjo-eja.tex
+++ b/mjo-eja.tex
@@ -22,6 +22,15 @@
 % 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.