&trianglerighteq