For example, in propositional calculus the sequence of symbols is a WFF because it is grammatically correct (in fact, it is a tautology). The sequence of symbols is not a WFF, because it does not conform to the grammar of propositional calculus.
Informally, WFFs are the sequences of symbols which have meaning in a given logical system.
In mathematics, a WFF is often the basis of a proof, which leads to one of the most notoriously esoteric puns ever used in the name of a product: "WFF 'n Proof: The Game of Modern Logic," by Layman Allen, a professor at the University of Michigan. The board game is designed to teach the principles of symbolic logic to children (in Polish notation), and its name is a pun on whiffenpoof, a nonsense word used as a cheer at Yale University made popular in The Whiffenpoof Song.