Symbols:F/Predicate

Predicate

 * $F a$

Frequently used to denote a general unspecified predicate in the context of predicate logic, for example:


 * $F a$ represents:
 * ''$a$ has property $F$