Have \bigg and friends to trim spaces from their arguments. This lets \bigg{\uparrow }
work, which current doesn't.
Resolves issue #1819 (closed)
Have \bigg and friends to trim spaces from their arguments. This lets \bigg{\uparrow }
work, which current doesn't.
Resolves issue #1819 (closed)