(logic) In quantified modal logic, the formula Diamond ∀xFx→∀x Diamond Fx, meaning "if possibly everything is F, then everything is possibly F".

(logic) In quantified modal logic, the formula ∀x□Fx→□∀xFx, meaning "if every x is necessarily F, then it is necessary that every x is F".

The empirical equation used to calculate the Balmer series.

Alternative form of Formula One

Alternative form of Kekulé formula

Abbreviation of Bailey-Borwein-Plouffe formula.

Alternative letter-case form of trinitarian formula

plural of infant formula

Synonym of molecular formula / Any other formula used in chemistry.

(mathematics) The formula x=(-b±√)/(2a) for finding roots of the quadratic equation.