Note that the vertical bar character used there is normatively identified as U+2223 DIVIDES (∣), note the common U+007C VERTICAL LINE (|) that we enter directly on a keyboard. It is of course possible to express the same thing using a congruence notation, but only for integers (not e.g. for polynomials). $\endgroup$ – More @Wikipedia
Hover over any link to get a description of the article. Please note that search keywords are sometimes hidden within the full article and don't appear in the description or title.