∣ (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

See also

• divides

• ∤ (NotDivides)