dx、dyは微分形式で間違いないよ。