Q&A 마당은 텍 관련 질문/답변과 토론을 위해 만들었습니다.

  • 로그인 없이 자유롭게 글을 읽고 쓸 수 있는 철학은 처음과 같이 계속됩니다.
  • 질문 전에 Minimal working example를 읽어 보세요. 좋은 질문이 좋은 답을 받을 수 있는 좋은 방법입니다.
    • 질문에 맞는 제목을 붙이세요. 예를 들어 "고수님", "긴급질문", "도와주세요"와 같은 제목은 답변이 잘 붙지 않습니다.
    • 질문을 충실히 적어 주시고, 같은 상황을 재현할 수 있는 최소한의 예제가 같이 있어야 합니다.
  • 화일을 첨부하실 때에는 가능한 압축하여 화일크기를 줄여서 올려주시길 바랍니다.
  • 개인적으로 사용하신 글꼴이 들어 있는 경우, preparefont.sty에 관한 답변을 참조하세요.
  • 최근 스팸글의 등록 빈도가 높아 졌습니다. 이를 막기위하여 짧은 시간내에 다시 글이 등록되는 IP를 막거나, 광고글을 막기위하여 금지어로 .com, .net등을 설정하고 있습니다. 다소간의 불편함이 있으시더라도 양해 바랍니다.
  • MathJax를 이용한 수식조판을 사용하실 수 있습니다. 여기를 참조하세요.
  • 사용하는 편집기를 스마트에디터에서 CKeditor로 변경하였습니다. 좋아진 점은 아래와 같습니다.
    • flash를 사용하지 않습니다.
    • 편집기에서 [enter]를 누르면 <p> 태그가 들어가고, 문단으로 생각하고 한줄을 비웁니다. 글줄만 바꾸려면 shift-enter 를 누르시면 <BR>가 들어가므로 용도에 맞게 나누어 쓸 수 있습니다.

tabular와 hline으로 inference rule 만들기

2018.01.25 15:19

lazyswamp 조회 수:125

제 전공 분야 논문에서 자주 언급되는 추론 규칙을 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을 첨부해주세요 [2] nanim 2015.06.23 7315
1941 input 안에 \pgfkeysvalueof{something}의 값을 넣고 싶습니다. [6] Kriss 2018.02.13 71
1940 문장의 글자 사이에 그림 넣기 - 그림을 글자 처럼?? [2] file 라젠카 2018.02.13 36
1939 XeLaTeX 목차 질문입니다. [1] coelus 2018.02.12 51
1938 Fatal error occurred, no output PDF file produced라는 메세지가 뜹니다. [2] 수학과 학생 2018.02.11 55
1937 참조에서 섹션 번호 뒤의 점을 지울 수 있을까요? [5] file Dennis 2018.02.10 51
1936 Texworks 철자 검사(영어) 추가 문의드립니다. [1] 영어사전 2018.02.04 80
1935 Noto Serif CJK KR 글꼴에 뭔가 문제가 있을까요? [12] Dennis 2017.11.28 350
1934 APA스타일 관련 [4] Wool 2018.01.25 206
» tabular와 hline으로 inference rule 만들기 [3] file lazyswamp 2018.01.25 125
1932 .cls 파일에 정의된 이름을 무효화하는 명령어? [10] lazyswamp 2018.01.20 189
1931 \begin{center}와 \centering의 차이 [7] 김준용 2018.01.11 217
1930 어제 올렸던 부분에 대해.. 스타일 관련 질문이 있습니다. [4] file 불량양파 2018.01.19 113
1929 aspect 라는 글자가 안나옵니다. [7] file 불량양파 2018.01.17 145
1928 LaTex 한자 조판 추가 [3] 한자 2018.01.14 188
1927 표 캡션 글꼴 크기 조정 [2] 김준용 2018.01.09 132
1926 algorithmicx package 사용방법 [3] solab 2018.01.05 134
1925 faq sample document의 컴파일 에러 [3] file kotex유저 2018.01.04 169
1924 꼭 한번 봐주세요... [2] file 왕초보 2017.12.21 231
1923 문장속 수식 [1] 블랙스타 2017.12.19 182
1922 본문 여백이 변경되지 않습니다.. [6] 블랙스타 2017.12.18 151



XE Login