symbol used& JSON file output