TeX source:
Z \geq 3.1