Zdroj TeX:

\small V = \lbrace{ (x,y) \in \mathbb Z^2 ; x+3y=1}\rbrace