ほんへ
$\vdash$ (\vdash) の逆というかひっくり返したというか左右反転というかの記号であるところの $\dashv$ は \dashv で出る。
使い所さん
- 圏論：随伴関手の文脈で、左随伴$F$と右随伴$G$の関係を$F \dashv G$で表す。
- 数理論理学：推論 $\varphi \vdash \psi$ の逆で使われてる ($\psi \dashv \varphi$) のを一度だけ見たことがある。
経緯
圏論ゼミの資料を$\LaTeX$で作っていたら出し方が分からず、探している内に約2180年経ってしまったので供養。
備考
$\LaTeX$ で左右反転させた記号の命名規則あるある
- 単純に文字列反転（例：
\inと\ni） - 部分的に反転（今回のケース）
- 文意から（例：
\mapstoと\mapsfrom）
※ \mapsfrom は stmaryrd.sty で使える