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