Iversonの記法
$ \left[ P \right] = \begin{dcases} 1\quad \mathrm{if}\ P\\0\quad \mathrm{otherwise} \end{dcases}
/takkerでは$ \llbracket P \rrbracketを使っている (後述) 高校のときからよく使ってた
すっごく便利takker.icon*5
領域計算が論理演算だけで完結する！
これはほんとにすごい
$ [k \,\,\mathrm{even}] [k \,\,\mathrm{odd}] [k \,\,\mathrm{prime}] [k \,\, \mathrm{divedes} \,\, n] などの書き方も。
この書き方は知らなかったtakker.icon
bracket $ \lbrack$ \rbrackは別の記号として使うことがよくあり、意外と紛らわしい
代わりにtakker.iconは重複よけとして二重角括弧を主に使っている $ \llbracket P \rrbracket = \begin{dcases} 1\quad \mathrm{if}\ P\\0\quad \mathrm{otherwise} \end{dcases}