텍이 사용하는 256개의 문자들 각각은 \uccode, \lccode라 불리는 두개의 값을 가지고 있습니다. 그리고 그 두개의 값은 \catcode에 의해서 그 문자의 catcode가 바뀌는 것처럼 \uppercase 혹은 \lowercase에 의해서 \uccode, \lccode의 값을 변경시킬 수 있습니다.

문자는 (문자코드, 카테고리코드)의 쌍으로 이루어져 있다고 합니다. 예를들어 소문자 알파벳 "b"의 문자코드 98이고 카테고리코드는 11입니다. b=(98,11). 그리고 INITEX이 시작할때, 알파벳 대소문자 52자를 제외하고는 \uccode 와 \lccode의 값은 모두 0입니다. a~z와 A~Z의 \uccode는 A~Z이고, \lccode는 a~z입니다.

\uppercase가 하는 일은 주어진 문자토큰의 문자코드를 그 문자코드의 \uccode 값으로 바꾸는 일을 합니다. 예를들면, 소문자 b=(문자코드, 카테고리코드)=(98, 11)입니다. 그런데 \uppercase{b} 하면 b의 문자코드가 b의 \uccode인 B로 바뀌므로 (66,11)이 되고 따라서 대문자 B로 보이게 됩니다.

여기서 눈여겨 봐야 할 것은 \uppercase에 의해서 문자의 문자코드만 바뀌었지, 카테고리코드는 바뀌지 않는다는 것을 알 수 있습니다. 이러한 특성을 이용하면 대단히 재미있는 것을 할 수 있습니다.

\uccode`1=`b \uppercase{1}

위에서 "1"의 \uccode를 "b"로 했습니다. 따라서 \uppercase{1} 하면 "b"가 되는데, 재미있는 것은 위 과정을 통해서 만들어진, 우리 눈에 보이는 소문자 "b"의 카테고리코드는 11이 아닌, 원래 "1"의 그것인 12라는 점입니다.

{\uccode‘1=‘i \uccode‘2=‘f \uppercase{\gdef\if@12{} }} % ‘if’ is required

위 과정을 통해서 우리눈에 보이는 \if@if 에서 뒤의 "if"의 카테고리코드는 12가 됩니다. 왜냐하면 숫자 1과 2의 카테고리코드가 12이기 때문입니다. 그렇다면 위에서 정의한 \if@ 매크로가 하는 일은 카테고리코드 12인 문자 "if"를 잡아먹는 일을 합니다. 그렇다면, 이제는 모든 것이 명확해 졌습니다.

\def\@if#1#2{\csname\expandafter\if@\string#1#2\endcsname}

위에서 #1을 \iffoo, #2를 true라고 합시다. 그러면 \string\iffoo에 의해서 \,i,f,f,o,o의 카테고리코드가 모두 12가 되고, 더구나 \newif 매크로의 첫부분에 \escapechar=-1에 의해서 "\"는 출력되지 않습니다. 따라서 "\@if \iffoo true"는 "\csname footrue \endcsname"이 되는 것입니다. \if@ 가 \ 가 빠진 iffoo에서 앞의 if를 먹어버렸습니다. 그래서 footrue만 남았습니다. 그리고 "\csname footrue \endcsname"는 \footrue와 똑같은 것이지요. 이제 \newif 매크로를 다시 한번 살펴보세요.

이상의 내용은 TeXbyTopic의 13.6절에서 한 수 배운 내용입니다. 텍북에서 막히는 것은 텍바이토픽이 너무도 명확하고 간결하게 해결해줍니다. 정말 멋진 책이 아닐 수 없습니다. 훌륭한 책 덕분에 궁금증을 너무 쉽게 해결한 것 같아서 좀 아쉽기는 합니다.