Add the four types of standard real intervals.

[mjotex.git] / mjo-common.tex

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