X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-common.tex;fp=mjo-common.tex;h=38e08b36fb13a4923539b804dec6764ff3c4f41b;hp=e59920181ae51081530fbe92cfad47b87ba5d387;hb=ce11edfc0c1c7b1dcbbbc21512336f91ad006863;hpb=a090c8f0a3d92160d8e14b7328b8045b067b5bbd

diff --git a/mjo-common.tex b/mjo-common.tex
index e599201..38e08b3 100644
--- 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