Divisibility ($\mid$)

An integer $d$ divides an integer $n$, written $d\mid n$, when $n=dk$ for some integer $k$.