ref: dfca994cf6524c28b027e2331ea91281d835834d
dir: /auxiliary/doc/hats-single-F.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="96" height="171"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 47.000000 88.602539 L 32.000000 62.621773 L 17.000000 71.282028 L 17.000000 88.602539 L 17.000000 105.923042 L 32.000000 114.583298 L 17.000000 140.564056 L 32.000000 166.544815 L 47.000000 157.884567 L 47.000000 140.564056 L 77.000000 140.564056 L 92.000000 114.583298 L 77.000000 105.923042 L 77.000000 88.602539 z" /> <text style="fill: black; font-family: Sans; font-size: 20px; text-anchor: middle; text-align: center; " x="62" y="120.583">0</text> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 77.000000 36.641014 L 92.000000 10.660248 L 77.000000 2.000000 L 62.000000 10.660248 L 47.000000 19.320503 L 47.000000 36.641014 L 17.000000 36.641014 L 2.000000 62.621773 L 17.000000 71.282028 L 32.000000 62.621773 L 47.000000 88.602539 L 77.000000 88.602539 L 77.000000 71.282028 L 92.000000 62.621773 z" /> <text style="fill: black; font-family: Sans; font-size: 20px; text-anchor: middle; text-align: center; " x="62" y="68.6218">1</text> </svg>
