聽說因為符號「∵」和所以符號「∴」被國際數學界棄用了,是真的嗎?那用什麼符號來代替了?
02-07
想來好像的確好久好久好久沒用這兩個符號了。平時寫數學推導,要麼用文字,要麼用Rightarrow。不同分支會有自己獨特的符號來表示implication。根據維基上的說法,ecause和 herefore不算數學表達式,而是標點符號,是作為because和therefore的縮略,用在文字推導中的。
而現在都用電腦排版了,不管是Word還是LaTeX,插入這倆符號都比直接打倆單詞麻煩。
=====需要向Knuth大神解釋一下(見@Clerk Ma的答案),雙箭頭推導符號有時無法避免,比如我最近寫的一段:consider the following statements:1. blablablabla
2. dladladladla3. klaklaklaklawe have 1Rightarrow 2Leftrightarrow 3當然,我這最後一行是數學表達式,不是文字。沒看出這問題中的∴還有∵和LaTeX有什麼關係。下面是Donald E. Knuth, Tracy Larrabee和Paul M. Roberts的 Mathematical Writing 中提到過:"3. Don』t use the symbols ∴, ?, ?, ?, ?; replace them by the corresponding words. (Except in works on logic, of course.)"在Unicode中,這些符號都有,在LaTeX中使用Unicode-Math即可使用。
1998年國家標準廢除∵和∴符號,以漢字「因為」,「所以」代之。一些年長的中學教師可能不在意這些,所以繼續沿用。
是真的,用因為和所以來代替,詳見參考文獻。
參考文獻
胡晉賓. 高中新課標數學教材科學性和數學式符號、格式的差錯分析[J]. 編輯學報,2008,20(06):489-490.
國家標準局. 中華人民共和國國家標準物理科學和技術中使用的數學符號.GB3102.11-93[M]. 中國標準出版社, 1993.
推薦閱讀:
TAG:符號 |