ref: 6fb890e0ea20a3c366ffd2de45d26a0c1c454dd6
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>
