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>처럼 입력하시면 좋습니다.

tabular와 hline으로 inference rule 만들기

2018.01.25 15:19

lazyswamp 조회 수:1337

제 전공 분야 논문에서 자주 언급되는 추론 규칙을 latex으로 작성할 때 

 1) tabular로 추론 규칙의 조건부를 층층히 쌓고

 2) hline으로 결론부와 구분짓는 라인을 그은 다음

 3) 맨 아래 층에 결론부를 작성합니다.

 

\newcommand{\ruleone}[3]{
                        {#1}\begin{tabular}{l}#2\\  \hline \mbox{#3}
                        \end{tabular}}
\newcommand{\ruletwo}[4]{
                        {#1}\begin{tabular}{l}#2\\ #3\\ \hline \mbox{#4}
                        \end{tabular}}

 

모양이 다음과 같이 나옵니다.

 

이렇게 작성하면, 사용하는 클래스 파일(.cls)에서 hline의 수직 공백을 설정하는 경우

그 설정에 따라 위의 추론 규칙의 모양이 보기 싫게 벌어져 버리네요. 

예를 들어 제가 사용하는 클래스 파일에 다음과 같이 hline이 설정되어 있습니다.

\def\hline{% FROM LATEX.LTX
 \noalign{\ifnum0=`}\fi \vskip 6\p@
  \hrule \@height \arrayrulewidth \vskip 6\p@
   \futurelet \reserved@a\@xhline}

추가로, 추론 규칙 이름 (Lam)이나 (App)의 위치가 일관성있게 붙지 않는 것도 보기에 좋지 않습니다.

(Lam)은 hline 바로 옆에 있지만 (App)은 hline보다 조금 위에 있지요.

 

제가 질문드리고 싶은 것은 다음과 같습니다.

 1) 추론 규칙을 작성하는 더 좋은 방법이 있을면 추천 부탁드립니다.

 2) 위의 방법이 최상이라고 생각하시면, 클래스 파일에 설정된 hline 수직 공백을 무효화 시키는 좋은 방법이 있으신지요?

 

감사합니다!!!

 

 

번호 제목 글쓴이 날짜 조회 수
공지 Minimal Working Example을 첨부해주세요 [4] nanim 2015.06.23 229487
2662 자동 줄 바꿈 관련&그래프 고정 [3] file 텍스초보 2022.02.09 607
2661 \end{ } 부분의 오류 문의 [2] jack.p78928 2022.02.07 794
2660 article class에서 Toc section number와 section 간 spacing 조정 [6] jack.p78928 2022.02.07 939
2659 vscode로 텍을 작성할 때 math preview 기능의 문제 [2] vscode 2022.01.30 649
2658 oblivoir에서 tabularray 사용시 버그 [2] file 초보 2022.01.28 618
2657 texlive2021를 설치후 runscript.tlu : 915 에러 [1] file 파랑새 2022.01.27 685
2656 texlive2021 설치 오류 관련입니다. (한글 사용자 이름) [2] file 텍라이브 2022.01.24 611
2655 한글문서를 작성할때의 답은 여전히 oblivoir인가요? [5] ksj 2022.01.17 704
2654 texlive 설치 오류 (한글 사용자 이름) [1] file 텍린이 2022.01.21 619
2653 참고 문헌을 작성할 때 날짜 관련 (accessed on) [1] ㅇㅇ 2022.01.19 804
2652 TeXLive 2021의 TeXworks에서 철자 검사 사용 [6] 이제텍 2022.01.11 708
2651 표에서 & 문제 [6] 하늘여니 2022.01.02 687
2650 ksminitex에서 텍포맷 선택 질문 [5] 텍사랑 2021.12.23 618
2649 itemize나 enumerate 환경에서 줄간 간격에 대한 질문 [3] 서광우 2016.06.29 2202
2648 caption관련 문의드립니다. [2] 무야호 2022.01.02 599
2647 TeXLive를 새로 설치후 fmt (format) 에러가 발생하네요. [1] file 이창섭 2021.12.31 715
2646 error 좀 고쳐주셔요. [1] file 파랑새 2021.12.31 602
2645 혹시 지오지브라에서 3d뽑을줄 아시는분 있나요?? [2] 호호 2021.12.27 608
2644 XeLaTeX에서 한글 폰트를 찾을 수 없습니다. [1] file Blue 2021.12.21 692
2643 wrapfigure caption에 esvect 를 못쓰나요? [1] file 파랑새 2021.12.20 594



XE Login