Is there an advantage in using the match case operator on symbols like this?