This is an example with an absolute value
|
x
|
=
x
⇔
x
≥
0