ref: 6f75879e9fe7cb5dc72c9229d1772e31e4f5c77b
dir: /auxiliary/doc/single-P.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="66" height="180"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 2.000000 175.205093 L 62.000000 140.564087 L 62.000000 2.000000 L 2.000000 36.641037 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 14.000000 88.602562 L 50.000000 88.602554 L 37.999997 76.602557 M 50.000000 88.602554 L 38.000003 100.602557 " /> </svg>
