Often I make simplifications or other operations with assumptions. Sometimes the assumptions simply state that all parameters involved are positive.
I wonder, if there is a short notation for such a situation?
Just to give some code
I dream about something like
This expression is, of course, a nonsense, but may be something in this direction.
Do you know something of this sort?