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