TeX source:
|X| \geq k