Don't you think it'd be better that the article would be under the term "Well-formed formula" and that "WFF" will redirect to there?