Checks for divisibility.
a ∣ b
ais an integer
bis an integer
a ∣ b is true iff
b, that is, iff
b = k⋅a for some integer
This infix operator is mapped to the
divides function. Typically you use the operator instead of calling the
divides function directly.
∣ (divides), should not be confused with
| (vertical line) which is used for inner products.
∣ is U+2223: DIVIDES and can be inserted by typing
| is U+007C: VERTICAL LINE and can be inserted by a key on the keyboard.
13 ∣ 911924
15 ∣ 911924
5 ∣ 0