TeX source:
\mid 3-L \mathrm{~K} < 1 / 2