Added info about the generated symbols