"T"[("E1" "E2")] ⇒ ("T"["E1"] "T"["E2"])