Y u2264 u2212 5x