ref: e411db788cfc0d0ed54b3c9b9deb15edba7d237a
dir: /auxiliary/doc/single-T.svg/
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <svg xmlns="http://www.w3.org/2000/svg" version="1.1" width="96" height="110"> <path style="fill: none; stroke: black; stroke-width: 2.000000; stroke-linejoin: round; stroke-linecap: round; " d="M 2.000000 105.923042 L 92.000000 53.961521 L 2.000000 2.000000 z" /> <path style="fill: none; stroke: black; stroke-width: 9.000000; stroke-opacity: 0.2; stroke-linejoin: round; stroke-linecap: round; " d="M 11.000000 90.334587 L 38.000000 43.569218 L 21.607695 47.961522 M 38.000000 43.569218 L 42.392305 59.961523 " /> </svg>
