~label, ?label に加えて、 ?$label という新しいラベルを導入した。 ほんとは $label がいいんだけど、そうすると $ を予約記号にせにゃならん。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。