記号⊢{\displaystyle\vdash}は、ターンスタイル（turnstile、回転扉）あるいはティー(tee)と呼ばれ、意味的には「生成する」あるいは「証明する」と読まれる。
符号⊢{\displaystyle\vdash}通常被称为十字转门（turnstile）或T型符号（tee），并经常被读做"产生"或"证明"。