算符

基本数学算符

形式
全名
别名
×\[Times]Esc*Esc
÷\[Divide]EscdivEsc
\[Sqrt]EscsqrtEsc
形式
全名
别名
\[Cross]EsccrossEsc
±\[PlusMinus]Esc+-Esc
\[MinusPlus]Esc-+Esc

用于基本的算术和代数的一些算符.

注意,叉积号([Cross] 写得比乘号([Times] 小.

x×yTimes[x,y]乘法
x÷yDivide[x,y]除法
xSqrt[x]平方根
xyCross[x,y]向量叉积
±xPlusMinus[x](无内部含义)
x±yPlusMinus[x,y](无内部含义)
xMinusPlus[x](无内部含义)
xyMinusPlus[x,y](无内部含义)

基本的算术和代数的一些算符的解释.

微积分和代数中的算符

形式
全名
别名
\[Del]EscdelEsc
\[PartialD]EscpdEsc
\[DifferentialD]EscddEsc
\[Sum]EscsumEsc
\[Product]EscprodEsc
形式
全名
别名
\[Integral]EscintEsc
\[ContourIntegral]EsccintEsc
\[DoubleContourIntegral]
\[CounterClockwiseContourIntegral]EsccccintEsc
\[ClockwiseContourIntegral]EscccintEsc

微积分中的算符.

形式
全名
别名
\[Conjugate]EsccoEsc, EscconjEsc
\[Transpose]EsctrEsc
形式
全名
别名
\[ConjugateTranspose]EscctEsc
\[HermitianConjugate]EschcEsc

复数和矩阵的算符.

逻辑和其它联结

形式
全名
别名
\[And]Esc, EscandEsc
\[Or]Esc, EscorEsc
¬\[Not]Esc, EscnotEsc
\[Element]EscelEsc
\[ForAll]EscfaEsc
\[Exists]EscexEsc
\[NotExists]Esc!exEsc
\[Xor]EscxorEsc
\[Nand]EscnandEsc
\[Nor]EscnorEsc
形式
全名
别名
\[Implies]Esc=>Esc
\[RoundImplies]
\[Therefore]EsctfEsc
\[Because]
\[RightTee]
\[LeftTee]
\[DoubleRightTee]
\[DoubleLeftTee]
\[SuchThat]EscstEsc
\[VerticalSeparator]Esc|Esc
\[Colon]Esc:Esc

用于逻辑联结的算符.

算符 对应于内部函数 AndOrNot,且等价于键盘算符 . 算符 对应于内部函数 XorNandNor. 注意 是前缀算符.

都给出内部函数 Implies[x,y]. 给出内部函数 Element[x,y].

这里使用内部函数 AndImplies.
In[1]:=
Click for copyable input
Out[1]=

Wolfram 语言支持数学逻辑中使用的大多数标准语法. 然而,在 Wolfram 语言中,出现在量词 后面的变量必须作为下标. 如果它们直接出现在量词符号后面,则可能与乘法运算混淆.

是像 一样的前缀算符.
In[2]:=
Click for copyable input
Out[2]//FullForm=

表示行为的算符

形式
全名
别名
\[SmallCircle]EscscEsc
\[CirclePlus]Escc+Esc
\[CircleMinus]Escc-Esc
\[CircleTimes]Escc*Esc
\[CircleDot]Escc.Esc
\[Diamond]EscdiaEsc
·\[CenterDot]Esc.Esc
\[Star]EscstarEsc
\[VerticalTilde]
\[Backslash]Esc\Esc
形式
全名
别名
\[Wedge]Esc^Esc
\[Vee]EscvEsc
\[Union]EscunEsc
\[UnionPlus]
\[Intersection]EscinterEsc
\[SquareIntersection]
\[SquareUnion]
\[Coproduct]EsccoprodEsc
\[Cap]
\[Cup]
\[Square]EscsqEsc

表示行为的典型算符. 除 [Square] 外,所有算符是中缀.

按照 Wolfram 语言的通常惯例,上述表中的所有算符解释为给出名为出现在算符中的字符名的函数.

这些算符被解释为具有对应名称的函数.
In[3]:=
Click for copyable input
Out[3]//FullForm=

上述表中的所有算符,除 都是中缀,所以它们必须出现在运算量之间.

括号算符

形式
全名
别名
\[LeftFloor]EsclfEsc
\[RightFloor]EscrfEsc
\[LeftCeiling]EsclcEsc
\[RightCeiling]EscrcEsc
\[LeftDoubleBracket]Esc[[Esc
\[RightDoubleBracket]Esc]]Esc
形式
全名
别名
\[LeftAngleBracket]Esc<Esc
\[RightAngleBracket]Esc>Esc
\[LeftBracketingBar]Escl|Esc
\[RightBracketingBar]Escr|Esc
\[LeftDoubleBracketingBar]Escl||Esc
\[RightDoubleBracketingBar]Escr||Esc

作为括号算符使用的字符.

xFloor[x]
xCeiling[x]
mi,j,Part[m,i,j,]
x,y,AngleBracket[x,y,]
x,y,BracketingBar[x,y,]
x,y,DoubleBracketingBar[x,y,]

括号算符的解释.

表示关系的算符

形式
全名
别名
\[Equal]Esc==Esc
\[LongEqual]Escl=Esc
\[Congruent]Esc===Esc
\[Tilde]EscEsc
\[TildeTilde]EscEsc
\[TildeEqual]Esc=Esc
\[TildeFullEqual]Esc==Esc
\[EqualTilde]EscEsc
\[HumpEqual]Esch=Esc
\[HumpDownHump]
\[CupCap]
\[DotEqual]
形式
全名
别名
\[NotEqual]Esc!=Esc
\[NotCongruent]Esc!===Esc
\[NotTilde]EscEsc
\[NotTildeTilde]EscEsc
\[NotTildeEqual]Esc=Esc
\[NotTildeFullEqual]Esc==Esc
\[NotEqualTilde]EscEsc
\[NotHumpEqual]Esc!h=Esc
\[NotHumpDownHump]
\[NotCupCap]
\[Proportional]EscpropEsc
\[Proportion]

通常用来表示类似性或等价的算符.

特殊字符 (或 [Equal]) 的另一种形式.  可用于输入和输出.
In[4]:=
Click for copyable input
Out[4]=

通常用来大小序的算符.

形式
全名
别名
\[Subset]EscsubEsc
\[Superset]EscsupEsc
\[SubsetEqual]Escsub=Esc
\[SupersetEqual]Escsup=Esc
\[Element]EscelEsc
\[ReverseElement]EscmemEsc
形式
全名
别名
\[NotSubset]Esc!subEsc
\[NotSuperset]Esc!supEsc
\[NotSubsetEqual]Esc!sub=Esc
\[NotSupersetEqual]Esc!sup=Esc
\[NotElement]Esc!elEsc
\[NotReverseElement]Esc!memEsc

用作集合关系的算符.

通常用来其它序关系的算符.

形式
全名
别名
\[VerticalBar]Esc|Esc
\[DoubleVerticalBar]Esc||Esc
形式
全名
别名
\[NotVerticalBar]Esc!|Esc
\[NotDoubleVerticalBar]Esc!||Esc

基于竖直棒的关系算符.

基于箭头和向量的算符

基于箭头的算符常用于纯数和其它领域中来表示各种变换.

等价于 .
In[5]:=
Click for copyable input
Out[5]=
形式
全名
别名
\[Rule]Esc->Esc
\[RuleDelayed]Esc:>Esc
形式
全名
别名
\[Implies]Esc=>Esc
\[RoundImplies]

Wolfram 语言中具有内部含义的类箭头算符.

普通箭头.

向量及其相关箭头.

Wolfram 语言中所有箭头和类向量算符都是中缀.
In[6]:=
Click for copyable input
Out[6]=
形式
全名
别名
\[RightTee]EscrTEsc
\[LeftTee]EsclTEsc
\[UpTee]EscuTEsc
\[DownTee]EscdTEsc
形式
全名
\[DoubleRightTee]
\[DoubleLeftTee]

T型字符.