Vertical arrows are not marked as symmetric when used with \left and \right, but should be.
\left
\right
