Source TeX:
[0.20, .50[ \Rightarrow