平行线的性质用符号语言