F*
Jump to navigation
Jump to search
Jargon Guides
F* is a shorthand notation commonly used to refer collectively to the formatting rounds of F1 and F2.
The notation uses the asterisk character (*) as a wildcard, as it is used in many criteria and search strings in many computer contexts and applications.