2、小于y。x >y表示x大于y。3 < 45 > 4小于，大于序理论≤≥不等号x ≤y表示x小于或等于y。x ≥y表示x大于或等于y。3 ≤ 4；5 ≤ 55 ≥ 4；5 ≥ 5小于等于，大于等于序理论..+加号6+3表示6加3。6+3=9加算术−减号6−3表示6减3。6−3=3减算术负号−3表示3的负数。−(−5)=5负算术补集A − B表示包含所有属于A但不属于B的元素的集合。{1,2,4} − {1,3,4} = {2}减集合论×乘号6×3表示6乘以3。6×3=18乘以算术直积X×Y表示所有第一个
3、元素属于X，第二个元素属于Y的有序对的集合。{1,2}×{3,4}={(1,3),(1,4),(2,3),(2,4)}…和…的直积集合论向量积u×v表示向量u和v的向量积。(1,2,5)×(3,4,−1)=(−22,16,−2)向量积向量代数÷/除号6÷3或6/3表示6除以3或3除6。6÷3=212/4=3除以算术根号表示其平方为x的正数。..…的平方根实数复根号若用极坐标表示复数z=rexp(iφ)（满足-π<φ≤π），则√z=√rexp(iφ/2)。…的平方根复数
4、
5、绝对值
6、x
7、表示实数轴（或复平
8、面）上x和0的距离。
9、3
10、=3,
11、-5
12、=
13、5
14、
15、i
16、=1,
17、3+4i
18、=5…的绝对值数!阶乘n!表示连乘积1×2×…×n。4!=1×2×3×4=24…的阶乘组合论~概率分布X~D表示随机变量X概率分布为D。X~N(0,1)：标准正态分布满足分布统计学⇒→⊃实质蕴涵A⇒B表示A真则B也真；A假则B不定。→可能和⇒一样，或者有下面将提到的函数的意思。⊃可能和⇒一样，或者有下面将提到的父集的意思。x=2 ⇒ x2=4为真，但x2=4 ⇒ x=2一般情况下为假（因为x可以是−2）。推出，若…则…命题逻辑⇔
19、实质等价A ⇔B表示A真则B真，A假则B假。x +5 =y +2 ⇔ x +3 =y..↔当且仅当命题逻辑¬˜逻辑非命题¬A为真当且仅当A为假。将一条斜线穿过一个符号相当于将"¬"放在该符号前面。¬(¬A) ⇔Ax ≠ y ⇔ ¬(x = y)非，不命题逻辑∧逻辑与或交运算若A为真且B为真，则命题A∧B为真；否则为假。n <4 ∧ n >2 ⇔ n =3，当n是自然数与命题逻辑，格理论∨逻辑或或并运算若A或B（或都）为真，则命题A∨B为真；若两者都假则命题为假。n ≥4 ∨ n ≤2 ⇔n
20、≠3，当n是自然数或命题逻辑，格理论⊕⊻异或若A和B刚好有一个为真，则命题A⊕B为真。A⊻B的意义相同。(¬A)⊕A恒为真，A⊕A恒为假。异或命题逻辑，布尔代数∀全称量词∀ x:P(x)表示P(x)对于所有x为真。∀ n ∈N:n2 ≥n对所有；对任意；对任一谓词逻辑∃存在量词∃ x:P(x)表示存在至少一个x使得P(x)为真。∃ n ∈N:n为偶数存在谓词逻辑∃!唯一量词∃! x:P(x)表示有且仅有一个x使得P(x)为真。∃! n ∈N:n +5 =2n存在唯一..谓词逻辑:=≡:⇔定义x :=y或
21、x ≡y表示x定义为y的一个名字（注意：≡也可表示其它意思，例如全等）。P :⇔Q表示P定义为Q的逻辑等价。cosh x :=(1/2)(exp x +exp (−x))A XOR B :⇔(A ∨ B) ∧ ¬(A ∧ B)定义为所有领域{,}集合括号{a,b,c}表示a,b,c组成的集合。N ={0,1,2,…}…的集合集合论{ :}{
22、}集合构造记号{x :P(x)}表示所有满足P(x)的x的集合。{x
23、P(x)}和{x :P(x)}的意义相同。{n ∈N :n2 < 20} ={0,1,2,3
24、,4}满足…的集合集合论∅{}空集∅表示没有元素的集合。{}的意义相同。{n ∈N :1
