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

[mjotex.git] / examples.tex

diff --git a/examples.tex b/examples.tex
index e70e0e1e0c63ad2d12ef667ebde7e69d9a6a0ad7..740dd02f473945597cb4f0b42893a456f71011a7 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -79,7 +79,8 @@
     The function $f$ applied to $x$ is $f\of{x}$, and the restriction
     of $f$ to a subset $X$ of its domain is $\restrict{f}{X}$. We can
     group terms like $a + \qty{b - c}$ or $a + \qty{b - \sqty{c -
-        d}}$. The tuples go up to seven, for now:
+        d}}$. The tuples go up to seven, for now, and then we give up
+    and use the general construct:
     %
     \begin{itemize}
       \begin{item}
@@ -100,6 +101,9 @@
       \begin{item}
         Septuple: $\septuple{1}{2}{3}{4}{5}{6}{7}$.
       \end{item}
+      \begin{item}
+        Tuple: $\tuple{1,2,\ldots,8675309}$.
+      \end{item}
     \end{itemize}
     %
     The factorial of the number $10$ is $\factorial{10}$, and the
@@ -158,7 +162,11 @@
 
   \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}