X-Git-Url: http://gitweb.michael.orlitzky.com/?p=mjotex.git;a=blobdiff_plain;f=mjo-set.tex;fp=mjo-set.tex;h=4177f5aae68e5103624821d64b202a3f04ff7348;hp=2134e640c51d7edfb62d8cdef726efe39bde7922;hb=77f02015fe36069f7db4277902bb89654821e947;hpb=4febc3ad82bc8ac73e660c484e105835feb1ed84

diff --git a/mjo-set.tex b/mjo-set.tex
index 2134e64..4177f5a 100644
--- a/mjo-set.tex
+++ b/mjo-set.tex
@@ -15,6 +15,15 @@
   \usepackage{mathtools}
 \fi
 
+% Create a set from the given elements
+\newcommand*{\set}[1]{\left\lbrace{#1}\right\rbrace}
+
+% A set comprehension, where the ``such that...'' bar is added
+% automatically. The bar was chosen over a colon to avoid ambiguity
+% with the L : V -> V notation. We can't leverage \set here because \middle
+% needs \left and \right present.
+\newcommand*{\setc}[2]{\left\lbrace{#1}\ \middle|\ {#2} \right\rbrace}
+
 
 % The cardinality of a set. The |X| notation conflicts with the
 % absolute value, and the meaning of card(X) is clear at once, so we