>>640
620の書き方によるとそれも
a↑b = e↑(b×(e↓a))
ってことになるんだよな

e↓(a↑b) = e↓(e↑(b×(e↓a))) = b×(e↓a) = (e↓a)×b
e↑(b×(e↓a)) = e↑((e↓a)×b) = (e↑(e↓a))↑b = a↑b

やばっ
なんか楽しくなってきたw