⊫

See also: Appendix:Variations of "="
⊫ U+22AB, ⊫
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
← ⊪
[U+22AA]
Mathematical Operators ⊬ →
[U+22AC]

Translingual

Description

Double vertical bar double right turnstile.

Symbol

⊫

  1. (mathematics) This term needs a definition. Please help out and add a definition, then remove the text {{rfdef}}.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.