Subtraction

The subtraction subtracts two values.

Syntax: $UF=sub( UF_1, UF_2 )$

Examples:

• $fun(x, sub( 1, 3), Obj)$; Realizes the function: $x=1-3=-2$
• $fun(x, sub( y, -3), Obj)$; Realizes the function: $x=y-(-3)=y+3$
• $fun(x, sub( sub( 2, y ), add( z, v ) ), Obj)$; Realizes the function: $x=(2-y)-(z+v)=2-y-z-v$