CasesEnvironment: "cases" | "dcases" | "rcases"