Necessary condition mathematical notation

Necessary condition is a recurring research-paper notation family. States that the target situation cannot hold unless the necessary condition also holds.

Necessary condition: States that the target situation cannot hold unless the necessary condition also holds. Example: Every x above two must be positive.