DoubleRightTee 
DoubleRightTee[x,y]
と表示される.
詳細
- DoubleRightTee[x,y] は組込みの意味を持たない.
はデフォルトで DoubleRightTee[x,y]と解釈される.
は
としてグループ化される.
は\[DoubleRightTee]と入力できる.
例題
例 (2)
DoubleRightTee[x, y]タイプセット文字を用いた入力はDoubleRightTee 式を与える:
x⊨y//FullFormテクニカルノート
履歴
1996 で導入 (3.0)
テキスト
Wolfram Research (1996), DoubleRightTee, Wolfram言語関数, https://reference.wolfram.com/language/ref/DoubleRightTee.html.
CMS
Wolfram Language. 1996. "DoubleRightTee." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/DoubleRightTee.html.
APA
Wolfram Language. (1996). DoubleRightTee. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/DoubleRightTee.html
BibTeX
@misc{reference.wolfram_2026_doublerighttee, author="Wolfram Research", title="{DoubleRightTee}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/DoubleRightTee.html}", note=[Accessed: 09-September-2026]}
BibLaTeX
@online{reference.wolfram_2026_doublerighttee, organization={Wolfram Research}, title={DoubleRightTee}, year={1996}, url={https://reference.wolfram.com/language/ref/DoubleRightTee.html}, note=[Accessed: 09-September-2026]}