Source TeX:
[0.50, .80[ \Rightarrow