@Nathan1123 yeah, I know that. But how is it different to "less than or equal to"? And more importantly: what's its LaTeX command?