此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

A.2.7 运算符的输入形式

非字母形式或结构元素的字母的字符在Mathematica中被当作运算符.Mathematica具有内嵌的法则来解释所有运算符.与这些运算符对应的函数可能具有或不具有内嵌赋值或其它规则.内建意义缺省被定义的情形由下表中 指示给出.
创建二维盒框的运算符(所有盒框的名称都以反斜线符号开头)只能被用在\( ... \)内部.下表给出这些在\( ... \)内的运算符的解释.A.2.9节给出不包含\!时的解释.

在运算符输入形式表中所使用的对象

运算符输入形式,按递减优先排序,第一部分.

运算符输入形式,按递减优先排序,第二部分.

运算符输入形式,按递减优先排序,第三部分.

运算符输入形式,按递减优先排序,第四部分.

运算符输入形式,按递减优先排序,第五部分.

运算符输入形式,按递减优先排序,第六部分.

附加输入形式, 按递减优先排序.

特殊字符

运算符中特殊字符通常具有与所代表函数的名称相对应的名称.因此字符 有名称\[CirclePlus],并得到函数CirclePlus.例外的是\[GreaterSlantEqual], \[LessSlantEqual] 和 \[RoundImplies].
固定匹配运算符中的分隔符具有名称\[LeftName] 和 \[RightName].
A.12.1节给出出现在运算符中特殊字符的一个完整列表.

具有相同解释的键盘字符与特殊字符

具有不同解释的一些键盘字符与特殊字符

输入形式的优先级和排序

输入形式表按优先级降序来组织. 同一盒框中的输入形式具有相同的优先级. 表中每一页以新盒框开始.如2.1.3节中所讨论的,优先级确定在输入表达式中Mathematica的分组方式. 一般来讲,如果 具有比 高的优先级,则 可以被解释为(aCircleTimesb)CirclePlusc)

输入形式的分组

表中的第三列显示单个输入形式或具有相同优先级的几个输入形式多处出现时的分组方式.例如,a/b/c 被分组为
(a/b)/c ("左相关"),而a^b^c被分组为a^(b^c)("右相关").在象a + b + c一样的一个表达式中不需要分组,因为Plus是完全相关的,这由属性Flat表示.

积分算子的优先级

诸如    之类的形式具有仅低于Power的"外"优先级,即如上面表格给出,但"内"优先级仅仅高出  . 外优先级确定 什么时候需要被加上括号;内优先级确定 什么时候需要被加上括号.


\[ContourIntegral], \[ClockwiseContourIntegral] 以及 \[DoubleContourIntegral]与 \[Integral]具有相同功能.
参见 A.2.8 节对与积分运算符相关的二维输入形式的讨论


空格与乘法

Mathematica中的空格代表乘法,这与它们在标准的数学记号中所起的作用一样.此外,Mathematica将相邻且不由空格分离的完整表达式一起相乘.

可供选择的乘法形式

一个表达式可能有多个含义,如x!y 既可能是(x!)*y , 也可能是 x*(!y).前一个解释被选择的原因是FactorialNot具有更高的优先级.
单个输入形式内的空格将被忽略.因而,举例来说,a + b 等价于a+b.常常需要在低优先级运算符周围添加空格以增加可读性.
也可以为某个符号给出一个系数,它优于任何数字序列.(当使用非10进制时,在系数的末尾和符号名称的开头必须存在空格.)

需要注意的情况

避免空格
在一个复合算子如 /., =.GreaterEqual中不同字符之间应注意避免插入任何空格.尽管在某些情况下,这样的空格是允许的,但这些空格很容易产生混淆.
另一种必须避免插入空格的情形是在模式对象x_的字符之间.如果输入 x _, 则Mathematica将把它解释为 x*_, 而不是单一命名的模式对象x_.

类似的,你不应在象x_:value的模式对象内部插入任何空格.

分隔符

分隔符等价于一个普通键盘空格

相关运算符

相关运算符可以被混合使用.类似a > b GreaterEqual c一个表达式可以转换为Inequality[a, Greater, b, GreaterEqual, c],它有效实现计算(a > b) && (b GreaterEqual c). (使用中间Inequality形式的原因是为了避免在类似a > b GreaterEqual c 的输入被处理时对象需要被计算两次.)

文件名

在引用任何文件名的时候,都应该放到符号 <<, >>>>>后.如果文件名只包含数字字符,特殊字符及` , / , . , \ , !, - , _ , : , $ , * , ~?,文件名也可不需要引用符号.同样如果括号内没有空格,制表符或换行符,文件名也可出现在配对的方括号内.但注意没有给出引用符号的文件名后只能是空格,制表符,换行符,或字符 ), ],  以及分号和逗号.