제 전공 분야 논문에서 자주 언급되는 추론 규칙을 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 수직 공백을 무효화 시키는 좋은 방법이 있으신지요?

 

감사합니다!!!