Assumed premise mathematical notation

Assumed premise is a recurring research-paper notation family. Temporarily accepts a stated condition as true so its logical consequences can be derived within the current scope.

Assumed premise: Temporarily accepts a stated condition as true so its logical consequences can be derived within the current scope. Example: Work under the temporary condition that x is positive.