改变RHS中符号名字的规则，允许出现$