TeX source:
(0 ≤ v ≤ 4 \; mph)