mjo-algebra.tex,examples.tex: add the \variety command

[mjotex.git] / examples.tex

diff --git a/examples.tex b/examples.tex
index 6b60b00b0fbf4e25fcc1e9dfd96a0f60cd258592..383cef2b5f9c89889e2d38fbfe4d8d42a5e0e339 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -41,6 +41,9 @@
     then that element is denoted by $\unit{R}$. Its additive identity
     element is $\zero{R}$. The stabilizer (or isotropy)
     subgroup of $G$ that fixes $x$ is $\Stab{G}{x}$.
+
+    If $I$ is an ideal, then $\variety{I}$ is the variety that
+    corresponds to it.
   \end{section}
 
   \begin{section}{Algorithm}