A special case of a vertical arrow

[Paul Smith]

Dear All

I would like to type, with LyX, a vertical arrow directed to the 
equality sign and with (x>0) at the bottom, as described below:

|x| = x
    ^
    |
  (x>0)
Could somebody here please help me?

Thank you a lot in advance!

Paul