Reformat defined_symbol()