Tag syntax theory