Can -20 and 20 be expressed with a less than or equal to sign?
Example: -20 _< 20.
Example: -20 _< 20.