海野秀之(うんのひでゆき)の外部記憶
Twitter (twilog) / RSS / アンテナ / ぶくま
@<m>{}
のなかで {, } を気軽に書きたかったので改造。互換性上、プルリクは無理そうなのがわかったけど、自分はこれが使いたいので勝手に使いつづけよう。
現状の改造版では、次のように書ける。
@<m>{\sigma_{2} = \\{ 5/x \\} \cup \sigma_{1}}
\{
, \}
はカウントされないので、対応とれてない場合に使う。エスケープされて {, } になる。\{
が書きたいときには \\{
と書く必要がある。オプション部分の解析を自前にしたので、一番外側の括弧を選べるようにしてもいいかなとも思ったけど、どっちみち互換性むちゃくちゃなので、ま、凝らなくていいような気がした。
互換性を維持するために、新しいインラインコマンド記法を追加して、その場合には新規の文法が有効になるとかにしないといけないんだな、きっと。
ちなみに、既存の仕様に適応しようかとはおもったのだけど、$ \sigma_{2} = \{ 5/x \} \cup \sigma_{1} $
を得るためにどう書けばいいのか、わかんなかった。