过点P(﹣1,3)且垂 过点P(﹣1,3)且垂直于直线x﹣2y+3=0的直线方程为(    ).