【关系代数】请问这个式子如何理解？

– Q1 = Practice ./ δd name7→d’ name(Practice)
– Q2 = Q1 − σd name=d’ name(Q1)
– Q3 = πclass,time(Practice) − πclass,time(Q2)
– Q4 = Q3 ./ Session
– Q = πinstructor(Q4)

特别是Q1的δ和箭头分别代表什么？查了书上没找到这个符号