ebproof 패키지에 사용에 대한 간단한 가이드를 이곳에 메모해놓습니다.
ebproof 패키지 최신 버전은 2018년 2월을 기준으로 2.0입니다. texlive를 설치하셨다면
이미 ebproof.sty가 설치되어 있을 것입니다만 혹시 낮은 버전이 설치되어 있는지 확인하시기 바랍니다.
버전이 중요한 이유는, 2.0 버전에서는 다음 latex 문서를 잘 컴파일 되어 첨부 파일과 같이 잘 나옵니다.
\documentclass{article}
\usepackage{ebproof}
\begin{document}
\begin{prooftree}
\hypo{ L \Downarrow_a \lambda^{b}{x}{N} }
\hypo{ M \Downarrow_a W }
\hypo{ N\{W/x\} \Downarrow_b V }
\infer3[Beta]{ L \ M \Downarrow_a V }
\end{prooftree}
\end{document}
저의 textlive 설치 환경의 경우 2016버전이었고 ebproof 패키지 버전이 1.5 (2015년에 완성된 버전)이었습니다.
이 버전에서는 \hypo 대신 \Hypo (h를 H로), \infer 대신 \Infer로 (i를 I로) 작성해야 합니다.
버전이 바뀌면서 ebproof 매크로 이름의 대소문자가 변경된 듯 합니다. ebproof.sty 파일을 열어서 확인해보니까 Hypo나 Infer 매크로 명을 볼 수 있었네요.
texlive manager를 실행해서 ebproof 패키지를 2.0으로 업데이트 할 수 있습니다.
사소한 내용이지만 메모를 남깁니다.
감사합니다!!
KTUG 한국 텍 사용자 그룹
ebproof 패키지에 사용에 대한 간단한 가이드를 이곳에 메모해놓습니다.
ebproof 패키지 최신 버전은 2018년 2월을 기준으로 2.0입니다. texlive를 설치하셨다면
이미 ebproof.sty가 설치되어 있을 것입니다만 혹시 낮은 버전이 설치되어 있는지 확인하시기 바랍니다.
버전이 중요한 이유는, 2.0 버전에서는 다음 latex 문서를 잘 컴파일 되어 첨부 파일과 같이 잘 나옵니다.
\documentclass{article}
\usepackage{ebproof}
\begin{document}
\begin{prooftree}
\hypo{ L \Downarrow_a \lambda^{b}{x}{N} }
\hypo{ M \Downarrow_a W }
\hypo{ N\{W/x\} \Downarrow_b V }
\infer3[Beta]{ L \ M \Downarrow_a V }
\end{prooftree}
\end{document}
저의 textlive 설치 환경의 경우 2016버전이었고 ebproof 패키지 버전이 1.5 (2015년에 완성된 버전)이었습니다.
이 버전에서는 \hypo 대신 \Hypo (h를 H로), \infer 대신 \Infer로 (i를 I로) 작성해야 합니다.
버전이 바뀌면서 ebproof 매크로 이름의 대소문자가 변경된 듯 합니다. ebproof.sty 파일을 열어서 확인해보니까 Hypo나 Infer 매크로 명을 볼 수 있었네요.
texlive manager를 실행해서 ebproof 패키지를 2.0으로 업데이트 할 수 있습니다.
사소한 내용이지만 메모를 남깁니다.
감사합니다!!