DoubleRightTee

Available

Inert operator displayed with the ⊨ symbol

Forms

DoubleRightTee[x, y]

Verified examplesDoubleRightTee[x, y] → x ⊨ y

Run this on Qurak Search the reference

Related

RightTee DoubleLeftTee

All 6300 functions · Use this from an MCP client