在理工科學習研究中,下自形式邏輯,上至工程製圖我們常常遇到各種記號,這些記號作為形式語言的基本語素,承載著這個世界形而上的意義.然,這些記號的使用卻往往缺乏標準化,導致溝通上的困難與誤解.歐洲,蘇聯與美國等地區各自發展出不同的記號標準,而我們在學習時卻是接受了多套標準的混合,由是煢鴉以 ISO 80000 Quantity and units 標準為基礎,整理出一套較為完整的記號標準以供參考.
字體
拉丁字母之字體風格 小寫 lowercase - 大寫 uppercase 黑體 sans-serif - 襯線體 serif - 腳本體 script - 草書體 calligraphic - 花體 fraktur 直體 upright - 義大利體 italic
正常重 normal - 粗體 bold
數學
Script 體用於表示集族而 草書體用於表示函數
| 記號 | 意義 |
|---|---|
| 命题 , 之邏輯與 | |
| nabla 算子, |
通義
針對術語的多譯問題,只擇其一
| 原文 | 意義 | 舊譯 |
|---|---|---|
| essential | 本質~ | 本性~ |
| communte, communtive | 交易,可易 | 交換,對易 |
| vector | 向量 | 矢量 |
| operator | 算子 | 算符 |
| unitary | 幺正 | 酉 |
| rational number | 分數 | 有理數 |
| eigen | 本徵 | 特徵 |
| discrete | 離散 | 分立 |
括号
阵使用方括号表示,为了於组合数(二项式系数)区分和元组进行区分.
漢字
專名
所有人名,以及人名衍生的專有名詞(如定理、引理等),以及所有無法意譯的名詞皆採用原語言直敘.以示尊重.
| 原文 | 通譯 |
|---|---|
| Εὐκλείδης | 欧几里得 |
| Gauß(sche) | 高斯(之) |