Documentation Publicon Reference Special Characters
RightVectorBar
\[RightVectorBar]
• Infix arrow-like operator. • x y is by default interpreted as RightVectorBar[x, y]. • Extensible character.• See also: \[DownRightVectorBar] , \[RightTeeVector] , \[RightArrowBar] .
\[RightVectorBar]
y is by default interpreted as RightVectorBar[x, y]. 