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$

The $\LaTeX$ code for \(F a\) is F a .

Sources

• 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): F: 3.