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