TeX source:

Z \geq a) .