Add the four types of standard real intervals.

diff --git a/examples.tex b/examples.tex
index 26db4b1a03c81a218f354a6eaa23c038de592352..897396c1061d05706da5b7d21cd187aa6199b76b 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -69,6 +69,15 @@
     \begin{equation*}
       \unionmany{k=1}{\infty}{A_{k}} = \intersectmany{k=1}{\infty}{B_{k}}
     \end{equation*}
+
+    Finally, we have the four standard types of intervals in $\Rn[1]$,
+    %
+    \begin{align*}
+      \intervaloo{a}{b} &= \setc{ x \in \Rn[1]}{ a < x < b },\\
+      \intervaloc{a}{b} &= \setc{ x \in \Rn[1]}{ a < x \le b },\\
+      \intervalco{a}{b} &= \setc{ x \in \Rn[1]}{ a \le x < b }, \text{ and }\\
+      \intervalcc{a}{b} &= \setc{ x \in \Rn[1]}{ a \le x \le b }.
+    \end{align*}
   \end{section}
 
   \begin{section}{Cone}

diff --git a/mjo-common.tex b/mjo-common.tex
index e59920181ae51081530fbe92cfad47b87ba5d387..38e08b36fb13a4923539b804dec6764ff3c4f41b 100644 (file)
--- a/mjo-common.tex
+++ b/mjo-common.tex
@@ -124,3 +124,11 @@
 \providecommand*{\cartprodmany}[3]{ \binopmany{\bigtimes}{#1}{#2}{#3} }
 \providecommand*{\directsummany}[3]{ \binopmany{\bigoplus}{#1}{#2}{#3} }
 \providecommand*{\unionmany}[3]{ \binopmany{\bigcup}{#1}{#2}{#3} }
+
+
+% The four standard (UNLESS YOU'RE FRENCH) types of intervals along
+% the real line.
+\providecommand*{\intervaloo}[2]{ \left({#1},{#2}\right) } % open-open
+\providecommand*{\intervaloc}[2]{ \left({#1},{#2}\right] } % open-closed
+\providecommand*{\intervalco}[2]{ \left[{#1},{#2}\right) } % closed-open
+\providecommand*{\intervalcc}[2]{ \left[{#1},{#2}\right] } % closed-closed