for r, g being Real holds
( ( - g < r & r < g ) iff |.r.| < g )