Zdroj TeX:

(-1,5) \otimes (a, b)=(1,0) \Leftrightarrow (-a-5b=1\ \wedge \ 5a-b=0)