DoubleRightTee

Tilgjengelig

Inert operator displayed with the ⊨ symbol

Former

DoubleRightTee[x, y]

Verifiserte eksemplerDoubleRightTee[x, y] → x ⊨ y

Kjør dette på Qurak Søk i referansen

Relatert

RightTee DoubleLeftTee

Alle 6300 funksjoner · Bruk dette fra en MCP-klient