• Infix operator. • xy is by default interpreted as DoubleRightTee[x,y]. • xyz groups as x(yz). • Used in mathematics to indicate various strong forms of logical implication--often tautological implication. • In prefix form, used to indicate a tautology. • See also: \[RightTee] , \[DoubleLeftTee] .
\[DoubleRightTee]
y is by default interpreted as DoubleRightTee[x, y]. 
y 
z groups as x 
(y 
z). 