{
    "mode": "info",
    "parameter": "pooltype",
    "section": "",
    "url": "https://www.chedong.com/phpMan.php/info/pooltype/json",
    "generated": "2026-11-10T04:31:35Z",
    "sections": {
        "File: web2c.info,  Node: pooltype invocation,  Prev: weave invocation,  Up: WEB": {
            "content": "",
            "subsections": [
                {
                    "name": "9.3 Pooltype: Display WEB pool files",
                    "content": "Pooltype shows the so-called \"string number\" of each string in a WEB\npool file (*note WEB::), as output by Tangle (*note tangle\ninvocation::), including the first 256 strings corresponding to the\npossible input characters.  Pooltype primarily serves as an example of\nWEB conventions to implementors of the TeX system.  Synopsis:\n\npooltype [OPTION]... POOLFILE[.pool]\n\nNo path searching is done for POOLFILE.  Output is to standard output.\n\nThe only options are '--help' and '--version' (*note Common\noptions::).\n\nAs an example of the output, here is the (edited) output for\n'tex.pool':\n0: \"^^@\"\n1: \"^^A\"\n...\n255: \"^^ff\"\n256: \"pool size\"\n...\n1314: \"Using character substitution: \"\n(23617 characters in all.)\n\nIn Metafont and MetaPost, the first 256 characters are actually\nrepresented as single bytes (i.e., themselves), not in the '^^'\nnotation.  Consider Pooltype as showing the results after conversion for\noutput.\n"
                }
            ]
        }
    },
    "flags": [],
    "examples": [],
    "see_also": []
}