TeX source:
n>k