Checking if a formula is well-formed.
The map WF[x] (``x is well-formed'') returns true if x denotes a well-formed formula, and false otherwise.
In[11]:=
Created by Mathematica (October 17, 2006)