TeX source:
5.5 < L+x < 7.5