The DiffPos atom.

The difference between expressions, \(x - y\), where \(x > y > 0\).

DiffPos(x, y)

Arguments

x

An Expression

y

An Expression

Value

The difference \(x - y\) with domain \(x,y: x > y > 0\).