added in the actual symbols