:: deftheorem defines .|. CSSPACE:def 12 :
for X being non empty CUNITSTR
for x, y being Point of X holds x .|. y = the scalar of X . (x,y);