Traverse arguments recursively also, and make correctly brackets for symbolic notation.