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