U+2223 Divides

El Wikipedia tiene la siguiente información acerca de este punto de código:

In mathematics, a divisor of an integer $n,$ also called a factor of $n,$ is an integer $m$ that may be multiplied by some integer to produce $n.$ In this case, one also says that $n$ is a multiple of $m.$ An integer $n$ is divisible or evenly divisible by another integer $m$ if $m$ is a divisor of $n$; this implies dividing $n$ by $m$ leaves no remainder.