eagletmt https://blog.hatena.ne.jp/eagletmt/ EAGLE 雑記 https://eagletmt.hatenadiary.org/ LaTeX 今まで推論規則を書くときは proof.sty を使っていた． \[ \infer[\mbox{\sc T-App}]{ \Gamma \vdash t_1\ t_2 : \tau_2 }{ \Gamma \vdash t_1 : \tau_1 \rightarrow \tau_2 & \Gamma \vdash t_2 : \tau_1 } \] と書くと のようにレイアウトされる． しかし，前提の部分が長すぎる場合にどう改行してよいのか不明で*1， \[ \infer[\mbox{\sc T-VeryLong}]{ \Gamma \vdash \mbox{foo}\ t_1\ t_2 : … 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Feagletmt.hatenadiary.org%2Fentry%2F20120111%2F1326251578" title=" 推論規則をレイアウトする bcprules.sty - EAGLE 雑記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/e/eagletmt/20120111/20120111115356.jpg Hatena Blog https://hatena.blog 2012-01-11 12:12:58 rich https://eagletmt.hatenadiary.org/entry/20120111/1326251578 1.0 100%