TeX source:
W < 0 \Rightarrow U > 0