論駄な日々

１．数学記号
　∴　　　ゆえに、したがって、 結論
　∵　　　なぜならば、なんとなれば、理由・根拠
　≒　　　ほぼ等しい、ニアリーイコール
　≡　　　つねに等しい、合同
　≡に/　つねに等しくない
　∽　　　相似
　∫　　　積分記号、インテグラル、ゆるいＳと思ったら大間違い
　∀　　　任意の

２．論理記号
　≪　　　非常に小
　≫　　　非常に大
　∧　　　且つ、 andと同じ、論理積
　∨　　　または、or、論理和
　￢　　　でない　￢A とは 「A でない」 の意。カギ括弧ではないは、￢「と表記する
　⇒　　　ならば、論理導出
　→　　　ならば、論理導出
　⇔　　　同値命題
　:⇔　　　定義
　:＝　　　定義
　∀　　　全称限量記号 Allzeichen。∀x は「総ての x について」 、 「任意の x について」
　∃　　　存在限量記号 Existenzzeichen。∃xは 「次の性質を満たす x が存在する」

３．省略
　Ex.　　　例　example ( eg. も使われるようだ)
　Pr.　　　証明　proof
　Th.　　　定理　theorem
　cf.　　　比較　Confer　たまにコンパクトフラッシュの意
　Av.　　　平均（値）、average
　v.i.　　　以下参照、下記参照　vide infra下を見よの意
　ibid.　　　前掲書、前記の個所に、同じ個所に、同書に、ibidem
　op.cit　　前掲書中に。opere citato

■参考サイト
・「数学記号あれこれ」　http://www.kyoei-g.ed.jp/teacher/suukenhp/sugiyama/sugih6.htm
・論理記号の読み方と, 集合の記号の読み方　http://phaos.hp.infoseek.co.jp/preparations/symbol.htm
・記号表現　http://ysserve.int-univ.com/Lecture/SetTheory3/settheory01/node3.html