X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=examples.tex;h=d8e2c3243f85d436f2600267c21475556a75b99f;hb=c8cd642ae6f1dd3455d2ddc0f535508aedc07aaf;hp=52326358fc9ca2f11637423b78f43125467a9e86;hpb=1efe9c09be9e93ed5dbb2ae60d787517eb0609ca;p=mjotex.git

diff --git a/examples.tex b/examples.tex
index 5232635..d8e2c32 100644
--- a/examples.tex
+++ b/examples.tex
@@ -39,7 +39,8 @@
 
     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}
@@ -162,7 +163,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}