Syntax

The view of how formal systems such as type theories are expressed in a formal language.

Often the term is used to discuss an abstract syntax trees instead of just strings.