Symbol: t4_cver_eq