∤ (does not divide)

Checks for indivisibility.

Syntax

• a ∤ b

  • a is an integer

  • b is an integer

Description

a ∤ b is true iff a doesn’t divide b, that is, iff there is no integer k such that b = k⋅a.

Notes

This infix operator is mapped to the NotDivides function. Typically you use the operator instead of calling the NotDivides function directly.

Examples

13 ∤ 911924

false

15 ∤ 911924

true

5 ∤ 0

false

See also

• NotDivides

• ∣ (divides)