The DiffPos atom.
The difference between expressions, x - y, where x > y > 0.
DiffPos(x, y)
x |
An Expression |
y |
An Expression |
The difference x - y with domain x,y: x > y > 0.
Please choose more modern alternatives, such as Google Chrome or Mozilla Firefox.