{t2|($u)($v)(R(u)∧R(v)∧t[1]=u[1]∧t[2]=u[2]∧u(1)= v[2]∧u[2]=v[1])}
说明：$是存在量词符号,这里敲不出反E的那个符号,word里粘贴过来也显示不了,只好用这个美元符号替换.
另外t2,后面的2是上标,也显示不了.