formal-languages - 对角括号 <> 是什么意思？

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”是一样的。