Most people can’t do more than the simplest derivations in their head, the symbols are just a notational placeholder, and also used to communicate with others.

Most people can’t do more than the simplest derivations in their head, the symbols are just a notational placeholder, and also used to communicate with others. The abstraction is the what you have to have a knack for, not the symbols themselves.