[B! latex][proof] OKU_s62のブックマーク

Proof Figure Macros

Proof Figure Mac ros for LaTeX proof.sty (Version 3.1) I, Makoto Tatsuta, have updated my proof figure mac ros proof.sty so that it can be used for not only LaTeX 2.09 but also LaTeX 2e. This package helps you to write proof figures used in mathematical logic easily and beautifully. Many logicians and computer scientists have been using this package since I wrote this package in 1990. Files: proof.s

OKU_s62 2014/07/09

latex
proof

リンク

推論規則をレイアウトする bcprules.sty - EAGLE 雑記

今まで推論規則を書くときは 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 : \mbox{bar}\ \alpha\ \beta }{ \Gamma \vdash t_1 : \mbox{very-long-constructor}\ \alpha & \Gamma \vdas