TeX source:
n < 23