Syntactic derivability mathematical notation

Syntactic derivability is a recurring research-paper notation family. States that a conclusion can be derived from premises using the rules of a specified formal proof system.

Syntactic derivability: States that a conclusion can be derived from premises using the rules of a specified formal proof system. Example: There is a formal derivation of phi from the assumptions in Gamma.