⟦と⟧を数式記法の内部で入力したい
tyama.iconタイトル通り、形式意味論などで外延割り当て関数として使われる ⟦括弧⟧ を数式記法で使いたいです 現時点で数式記法の内部にそのまま入力するとこうなります→$ ⟦a⟧
LaTeX では、stmaryrd というパッケージに \llbracketおよび\rrbracketという名前で入っているようです
→$ \llbracket a \rrbracket
現時点では、数式記法に入ったり出たりして↓のように書くことになります
[- ⟦α⟧ = [$ \lbrack\lambda x : x \in D_{e} .]⟦β⟧(x) =⟦γ⟧(x)=1[$ \rbrack] ]
⟦α⟧ = $ \lbrack\lambda x : x \in D_{e} .⟦β⟧(x) =⟦γ⟧(x)=1$ \rbrack
tyama.icon要望に書くことでもないかもしれませんが、文字装飾記法とアイコン記法である程度解決しました
https://gyazo.com/75a7ed0f4778441e9723d00821cbd094
文字装飾記法は入れ子にできないので下付き文字は無理
$ ⟦a⟧