cdt^2+dx^2みたいなのもいいんですか?
特殊相対論では-つきますけど