运算符 /= 用于比较两个值是否不相等。它对所有非 有限类型 预定义。如果存在合适的 运算符 =，则该运算符也将被定义。
请注意，在 Ada 中，该运算符的表示形式是选择类似于数学符号 ≠ {\displaystyle \neq } ，与 <= 类似于 ≤ {\displaystyle \leq } ，或 >= 类似于 ≥ {\displaystyle \geq } 。
