Divide

O número da esquerda divide o da direita sem resto.

Assim, 3 ∣ 12 é verdadeiro e 5 ∣ 12 é falso. Em teoria dos números e demonstrações aparece geralmente como a ∣ b, lido «a divide b».

Entre chaves, como em {n ∣ n > 0}, a barra lê-se «tal que»: o conjunto de todos os n tais que n é maior que 0.

Consolidou-se no início do século XX

Edmund Landau, teórico dos números alemão, explicou a notação no seu Handbuch de 1909, obra de referência sobre a distribuição dos números primos; o uso generalizou-se nos anos 1930. Substituiu por um sinal curto uma relação antes escrita por extenso.