在理工科學習研究中,下自形式邏輯,上至工程製圖我們常常遇到各種記號,這些記號作為形式語言的基本語素,承載著這個世界形而上的意義.然,這些記號的使用卻往往缺乏標準化,導致溝通上的困難與誤解.歐洲,蘇聯與美國等地區各自發展出不同的記號標準,而我們在學習時卻是接受了多套標準的混合,由是煢鴉以 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) 高斯(之)