演算機能が未定義の演算子

2+2と入力すると，+が演算子として最初に認識される．結果として式Plus[2, 2]が内部で構築される．次に，Plusについて既知の規則が適用され式が評価され，評価結果4が出力される．

ただ，演算子の中には，演算機能的な意味を持たないものもある．Mathematica には数百に及ぶ補助的な演算子が提供されており，式の構築に使用できるが，デフォルトの評価規則は特に定義されていない．

これらの記号に演算機能を組み込み，ユーザ定義の演算子として使える．

は中置形の演算子として動作可能だが，機能は何も定義されていない．このため，式は評価されない．

Out[1]//FullForm=

StandardFormでは，

は中置形演算子として表示される．

In[2]:=

Out[2]=

に演算機能を定義する．

In[3]:=

今度は，演算子として認識されるだけでなく，実際に式の評価も実行される．

In[4]:=

Out[4]=

xy	CirclePlus[x,y]
xy	TildeTilde[x,y]
xy	Therefore[x,y]
xy	LeftRightArrow[x,y]
x	Del[x]
x	Square[x]
x,y,...	AngleBracket[x,y,...]

演算機能が未定義の1次元形演算子の例

演算子に関連付けられる関数は演算子の名前と同じ名前を持つようになっている．

演算子\[Congruent]を入力すると

と表示される．

In[5]:=

Out[5]=

内部表記を見てみるとCongruentの名前の関数になっている．

In[6]:=

Out[6]//FullForm=

x \[name] y	name[x,y]
\[name] x	name[x]
\[Leftname] x,y,... \[Right name]	name[x,y,...]

演算子と関数名の対応

デフォルトではCirclePlusやCircleTimesの関数には演算機能的な意味付けはされていないが，演算子

および

としては，評価優先度が割り付けられている．「演算子の入力形」の表にMathematica で使える演算子のすべてが優先度順に列記してあるので参照のこと．

と

の評価順序を見てみよう．

より

が優先される．

In[7]:=

Out[7]//FullForm=

x_y	Subscript[x,y]
x₊	SubPlus[x]
x_-	SubMinus[x]
x_*	SubStar[x]
x⁺	SuperPlus[x]
x^-	SuperMinus[x]
x^*	SuperStar[x]
x^†	SuperDagger[x]
	Overscript[x,y]
	Underscript[x,y]
	OverBar[x]
	OverVector[x]
	OverTilde[x]
	OverHat[x]
	OverDot[x]
	UnderBar[x]

演算機能が未定義の2次元形演算子の例

下付き文字指定記号には演算機能としては何も定義されていない．

In[8]:=

Out[8]//InputForm=

普通の上付き文字指定記号はベキ乗の機能があらかじめ定義されている．

In[9]:=

Out[9]//InputForm=

上付き指定記号によってはベキ乗としては認識されないものもある．

In[10]:=

Out[10]//InputForm=

OverBarとOverHatは機能が未定義なので，どんな評価規則でも割り付けられる．

In[11]:=

Out[11]//InputForm=