Zdroj TeX:
\small R \subset N \times N^+