[p,q] is Element of ;
hence [^,^] is Element of ; :: thesis: verum