Operators without Builtin Meanings

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

But not all operators recognized by the Wolfram Language are associated with functions that have builtin meanings. The Wolfram Language 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 Wolfram 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 Wolfram Language operators corresponding to functions without predefined values.

The Wolfram Language 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 the Wolfram Language between operator names and function names.

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

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

Some twodimensional forms without builtin meanings.

Subscripts have no builtin meaning in the Wolfram Language.
Most superscripts are interpreted as powers by default.
A few special superscripts are not interpreted as powers.
Bar and hat are interpreted as OverBar and OverHat.