preamble.tex
changeset 171 c461980f17ac
parent 170 6785d7aa7c49
child 187 4067c74547bb
--- a/preamble.tex	Tue Nov 03 19:54:46 2009 +0000
+++ b/preamble.tex	Wed Nov 04 21:51:52 2009 +0000
@@ -139,6 +139,7 @@
 
 \newcommand{\restrict}[2]{#1{}_{\mid #2}{}}
 \newcommand{\set}[1]{\left\{#1\right\}}
+\newcommand{\setc}[2]{\setcl{#1}{#2}}
 \newcommand{\setcl}[2]{\left\{ \left. #1 \;\right| \; #2 \right\}}
 \newcommand{\setcr}[2]{\left\{ #1 \;\left| \; #2 \right\}\right.}
 \newcommand{\relations}[2]{\left<#1 \;\left| \; #2 \right. \right>}