mjo-common: add higher tuples, up to septuple.

[mjotex.git] / examples.tex

diff --git a/examples.tex b/examples.tex
index c1f3df1eb64e416fb00c52f809cdcfc562138324..cb7d28a1f41d3a17c02635b370c3cb0fbe36a54f 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -53,8 +53,9 @@
   \end{section}
 
   \begin{section}{Arrow}
-    The identity operator on $V$ is $\identity{V}$. The composition of
-    $f$ and $g$ is $\compose{f}{g}$. The inverse of $f$ is
+    The constant function that always returns $a$ is $\const{a}$. The
+    identity operator on $V$ is $\identity{V}$. The composition of $f$
+    and $g$ is $\compose{f}{g}$. The inverse of $f$ is
     $\inverse{f}$. If $f$ is a function and $A$ is a subset of its
     domain, then the preimage under $f$ of $A$ is $\preimage{f}{A}$.
   \end{section}
@@ -67,9 +68,31 @@
   \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
-    set $\set{1,2,3} = \setc{n \in \Nn[1]}{ n \le 3 }$. Here's a pair
-    of things $\pair{1}{2}$ or a triple of them $\triple{1}{2}{3}$,
-    and the factorial of the number $10$ is $\factorial{10}$.
+    set $\set{1,2,3} = \setc{n \in \Nn[1]}{ n \le 3 }$. The tuples go
+    up to seven, for now:
+    %
+    \begin{itemize}
+      \begin{item}
+        Pair: $\pair{1}{2}$,
+      \end{item}
+      \begin{item}
+        Triple: $\triple{1}{2}{3}$,
+      \end{item}
+      \begin{item}
+        Quadruple: $\quadruple{1}{2}{3}{4}$,
+      \end{item}
+      \begin{item}
+        Qintuple: $\quintuple{1}{2}{3}{4}{5}$,
+      \end{item}
+      \begin{item}
+        Sextuple: $\sextuple{1}{2}{3}{4}{5}{6}$,
+      \end{item}
+      \begin{item}
+        Septuple: $\septuple{1}{2}{3}{4}{5}{6}{7}$.
+      \end{item}
+    \end{itemize}
+    %
+    The factorial of the number $10$ is $\factorial{10}$.
 
     The Cartesian product of two sets $A$ and $B$ is
     $\cartprod{A}{B}$; if we take the product with $C$ as well, then