FontSubstitutions is an option for Style and Cell that gives a list of substitutions to try for font family names.

FontTracking is an option for Style and Cell that specifies how condensed or expanded you want the font in which text is rendered to be.

FontVariations is an option for Style, Cell, and related constructs that specifies what font variations should be used.

FontWeight is an option for Style, Cell, and related constructs that specifies how heavy the characters in a font should be.

ForAll[x, expr] represents the statement that expr is True for all values of x. ForAll[x, cond, expr] states that expr is True for all x satisfying the condition cond. ...

Format[expr] prints as the formatted form of expr. Assigning values to Format[expr] defines print forms for expressions. Format[expr, form] gives a format for the specified ...

FormatTypeAutoConvert is an option for cells that specifies whether the contents of a cell are automatically converted into a different format when the style of that cell is ...

FormatType is an option for output streams, graphics, and functions such as Text that specifies the default format type to use when outputting expressions.

FormBox[boxes, form] is a low-level box construct which displays as boxes but specifies that rules associated with form should be used to interpret boxes on input.

FormBoxOptions -> {opt_1 -> val_1, opt_2 -> val_2} is an option for cells that specifies settings for FormBox objects within the cell.