a \(⋮4\)

=> a \(⋮\)divisor of 4

=> a \(⋮\pm1;\pm2;\pm4\)

So a \(⋮4\Rightarrow a⋮\pm1;\pm2;\pm4\)

a : 4=> a : ?

We have: 4=2 x 2        4=1 x 4

=>a : 1, 2, -1, -2