Algosim documentation: ∣

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