符号修订