94쪽: 텍의 줄 바꿈 알고리즘, 그까이꺼 대~~~충 이렇다. 줄 바꿈하는 지점 (breakpoints)은 단어들 사이나 하이픈 다음이 되고, 그로 인해 생긴 줄들의 badness는 주어진 \tolerance를 넘지 않도록 한다는 것이 기본 원칙이다. \tolerance를 넘기지 않고는 도저히 줄바꿈을 할 수 없을 때는 overfull 박스를 만들어낸다. \tolerance를 넘기지 않고 줄바꿈을 할 수 있다면, 수학적으로 최적의 방법으로 줄바꿈 위치를 찾아낸다. 주어진 문단에서 여러 개의 줄바꿈 위치를 구해 냈을때 그들이 만들어내는 줄들은 최소한의 결점(demerits)을 갖도록 하는것이지라.

사실 위에서 대충 알아본 줄바꿈 알고리즘은 너무 드문드문 알아본 것이다. 보다 자세히 알아보기 전에 사전 지식을 갖추자. 한 문단이 여러 개의 줄들로 나뉘기 전에, 그 문단은 사실 텍 내부에서는 수평리스트(horizontal list)로 취급된다, 즉, 텍이 수평모드(horizontal mode) 일 때에 긁어 모은 아이템들의 나열이라는 것이다. 그동안 편하게 수평리스트라는 것은 박스(box)들과 글루(glue)로 구성된다고 말해왔다. 이 말이 거짓말은 아니었지만, 좀 무성의한 대답이었다. 진실은 이렇다. 수평리스트를 구성하는 아이템들은 다음 중의 하나이다.

• 박스 (한 문자 혹은 ligature 또는 선 또는 hbox 또는 vbox)
• a discretionary break (이에 대해서는 곧 알아볼 것이다)
• a "whatsit" (나중에 설명할 좀 특별한 것)
• vertical material (\mark 또는 \vadjust 또는 \insert 로 부터의)
• a glob of glue (또는 \leaders)
• a kern (신축성이 없는 글루)
• a penalty (줄바꿈 위치의 바람직하지 않은 정도)
• "math-on"(수식의 시작) 또는 "math-off"(수식의 끝)

마지막 네 종류(glue, kern, penalty, math items)는, 줄바꿈 시점에 변경되거나 사라질 수 있는 것들이어서, 폐기될 수 있는(discardable)이라고 불린다. 이를 제외한 첫번째 네 종류들은 없어질 수 있는 것들이 아니고 언제나 그 형태 그대로 유지하므로 폐기될 수 없는(nondiscardable) 이라고 불린다.

위의 수평리스트들의 아이템에는 어떤 것들이 있고, 그 아이템들은 discardable 한지 아닌지는 알아 둘 필요가 있다. 나중에 요긴하게 쓰일 것이기 때문이다.