In[]:=
Needs["Notation`"]
In[]:=
circlePlus[a_,b_]:=2a+b
In[]:=
circlePlus[5,6]
Out[]=
16
In[]:=
Notation⟺
In[]:=
5⊕6
Out[]=
16
In[]:=
6⊕4
Out[]=
16
In[]:=
10⊕1
Out[]=
21
In[]:=
6⊕10
Out[]=
22
In[]:=
Solve[7⊕x14,x]
Out[]=
{{x0}}
In[]:=
Solve[x⊕323,x]
Out[]=
{{x10}}