Symbolic form and validity checking