X-Git-Url: http://gitweb.michael.orlitzky.com/?a=blobdiff_plain;ds=sidebyside;f=examples.tex;h=6e1c5007abf16c19d48f8eadb7c1a03b85a49cab;hb=4fd0c97de0370110d6fecab412ec1b5b831611e8;hp=a202da7bf69cc28ba3cda55b448f0edf11d6edf7;hpb=7321e6c665f3b9797bb7a76618e6419a33357e6c;p=mjotex.git

diff --git a/examples.tex b/examples.tex
index a202da7..6e1c500 100644
--- a/examples.tex
+++ b/examples.tex
@@ -32,6 +32,11 @@
     domain, then the preimage under $f$ of $A$ is $\preimage{f}{A}$.
   \end{section}
 
+  \begin{section}{Calculus}
+    The gradient of $f : \Rn \rightarrow \Rn[1]$ is $\gradient{f} :
+    \Rn \rightarrow \Rn$.
+  \end{section}
+
   \begin{section}{Common}
     The function $f$ applied to $x$ is $f\of{x}$. We can group terms
     like $a + \qty{b - c}$ or $a + \qty{b - \sqty{c - d}}$. Here's a
@@ -99,7 +104,9 @@
     The conic hull of a set $X$ is $\cone{X}$; its affine hull is
     $\aff{X}$, and its convex hull is $\conv{X}$. If $K$ is a cone,
     then its lineality space is $\linspace{K}$, its lineality is
-    $\lin{K}$, and its extreme directions are $\Ext{K}$.
+    $\lin{K}$, and its extreme directions are $\Ext{K}$. The fact that
+    $F$ is a face of $K$ is denoted by $F \faceof K$; if $F$ is a
+    proper face, then we write $F \properfaceof K$.
   \end{section}
 
   \begin{section}{Font}
@@ -237,6 +244,10 @@
       fox
     \end{theorem}
 
+    \begin{exercise}
+      jumps
+    \end{exercise}
+
     \begin{definition}
       quod
     \end{definition}
@@ -267,6 +278,10 @@
       fox
     \end{theorem*}
 
+    \begin{exercise*}
+      jumps
+    \end{exercise*}
+
     \begin{definition*}
       quod
     \end{definition*}