命题：一条直线与已知平面相交，则面内不过该交点的直线与已知直线为异面直线。
用符号表示为