Ông đề cập trong lời nói đầu rằng các chương trình tham chiếu là trong Haskell. Định dạng là LaTeX nên có vẻ hơi lạ.
Tôi đã thực hiện thêm một số hoạt động đào và hóa ra ký hiệu toán học được sử dụng được gọi là " Ký hiệu Z " sau ký hiệu lý thuyết Zermelo Muff Fraenkel. Đây là một hướng dẫn , PDF là liên kết thứ hai trong danh sách. Ký hiệu này là một phần của loại ký hiệu rộng hơn gọi là Mã Pidgin :
Trong lập trình máy tính, mã pidgin là hỗn hợp của một số ngôn ngữ lập trình trong cùng một chương trình, hoặc mã giả là hỗn hợp của ngôn ngữ lập trình với các mô tả ngôn ngữ tự nhiên. Do đó tên: hỗn hợp là một ngôn ngữ lập trình tương tự như pidgin trong ngôn ngữ tự nhiên.
Trong tính toán số, mã giả kiểu toán học đôi khi được gọi là mã pidgin, ví dụ pidgin ALGOL (nguồn gốc của khái niệm), pidgin Fortran, pidgin BASIC, pidgin Pascal và pidgin C. Đây là một ký hiệu nhỏ gọn và thường không chính thức được pha trộn từ một ngôn ngữ lập trình thông thường với ký hiệu toán học, thường sử dụng lý thuyết tập hợp và các phép toán ma trận, và có lẽ cả các mô tả ngôn ngữ tự nhiên.
Nó có thể được hiểu bởi một loạt những người được đào tạo toán học và được sử dụng như một cách để mô tả các thuật toán trong đó cấu trúc điều khiển được làm rõ ràng ở mức độ chi tiết khá cao, trong khi một số cấu trúc dữ liệu vẫn còn ở mức trừu tượng, độc lập của bất kỳ ngôn ngữ lập trình cụ thể.
Thông thường việc sắp chữ không phải ASCII được sử dụng cho các phương trình toán học, ví dụ như bằng phương pháp đánh dấu TeX hoặc MathML hoặc các định dạng trình soạn thảo Công thức độc quyền.