added equiv-\Pi and equiv-\Sigma
added suitable operator preferences for _<_, _\leq_, _<T_, _\leqT_, _-1, _-2