2006-04-25 PRIMEに感動 http://www.taiyaki.org/prime/ 入力 変換 all ∀ exist ∃ union ∪ intersection ∩ include ∋∈ subset ⊂ superset ⊃ subseteq ⊆ superseteq ⊇ vdash ├ imply → vee*1 ∨ wedge*2 ∧ 一生ついていきます。 *1:\veeの逆ってなんだったっけ *2:k.inabaさんが教えてくださいました