\newcommand{\jump}[1]{\ensuremath{[\![#1]\!]} } 角カッコを二つ重ねたような記号が数理論理なんかで出てくる。 アレは上のようにして作ればよさげ。名前は知らない。…はてなでは[のペアをそのまま使えないのか。なんと不便な。 Model [[s]] = Vこんなやつ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。