The symbol <=> resembles equivalence in logic, and tells that the first constraint is equivalent to the latter.
Симбол <=> подсећа на једнакост у логици, и каже да је прво ограничење еквивалентно овом другом.