7.2.8 -

(- EXPR1 EXPR2)

Substracts EXPR2 from EXPR1 and returns the result.