展开 平面与平面垂直的判定的符号语