二重角括弧
〚〛のこと
入力方法
IME
「を入力して変換候補を探せば出てくるはず
Google日本語入力だと二重大括弧の名称になってる
$ \LaTeX
\lbrack/\rbrackをそれぞれ２つづつ並べ、\!で間を詰めるとそれっぽくなる
$ \lbrack\!\lbrack P \rbrack\!\rbrack
[]でもいい
from 二重かっこの高さを中身に合わせるtexマクロを解読する - よーる
nath.styだと専用のコマンドがあるらしい
from 二重かっこの高さを中身に合わせるtexマクロを解読する - よーる
txfonts.sty/pxfonts.sty/textcomp.styも使えるとのこと
from mizlog: LaTeX for HPSG
Scrapboxだと\llbracket/\rrbracketで書けるみたい
$ \llbracket a \rrbracket
from /forum-jp/⟦と⟧を数式記法の内部で入力したい
#2021-05-20 23:53:09
#2021-01-18 11:41:00