<<latex($\Pi_{name}(\sigma_{course.dept\_name=\textrm{"Comp.Sci."}}(student \bowtie takes \bowtie course))$)>>