Question

I personally hate the notation $x \vert y$, for "$x$ divides $y$". Of course, I'm used to reading it by now, but a general principle I follow and recommend is:

Never use a symmetric symbol to denote an asymmetric relation!