[bbeonx]

Which is, of course, just a fancy way of writing (-7:30) to 03:00

[rejschaap]

I'm never sure what the operator precedence is, to be safe I always write -(7:30)