| Subtraction(Sca, VarD0) | Subtracts a variable from a scalar and returns the resulting linear expression. |
| Subtraction(VarD0, Sca) | Subtracts a scalar from a variable and returns the resulting linear expression. |
| Subtraction(VarD0, VarD0) | Subtracts a variable from another and returns the resulting linear expression. |