
DoubleRightTee[x,y]
displays as .


DoubleRightTee 
DoubleRightTee[x,y]
displays as .
Details

- DoubleRightTee[x,y] has no built-in meaning.
is by default interpreted as DoubleRightTee[x,y].
groups as
.
can be entered as \[DoubleRightTee].
Examples
Basic Examples (1)
Tech Notes
History
Introduced in 1996 (3.0)
Text
Wolfram Research (1996), DoubleRightTee, Wolfram Language function, 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_2025_doublerighttee, author="Wolfram Research", title="{DoubleRightTee}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/DoubleRightTee.html}", note=[Accessed: 11-August-2025]}
BibLaTeX
@online{reference.wolfram_2025_doublerighttee, organization={Wolfram Research}, title={DoubleRightTee}, year={1996}, url={https://reference.wolfram.com/language/ref/DoubleRightTee.html}, note=[Accessed: 11-August-2025]}