∤ (does not divide)
Checks for indivisibility.
Syntax

a ∤ b

a
is an integer 
b
is an integer

Description
a ∤ b
is true iff a
doesn’t divide b
, that is, iff there is no integer k
such that b = k⋅a
.
Notes
This infix operator is mapped to the NotDivides
function. Typically you use the operator instead of calling the NotDivides
function directly.
Examples
13 ∤ 911924
false
15 ∤ 911924
true
5 ∤ 0
false