新定义一些符号