論理の⊃は昔はcを逆さまにしたものを使っていた
complyだかのcだそうだ
更に古くはcをそのまま