[Tex/LaTex] Cases with square brackets

amsmathcasesdelimitersmath-mode

How can I subdivide in cases with square brackets?

I mean I want to write: 

              ⌈ 2_i        if ...
rank (q, l) = | 2_i + 1    if ...
              ⌊ ....

with square brackets, not braces.

Best Answer

You could patch the cases environment, the way Thorsten showed or using the etoolbox package and \patchcmd. However, it could be better to preserve the original cases environment and to define a new one for that purpose. Here is a way, very similar to the original definition, but also using \lbrack instead of \lbrace, I calles the new environment sqcases:

\documentclass{article}
\usepackage{amsmath}
\DeclareMathOperator{\rank}{rank}
\makeatletter
\newenvironment{sqcases}{%
  \matrix@check\sqcases\env@sqcases
}{%
  \endarray\right.%
}
\def\env@sqcases{%
  \let\@ifnextchar\new@ifnextchar
  \left\lbrack
  \def\arraystretch{1.2}%
  \array{@{}l@{\quad}l@{}}%
}
\makeatother
\begin{document}
\[
  \rank(q, l) = \begin{sqcases}
      2_i & \text{if \ldots} \\
      2_i+1 & \text{if \ldots} 
    \end{sqcases}
\]
\end{document}

enter image description here

Though it looks a bit complicated, it's very straightforward: I took the original cases definition of amsmath.sty, wrote sqcases instead and replaced \lbrace by \lbrack. I had to use \makeatletter and \makeatother because of the @ symbol in the original amsmath commands.

For completeness, heres the way using patching:

\usepackage{etoolbox}
\makeatletter
\patchcmd{\env@cases}{\lbrace}{\lbrack}
\makeatother

After loading etoolbox, the respective internal amsmath macro is changed to use \lbrack instead of \lbrace. It's a bit hazardous to patch internal commands, but it's a quick way and may even work after changes in amsmath while our new definition could become different to cases then. At least it's good to know such methods.

Related Question