A General Strategy For Proofreading Symbols