ref: 6db5cdadd09fad0c8373e32dcfc7ab5b8bcb74e6
dir: /auxiliary/doc/hats-single-H.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="171" height="188"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 62.000000 157.884567 L 92.000000 157.884567 L 92.000000 140.564056 L 77.000000 131.903809 L 62.000000 123.243553 L 47.000000 131.903809 L 32.000000 105.923050 L 2.000000 105.923050 L 2.000000 123.243553 L 17.000000 131.903809 L 2.000000 157.884567 L 17.000000 183.865326 L 32.000000 175.205078 L 47.000000 183.865326 z" /> <text style="fill: black; font-family: Sans; font-size: 20px; text-anchor: middle; text-align: center; " x="32" y="163.885">0</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 92.000000 105.923050 L 77.000000 131.903809 L 92.000000 140.564056 L 107.000000 131.903809 L 122.000000 123.243553 L 122.000000 105.923050 L 152.000000 105.923050 L 167.000000 79.942284 L 152.000000 71.282021 L 137.000000 79.942284 L 122.000000 53.961525 L 92.000000 53.961525 L 92.000000 71.282021 L 77.000000 79.942284 z" /> <text style="fill: black; font-family: Sans; font-size: 20px; text-anchor: middle; text-align: center; " x="107" y="85.9423">1</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 62.000000 53.961525 L 92.000000 53.961525 L 92.000000 36.641014 L 77.000000 27.980759 L 62.000000 19.320511 L 47.000000 27.980759 L 32.000000 2.000000 L 2.000000 2.000000 L 2.000000 19.320511 L 17.000000 27.980759 L 2.000000 53.961525 L 17.000000 79.942284 L 32.000000 71.282021 L 47.000000 79.942284 z" /> <text style="fill: black; font-family: Sans; font-size: 20px; text-anchor: middle; text-align: center; " x="32" y="59.9615">2</text> <path style="fill: rgba(0,0,0,0.2); stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 47.000000 131.903809 L 62.000000 123.243553 L 77.000000 131.903809 L 92.000000 105.923050 L 77.000000 79.942284 L 92.000000 71.282021 L 92.000000 53.961525 L 62.000000 53.961525 L 47.000000 79.942284 L 32.000000 71.282021 L 17.000000 79.942284 L 2.000000 88.602539 L 2.000000 105.923050 L 32.000000 105.923050 z" /> <text style="fill: black; font-family: Sans; font-size: 20px; text-anchor: middle; text-align: center; " x="62" y="111.923">3</text> </svg>
