定义一个符号常量