NotVerticalBar[x, y, ...] displays as x \[NotVerticalBar] y \[NotVerticalBar] ....
Mathematica provides a general mechanism for specifying constraints on patterns. All you need to do is to put /;condition at the end of a pattern to signify that it applies ...
MATHEMATICA HOW TO Tutorials » Sequences of Operations Evaluation See Also » CompoundExpression More About » Language Overview Mathematica Syntax Procedural Programming ...
Unicode: F402. Infix similarity operator. x y is by default interpreted as NotHumpDownHump[x,y].
Unicode: F412. Infix ordering operator. x y is by default interpreted as NotLeftTriangleBar[x,y].
Unicode: F428. Infix ordering operator. x y is by default interpreted as NotNestedGreaterGreater[x,y].
Unicode: F423. Infix ordering operator. x y is by default interpreted as NotNestedLessLess[x,y].
Unicode: F413. Infix ordering operator. x y is by default interpreted as NotRightTriangleBar[x,y].
NotDoubleVerticalBar[x, y, ...] displays as x \[NotDoubleVerticalBar] y \[NotDoubleVerticalBar] ....
NotHumpDownHump[x, y, ...] displays as x \[NotHumpDownHump] y \[NotHumpDownHump] ....