Προέλευση/πηγή TeX:

x\equiv_n y \ \ \Longleftrightarrow\ \ n\mid x-y.