这个符号是哪里看来的，貌似已经废弃了吧。