我还以为是随便写的，没想到是速记符号。