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