>>570
|↑y|^2 = ↑y・↑y でしょ?