ref: e411db788cfc0d0ed54b3c9b9deb15edba7d237a
dir: /auxiliary/doc/single-H.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="156" height="180"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 2.000000 157.884567 L 32.000000 175.205078 L 152.000000 105.923050 L 152.000000 71.282021 L 32.000000 2.000000 L 2.000000 19.320511 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 32.000000 36.641014 L 77.000000 114.583298 L 81.392305 98.190992 M 77.000000 114.583298 L 60.607695 110.190993 " /> </svg>
