像数学证明题所以的符号