New Typeset Operators

New operator symbols can be used in input and also appear in typeset output.

In[1]:=

Function[{x, y}, x && y] // TraditionalForm

Out[1]//TraditionalForm=

In[2]:=

Implies[Xnor[a, b], Equivalent[c, d]]

Out[2]=