线面垂直=>面面垂直用符号语言叙述