12.6.1.1567
FNEGATE
f-negate
FLOATING
 
( F: r1 -- r2 ) or ( r1 -- r2 )

r2 is the negation of r1.