$`\newcommand{\Imp}{\mathop{ =\!\!\triangleright }}
\newcommand{KER}{ \mathrel{\stackrel{\rightharpoonup}{\sim}} } % Kleene Equarity Right
\newcommand{KEL}{ \mathrel{\stackrel{\leftharpoonup}{\sim}} } % Kleene Equarity Left
\newcommand{\leftmapsto}{ \mathrel{\style{display: inline-block; transform: rotate(180deg)}{\mapsto}} }
\newcommand{\DA}[1]{ \mathrel{\diamond{#1}} } % Diamond Arrow
\newcommand{\Q}[1]{``{#1}"}
\newcommand{\entails}{ \mathrel{\models\!\Longrightarrow} }
`$
バンドルとセクション
$`\xymatrix@C+1pc{
X \ar[r]^p
& Y \ar@{~>}@/^1pc/[l]^s
}`$
\xymatrix@C+1pc{ X \ar[r]^p & Y \ar@{~>}@/^1pc/[l]^s }
含意記号と論理順序
$`A \Imp B\\
A \sqsubseteq B
`$
\newcommand{\Imp}{\mathop{ =\!\!\triangleright }}
クリーネ等号
$`A \approx B\\
A \KER B\\
A \KEL B
`$
\newcommand{KER}{ \mathrel{\stackrel{\rightharpoonup}{\sim}} } % Kleene Equarity Right \newcommand{KEL}{ \mathrel{\stackrel{\leftharpoonup}{\sim}} } % Kleene Equarity Left
左へのmapsto
$`f(x) \leftmapsto x`$
\newcommand{\leftmapsto}{ \mathrel{\style{display: inline-block; transform: rotate(180deg)}{\mapsto}} }
ダイアモンド付き矢印
$`A \DA{\to} B\\
A \DA{\leadsto} B
`$
\newcommand{\DA}[1]{ \mathrel{\diamond{#1}} } % Diamond Arrow
ダブルクォート
$`\Q{\text{hello}}
`$
\newcommand{\Q}[1]{``{#1}"}
シーケント
$`A \entails B`$
\newcommand{\entails}{ \mathrel{\models\!\Longrightarrow} }
