TeX source:
\le 0.67