TeX source:
W > 0 \Rightarrow U < 0