<< < Bal wel > >>
A string of → symbols from the alphabet of the → formal language that conforms to the grammar of the formal language. → closed wff, → open wff.
Wff, pronounced whiff; → well; → form; → formula.