Just some test junk:

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