∣ (divides)
Checks for divisibility.
Syntax

a ∣ b

a
is an integer 
b
is an integer

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