X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=examples.tex;fp=examples.tex;h=c7959732d44ce74297d43c228dd90ae267dd255a;hp=3a1d6c4f77004e7e71182c4f8bdd1754659430e8;hb=a42e99e28d22bd0a313d4bac23cd4278627be1a3;hpb=f9205a3b883c08499edfdd3f9d1a6170a6fc6755

diff --git a/examples.tex b/examples.tex
index 3a1d6c4..c795973 100644
--- a/examples.tex
+++ b/examples.tex
@@ -72,9 +72,10 @@
   \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}}$. The tuples
-    go up to seven, for now:
+    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:
     %
     \begin{itemize}
       \begin{item}