§23.1 符号、符号串及其运算