DoubleRightTee

DoubleRightTee[x,y]
displays as .

DetailsDetails

Introduced in 2007
(6.0)