Come ha già scritto anto_zoolander: la tua notazione è indecifrabile.
Si usa scrivere
\[
a\equiv b(\textrm{mod}\,m)\,\text{con}\,a,b,m\in\mathbb{Z}
\]
per indicare che
\[
\exists k\in\mathbb{Z}\mid a-b=km.
\]
Torna a Algebra, logica, teoria dei numeri e matematica discreta
Visitano il forum: Nessuno e 1 ospite