展开 平面与平面垂直的判定的符号语句是什么