Q&A 마당은 텍 관련 질문/답변을 위해 만들었습니다.
- 로그인 없이 자유롭게 글을 읽고 쓸 수 있는 철학은 처음과 같이 계속됩니다.
- 질문 전에 아래를 읽어 보세요. 좋은 질문이 좋은 답을 받을 수 있는 좋은 방법입니다.
- 질문에 맞는 제목을 붙이세요. 질문의 내용과 관련없는 "고수님", "긴급질문", "도와주세요"와 같은 제목은 답이 잘 올라오지 않습니다. 이 게시판에 올라오는 모든 글은 질문입니다. 굳이 [질문], [Q]를 적으실 필요도 없습니다.
- 내용을 충실히 적어 주시고, 같은 상황을 재현할 수 있는 최소한의 예제가 같이 있어야 합니다.
- 최소 예제는 "Minimal working example"을 읽어 보세요.
- 파일을 첨부하실 때에는 가능한 압축하여 파일 크기를 줄여서 올려주시길 바랍니다.
- 개인적으로 사용하신 글꼴이 들어 있는 경우, preparefont.sty에 관한 답변을 참조하세요.
- 스팸 글을 막기 위하여 짧은 시간 내에 다시 글이 등록되는 IP를 막거나, 광고 글을 막기 위하여 금지어로 .com, .net 등을 설정하고 있습니다. 다소간의 불편함이 있으시더라도 양해 바랍니다.
- 금지어에서 stackexchange, stackoverflow, ctan, overleaf, , github, google.com, gmail.com, .org, .io, sil.org, wiki.com, tistory.com등은 해제하였습니다.
- MathJax를 이용한 수식조판을 사용하실 수 있습니다. 여기를 참조하세요.
- 사용하는 편집기는 CKeditor입니다.
- 편집기에서 [enter]를 누르면 <p> 태그가 들어가고, 문단으로 생각하고 한 줄을 비웁니다.
- 글줄만 바꾸려면 [shift-enter]를 누르면 <BR> 태그가 들어가므로 용도에 맞게 나누어 쓸 수 있습니다.
- 수식를 문서내에 삽입하시려면 에디터를 툴바에서 [소스]를 눌러 HTML로 입력할 수 있게 바꾸신 후 <pre> </pre> tag를 사용하셔서 <pre> 여러 줄의 수식 </pre>처럼 입력하시면 좋습니다.
lazyswamp
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으로 업데이트 할 수 있습니다.
사소한 내용이지만 메모를 남깁니다.
감사합니다!!