⊢
#Fleeting_Notes
⊢(ターンスタイル、turnstile)
シーケント計算
、
自然演繹
あたりから使われる記号
〜を証明する
UTF-8
だとRIGHT TACK(U+22A2)
確認用
Q. 論理学での⊢の意味
参考
ターンスタイルって知っている？ - 檜山正幸のキマイラ飼育記 (はてなBlog)
“⊢” U+22A2 Right Tack Unicode Character
関連
⊨
メモ
型理論のコロン、ターンスタイル、カンマ - 檜山正幸のキマイラ飼育記 (はてなBlog)
追記： ターンスタイルのオーバーロードの弊害 - 檜山正幸のキマイラ飼育記 (はてなBlog)
調査用
Google.icon
⊢(日)
Google.icon
Turnstile ⊢(英)
Google.icon
Turnstile(英)
Wikipedia.icon
⊢ - Wikipedia(日)
⊢(検索) - Wikipedia(日)
Wikipedia.icon
Turnstile - Wikipedia(英)
Turnstile(検索) - Wikipedia(英)