:: deftheorem defines \delta ROBBINS1:def 14 :
for G being non empty ComplLLattStr
for x, y being Element of G holds \delta (x,y) = - ((- x) + y);