Constructive existence proof mathematical notation

Constructive existence proof is a recurring research-paper notation family. Proves an existence claim by explicitly building an object and then verifying that it satisfies the required property.

Constructive existence proof: Proves an existence claim by explicitly building an object and then verifying that it satisfies the required property. Example: Provide the promised object and check its defining condition.