Что означают противоположные угловые скобки <>?

Question

Пример 1

forall x,y in set {1,…,5} & X <> y => not m.temps(x) = m.temps(y)

Пример 2

exists i,j in set inds m.temps & i <> j and m.temps(i) > 400 and m.temps(j) > 400

Что означает <> в этих предложениях?

Answer 1

Это просто означает "не равно". Так что "x <> y" - это то же самое, что и "not x = y".