展开 线面垂直的判定符号表示