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」と同じです。