RightTee

Available

Right tee operator displayed with ⊢ symbol

Forms

RightTee[x, y]

Verified examplesRightTee[x, y] → x ⊢ y

Run this on Qurak Search the reference

Related

DoubleRightTee RightTeeArrow RightTeeVector LeftTee DownTee

All 6300 functions · Use this from an MCP client