|a→・b→|<=|a→||b→|
は、別に
a→・b→<=|a→||b→|
でも良いと思うんですがどうなんでしょう。

で、
|x←|=x→
|-x←|=x←
は合ってるんでしょうか･･･？