Functions without the Orderless attribute are not rearranged into a canonical order; with it, they are.
In[1]:=
Out[1]=
In[2]:=
In[3]:=
Out[3]=
In[4]:=