@icecolbeveridge I've moderated my position on that after my summer students pointed out how often \left( gets the size wrong