From 906dd6be4d6f832228c3d97c9c755fa4fc8d43bf Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 3 Mar 2023 13:52:05 -0500
Subject: [PATCH] mjo-eja.tex: add the Jordan-automorphism group operator,
 \JAut{}.

---
 examples.tex | 4 ++--
 mjo-eja.tex  | 5 +++++
 2 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/examples.tex b/examples.tex
index 5232635..d59975e 100644
--- a/examples.tex
+++ b/examples.tex
@@ -161,8 +161,8 @@
   \end{section}
 
   \begin{section}{Euclidean Jordan algebras}
-    The Jordan product of $x$ and $y$ in some Euclidean Jordan algebra
-    is $\jp{x}{y}$.
+    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}$.
   \end{section}
 
   \begin{section}{Font}
diff --git a/mjo-eja.tex b/mjo-eja.tex
index b6974be..8b4efbf 100644
--- a/mjo-eja.tex
+++ b/mjo-eja.tex
@@ -23,4 +23,9 @@
 \newcommand*{\jp}[2]{{#1} \circ {#2}}
 
 
+% The ``Jordan automorphism group of'' operator. Using
+% \Aut{} is too ambiguous sometimes.
+\newcommand*{\JAut}[1]{ \operatorname{JAut}\of{{#1}} }
+
+
 \fi
-- 
2.43.2