[Написано перед предыдущим ответом, оставлю.]
Я поспорил с собой, что выйдет путаница, и выиграл.
iifat использовал здесь не остаток от деления, а (действительно похоже обозначающееся) сравнение по модулю:

(читается «сравнимы/эквивалентны/равны по модулю

») тогда и только тогда, когда разность

— целое кратное

. Если

целое и не ноль, это означает ровно

. Если

, это означает просто

, потому что только ноль кратен нулю. (Ещё

может быть нецелым как, например,

будет означать, что

и

— углы одного и того же поворота.)
Теперь, надеюсь, распутались.
