Về nghề thầm lặng của việc sắp chữ toán học
Tóm tắt
Trên web, toán học quá thường bị xem là chuyện phụ — một tấm ảnh mờ, một phông chữ chọi lại với phần thân bài, một con số trôi lệch khỏi hàng. Bài luận này lập luận rằng phương trình cũng là văn xuôi, và cho thấy cần những gì để sắp chữ cho đúng: những glyph được kết xuất sẵn, các tham chiếu chéo tự đánh số, và một nguồn chân lý duy nhất được chia sẻ bởi trang giấy và bản in.
Kiểu chữ tốt thì vô hình. Bạn chỉ nhận ra nó qua sự vắng mặt của nó — khi một dòng ngắt tồi, khi một tiêu đề chèn ép phần văn bản bên dưới, khi một phương trình nằm hơi quá thấp và hơi quá nhạt so với đoạn văn mà nó thuộc về. Toán học chịu sự thờ ơ này nhiều hơn hầu hết mọi thứ, bởi trong một thời gian dài web chẳng có cách nào tử tế để sắp chữ cho nó (Bringhurst, 2004).
Điều đó đã thay đổi. Rào cản bây giờ không phải là khả năng mà là kỷ luật: quyết định rằng một phương trình là một câu, và sắp chữ cho nó với cùng sự chăm chút ấy.
Phương trình là văn xuôi
Hãy xét phương trình bị trích dẫn quá nhiều nhất trong vật lý, sự tương đương khối lượng–năng lượng ở Phương trình 1. Trong dòng, hệ thức nên hòa vào nhịp của phông chữ thân bài; đặt thành một khối trưng bày, nó xứng đáng có dòng riêng và một con số mà bạn có thể chỉ tới về sau.
Một con số không phải là đồ trang trí. Nó là một địa chỉ. Khi một đoạn văn về sau nhắc lại Phương trình 1, người đọc phải có thể tìm ra nó mà không cần cuộn tìm một cách mù quáng — và tham chiếu ấy phải tự đánh số lại nếu bản thảo được sắp xếp lại. Làm việc này bằng tay chính là cách sai sót len vào; làm nó trong chuỗi kết xuất chính là cách giữ chúng ở bên ngoài.
Điều tương tự cũng đúng với một người bạn hơi kém quen thuộc hơn một chút, hàm Gauss ở Phương trình 2, mà hằng số chuẩn hóa của nó dễ nhớ nhầm và dễ gõ sai:
Một hình vẽ là một lập luận
Văn xuôi thuyết phục trong một dòng; một hình vẽ thuyết phục chỉ bằng một cái liếc mắt. Hình 1 là một đường xoắn ốc logarit — đường cong mà con ốc anh vũ xấp xỉ theo khi nó lớn lên, và một lời nhắc rằng thứ toán học bền bỉ nhất thường là thứ đỗi thường nhất.
Những hình vẽ, cũng như các phương trình, xứng đáng có con số và chú thích đi kèm cùng chúng. Một chú thích không phải là chuyện phụ gắn tạm bên dưới một tấm ảnh; nó là mảnh văn bản duy nhất mà một người đọc vội vàng chắc chắn sẽ nhìn thấy.
Bảng biểu giữ lấy bằng chứng
Ở nơi một hình vẽ cho thấy hình dạng, một bảng biểu giữ lấy chi tiết. Bảng 1 tập hợp vài phông chữ mà một tài liệu toán học có thể dựa vào, và mỗi phông thầm lặng giỏi ở việc gì.
| Typeface | Vai trò | Thế mạnh |
|---|---|---|
| Source Serif 4 | Văn bản thân bài | Điềm tĩnh, dễ đọc khi dài |
| KaTeX (Computer Modern) | Toán học | Quen thuộc, số đo nhất quán |
| Inter | Tiêu đề, giao diện | Trung tính, sắc nét ở cỡ nhỏ |
Một nguồn chân lý duy nhất
Điểm sâu xa hơn không nằm ở bất kỳ glyph đơn lẻ nào mà ở sự ăn khớp. Màn hình, bản xem trước khi in, và bản PDF tải về đều phải được tạo ra từ cùng một lần kết xuất, nếu không chúng sẽ trôi lệch — và độ lệch luôn lộ ra vào lúc tồi tệ nhất, trong bản sao của một người khác.1
Sự ăn khớp ấy quan trọng đến mức nào trong thực tế? Khi mỗi bề mặt được dựng từ đường kết xuất riêng của nó, những bất đồng nhỏ len vào — một quy tắc khoảng cách ở chỗ này, một sự thay thế glyph ở chỗ kia — và chúng nhân lên khi tài liệu đi từ màn hình tới bản in tới PDF. Một lần kết xuất chung xóa bỏ chúng ngay từ trong cấu trúc:
Hãy sắp chữ toán học một lần, đánh số nó một lần, và để mọi bề mặt đọc từ chính bản mô tả duy nhất ấy. Phần thưởng nhỏ bé mà bền vững: một tài liệu nói cùng một điều dù nó được đọc ở bất cứ đâu.
Tài liệu tham khảo
Footnotes
-
Đây là lý do vì sao chuỗi kết xuất đằng sau trang này chuyển Markdown thành HTML đúng một lần, và đưa chính đầu ra ấy cho cả bản xem web lẫn bản PDF. Knuth đã đưa ra chính lập luận này về TeX bốn thập niên trước (Knuth, 1984); nó vẫn chưa hề cũ. ↩
Bình luận
Chưa có bình luận. Hãy là người đầu tiên phản hồi.