符号定义