TeX source:
|X| \leq k