Document how to add a new symbol