TeX source:
17.402-7.362 \mid=0.04