Pool是tex Pool数据。Tex是唐纳德·克努斯在1978年设计和编写的排版系统。半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半半一半一半一半一半一半一半一半一半一半一半一半......