集合と条件の記号が違えてあれば
⊃ がどちらの ⊃ かは判るので、
２つの ⊃ が情緒的に整合する記号かどうかを
考えることにそもそも意味は無い。
記号は恣意的に決めればいいだけだ。

でも、感覚的に把握しにくい記号は不便だよね。
Ｐ⊃Ｑ の場合は、たくさんある条件Ｐから
その一部Ｑを取り出すのが含意だと思えば、
⊃ の開いてる向きに納得がいきそうな気がする。