What does it mean? I fully expected to explain the semantics and yet I still don't know what that triangle squared means. Oh well.