展开 线面垂直性质符号语