標籤:

聽說因為符號「∵」和所以符號「∴」被國際數學界棄用了,是真的嗎?那用什麼符號來代替了?


想來好像的確好久好久好久沒用這兩個符號了。平時寫數學推導,要麼用文字,要麼用Rightarrow。不同分支會有自己獨特的符號來表示implication。

根據維基上的說法,ecause和 herefore不算數學表達式,而是標點符號,是作為because和therefore的縮略,用在文字推導中的。

而現在都用電腦排版了,不管是Word還是LaTeX,插入這倆符號都比直接打倆單詞麻煩。

=====

需要向Knuth大神解釋一下(見@Clerk Ma的答案),雙箭頭推導符號有時無法避免,比如我最近寫的一段:

consider the following statements:

1. blablablabla

2. dladladladla

3. klaklaklakla

we 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:符號 |