NotPrecedes

NotPrecedes[x,y,]
displays as x⊀y⊀....

DetailsDetails

Introduced in 1996
(3.0)