Proof marker mathematical notation

Proof marker is a recurring research-paper notation family. Marks the beginning of an argument intended to establish a preceding theorem, lemma, or proposition.

Proof marker: Marks the beginning of an argument intended to establish a preceding theorem, lemma, or proposition. Example: The formal justification begins by taking P as an available premise.