Operators without Built-in Meanings

When you enter a piece of input such as , Mathematica first recognizes the as an operator and constructs the expression Plus[2, 2], then uses the built-in rules for Plus to evaluate the expression and get the result .

But not all operators recognized by Mathematica are associated with functions that have built-in meanings. Mathematica also supports several hundred additional operators that can be used in constructing expressions, but for which no evaluation rules are initially defined.

You can use these operators as a way to build up your own notation within the Mathematica language.

The is recognized as an infix operator, but has no predefined value.
In[1]:=
Click for copyable input
Out[1]//FullForm=
In StandardForm, prints as an infix operator.
In[2]:=
Click for copyable input
Out[2]=
You can define a value for .
In[3]:=
Click for copyable input
Now is not only recognized as an operator, but can also be evaluated.
In[4]:=
Click for copyable input
Out[4]=
xyCirclePlus[x,y]
xyTildeTilde[x,y]
xyTherefore[x,y]
xyLeftRightArrow[x,y]
xDel[x]
xSquare[x]
x,y,...AngleBracket[x,y,...]

A few Mathematica operators corresponding to functions without predefined values.

Mathematica follows the general convention that the function associated with a particular operator should have the same name as the special character that represents that operator.

is displayed as .
In[5]:=
Click for copyable input
Out[5]=
It corresponds to the function Congruent.
In[6]:=
Click for copyable input
Out[6]//FullForm=
x \[name] yname[x, y]
\name[x]
\[Leftname] x,y,... \[Right name]
name[x, y, ...]

The conventional correspondence in Mathematica between operator names and function names.

You should realize that even though the functions CirclePlus and CircleTimes do not have built-in evaluation rules, the operators and do have built-in precedences. "Operator Input Forms" lists all the operators recognized by Mathematica, in order of their precedence.

The operators and have definite precedences—with higher than .
In[7]:=
Click for copyable input
Out[7]//FullForm=

Some two-dimensional forms without built-in meanings.

Subscripts have no built-in meaning in Mathematica.
In[8]:=
Click for copyable input
Out[8]//InputForm=
Most superscripts are interpreted as powers by default.
In[9]:=
Click for copyable input
Out[9]//InputForm=
A few special superscripts are not interpreted as powers.
In[10]:=
Click for copyable input
Out[10]//InputForm=
Bar and hat are interpreted as OverBar and OverHat.
In[11]:=
Click for copyable input
Out[11]//InputForm=
New to Mathematica? Find your learning path »
Have a question? Ask support »