TeX-källa:

2 \in Z_4