<<latex($\Pi_{name}(\sigma_{course.dept\_name="Comp.~Sci."}(student \bowtie takes \bowtie course))$)>>
Junk
Revision 6 as of 2011-02-10 18:49:11
Clear message
<<latex($\Pi_{name}(\sigma_{course.dept\_name="Comp.~Sci."}(student \bowtie takes \bowtie course))$)>>