$$
  \genfrac{[}{]}{5pt}{0}{1}{2}
$$
