examples/rule-as-premise.svg

<svg class="typst-doc" viewBox="0 0 162.45602335958003 84.79845669291339" width="162.45602335958003pt" height="84.79845669291339pt" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:h5="http://www.w3.org/1999/xhtml">
    <path class="typst-shape" fill="#ffffff" fill-rule="nonzero" d="M 0 0 L 0 84.798454 L 162.45602 84.798454 L 162.45602 0 Z "/>
    <g>
        <g transform="translate(14.173228346456693 14.173228346456693)">
            <g class="typst-group">
                <g>
                    <g transform="translate(0 0)">
                        <g class="typst-group">
                            <g>
                                <g transform="translate(0 0)">
                                    <g class="typst-group">
                                        <g>
                                            <g transform="translate(0 0)">
                                                <g class="typst-group">
                                                    <g>
                                                        <g transform="translate(0 0)">
                                                            <g class="typst-group">
                                                                <g>
                                                                    <g transform="translate(0 0)">
                                                                        <g class="typst-group">
                                                                            <g>
                                                                                <g transform="translate(0 0)">
                                                                                    <g class="typst-group">
                                                                                        <g>
                                                                                            <g transform="translate(12.544094444444443 0)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 0)">
                                                                                                            <g class="typst-group">
                                                                                                                <g>
                                                                                                                    <g transform="translate(11.665944444444444 0)">
                                                                                                                        <g class="typst-group">
                                                                                                                            <g>
                                                                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#gB0E5357A6D9D3D3505BFA63BDAE5821E" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                                <g transform="translate(8.25 10.23)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#gEBF6A1C2425550FF570FF2F0969630A" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                            </g>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(0 7.513000000000001)">
                                                                                                                        <g class="typst-group">
                                                                                                                            <g>
                                                                                                                                <g transform="translate(0 0)">
                                                                                                                                    <g class="typst-group">
                                                                                                                                        <g>
                                                                                                                                            <g transform="translate(0 4.4)">
                                                                                                                                                <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 36.57919 0 "/>
                                                                                                                                            </g>
                                                                                                                                        </g>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                            </g>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(2 16.313000000000002)">
                                                                                                                        <g class="typst-group">
                                                                                                                            <g>
                                                                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#g7085234F10261EAF6009E1A4D0798F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                                <g transform="translate(7.864999999999998 10.23)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#gEBF6A1C2425550FF570FF2F0969630A" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                                <g transform="translate(15.30674444444444 7.513000000000001)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#g615DA26114274BE6AFFE8657C40BB39" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                                <g transform="translate(25.088188888888887 7.513000000000001)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#gE3A05FCFB391C80AF87FBF7B0A1C6B0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                            </g>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                </g>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(0 23.826)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 0)">
                                                                                                            <g class="typst-group">
                                                                                                                <g>
                                                                                                                    <g transform="translate(0 4.4)">
                                                                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 61.667377 0 "/>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(63.66737777777777 -1.0064999999999995)">
                                                                                                                        <g class="typst-group">
                                                                                                                            <g>
                                                                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                                                                        <use xlink:href="#gC4B8BBC085E56672AB218580D69E17F9" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                                    </g>
                                                                                                                                </g>
                                                                                                                            </g>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                </g>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(2 32.626000000000005)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 0)">
                                                                                                            <g class="typst-group">
                                                                                                                <g>
                                                                                                                    <g transform="translate(0 7.513000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g7085234F10261EAF6009E1A4D0798F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(7.864999999999998 10.23)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#gEBF6A1C2425550FF570FF2F0969630A" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(15.30674444444444 7.513000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g615DA26114274BE6AFFE8657C40BB39" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(25.088188888888887 7.513000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g7085234F10261EAF6009E1A4D0798F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(32.95318888888888 10.23)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g39F5C37F9251C6BBAC985BF1ABD60801" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(40.39493333333333 7.513000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#g615DA26114274BE6AFFE8657C40BB39" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                    <g transform="translate(50.17637777777777 7.513000000000001)">
                                                                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                                                                            <use xlink:href="#gE3A05FCFB391C80AF87FBF7B0A1C6B0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                                        </g>
                                                                                                                    </g>
                                                                                                                </g>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                        </g>
                                                                                    </g>
                                                                                </g>
                                                                            </g>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(86.91737777777777 16.313000000000002)">
                                                                        <g class="typst-group">
                                                                            <g>
                                                                                <g transform="translate(0 0)">
                                                                                    <g class="typst-group">
                                                                                        <g>
                                                                                            <g transform="translate(11.665944444444444 0)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 7.513000000000001)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#gB0E5357A6D9D3D3505BFA63BDAE5821E" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                        <g transform="translate(8.25 10.23)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#g39F5C37F9251C6BBAC985BF1ABD60801" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(0 7.513000000000001)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 0)">
                                                                                                            <g class="typst-group">
                                                                                                                <g>
                                                                                                                    <g transform="translate(0 4.4)">
                                                                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 36.57919 0 "/>
                                                                                                                    </g>
                                                                                                                </g>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                            <g transform="translate(2 16.313000000000002)">
                                                                                                <g class="typst-group">
                                                                                                    <g>
                                                                                                        <g transform="translate(0 7.513000000000001)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#g7085234F10261EAF6009E1A4D0798F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                        <g transform="translate(7.864999999999998 10.23)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#g39F5C37F9251C6BBAC985BF1ABD60801" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                        <g transform="translate(15.30674444444444 7.513000000000001)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#g615DA26114274BE6AFFE8657C40BB39" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                        <g transform="translate(25.088188888888887 7.513000000000001)">
                                                                                                            <g class="typst-text" transform="scale(1, -1)">
                                                                                                                <use xlink:href="#gE3A05FCFB391C80AF87FBF7B0A1C6B0" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                                            </g>
                                                                                                        </g>
                                                                                                        <g transform="translate(25.088188888888887 -1.5950000000000004)">
                                                                                                            <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.528" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 7.491 0 "/>
                                                                                                        </g>
                                                                                                    </g>
                                                                                                </g>
                                                                                            </g>
                                                                                        </g>
                                                                                    </g>
                                                                                </g>
                                                                            </g>
                                                                        </g>
                                                                    </g>
                                                                </g>
                                                            </g>
                                                        </g>
                                                    </g>
                                                </g>
                                            </g>
                                            <g transform="translate(0 40.139)">
                                                <g class="typst-group">
                                                    <g>
                                                        <g transform="translate(0 0)">
                                                            <g class="typst-group">
                                                                <g>
                                                                    <g transform="translate(0 4.4)">
                                                                        <path class="typst-shape" fill="none" stroke="#000000" stroke-width="0.4" stroke-linecap="butt" stroke-linejoin="miter" stroke-miterlimit="4" d="M 0 0 L 123.49657 0 "/>
                                                                    </g>
                                                                    <g transform="translate(125.49656666666665 -1.0064999999999995)">
                                                                        <g class="typst-group">
                                                                            <g>
                                                                                <g transform="translate(0 7.513000000000001)">
                                                                                    <g class="typst-text" transform="scale(1, -1)">
                                                                                        <use xlink:href="#g925D688C8FF10D9060DA3AFA97E9A7F1" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                                    </g>
                                                                                </g>
                                                                            </g>
                                                                        </g>
                                                                    </g>
                                                                </g>
                                                            </g>
                                                        </g>
                                                    </g>
                                                </g>
                                            </g>
                                            <g transform="translate(30.22894444444444 48.93900000000001)">
                                                <g class="typst-group">
                                                    <g>
                                                        <g transform="translate(0 0)">
                                                            <g class="typst-group">
                                                                <g>
                                                                    <g transform="translate(0 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g7085234F10261EAF6009E1A4D0798F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(7.864999999999998 10.23)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#gEBF6A1C2425550FF570FF2F0969630A" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(15.30674444444444 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g615DA26114274BE6AFFE8657C40BB39" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(25.088188888888887 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g7085234F10261EAF6009E1A4D0798F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(32.95318888888888 10.23)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g39F5C37F9251C6BBAC985BF1ABD60801" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(40.39493333333333 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g615DA26114274BE6AFFE8657C40BB39" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(50.17637777777777 7.513000000000001)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g7085234F10261EAF6009E1A4D0798F57" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                    <g transform="translate(58.04137777777777 10.23)">
                                                                        <g class="typst-text" transform="scale(1, -1)">
                                                                            <use xlink:href="#g1D0E66E748CCE5054CAEBFD244672E5D" x="0" fill="#000000" fill-rule="nonzero"/>
                                                                        </g>
                                                                    </g>
                                                                </g>
                                                            </g>
                                                        </g>
                                                    </g>
                                                </g>
                                            </g>
                                        </g>
                                    </g>
                                </g>
                            </g>
                        </g>
                    </g>
                </g>
            </g>
        </g>
    </g>
    <defs id="glyph">
        <symbol id="gB0E5357A6D9D3D3505BFA63BDAE5821E" overflow="visible">
            <path d="M 7.876 0 L 7.876 0.429 L 7.568 0.429 C 7.183 0.429 6.952 0.451 6.875 0.506 C 6.798 0.561 6.754 0.693 6.754 0.891 L 6.754 6.5889997 C 6.754 6.787 6.798 6.919 6.875 6.974 C 6.952 7.029 7.183 7.051 7.568 7.051 L 7.876 7.051 L 7.876 7.48 L 0.363 7.48 L 0.363 7.051 L 0.671 7.051 C 1.056 7.051 1.287 7.029 1.364 6.974 C 1.441 6.919 1.485 6.787 1.485 6.5889997 L 1.485 0.891 C 1.485 0.693 1.441 0.561 1.364 0.506 C 1.287 0.451 1.056 0.429 0.671 0.429 L 0.363 0.429 L 0.363 0 C 0.649 0.022 1.199 0.033 2.002 0.033 C 2.827 0.033 3.377 0.022 3.652 0 L 3.652 0.429 L 3.355 0.429 C 2.97 0.429 2.739 0.451 2.662 0.506 C 2.585 0.561 2.541 0.693 2.541 0.891 L 2.541 7.051 L 5.698 7.051 L 5.698 0.891 C 5.698 0.693 5.654 0.561 5.577 0.506 C 5.5 0.451 5.269 0.429 4.884 0.429 L 4.587 0.429 L 4.587 0 C 4.862 0.022 5.412 0.033 6.226 0.033 C 7.04 0.033 7.59 0.022 7.876 0 Z "/>
        </symbol>
        <symbol id="gEBF6A1C2425550FF570FF2F0969630A" overflow="visible">
            <path d="M 2.3331 5.1128 C 2.002 4.7894 1.5092 4.6277 0.8393 4.6277 L 0.8393 4.2889 C 1.2936 4.2889 1.6554999 4.3582 1.9327 4.4891 L 1.9327 0.6545 C 1.9327 0.55439997 1.925 0.4928 1.9018999 0.462 C 1.8634 0.3773 1.6324 0.3311 1.2089 0.3311 L 0.8932 0.3311 L 0.8932 0 C 0.8932 0 2.2638 0.0308 2.2638 0.0308 C 2.2638 0.0308 3.6421 0 3.6421 0 L 3.6421 0.3311 L 3.3264 0.3311 C 2.9029 0.3311 2.6719 0.3773 2.6257 0.462 C 2.6103 0.4928 2.6026 0.55439997 2.6026 0.6545 L 2.6026 4.8664 C 2.6026 5.0743 2.5718 5.1128 2.3331 5.1128 Z "/>
        </symbol>
        <symbol id="g7085234F10261EAF6009E1A4D0798F57" overflow="visible">
            <path d="M 1.628 2.398 C 1.628 3.806 2.244 5.236 2.937 6.028 C 3.498 6.677 4.466 7.3259997 5.555 7.3259997 C 6.699 7.3259997 7.2599998 6.457 7.2599998 5.269 C 7.2599998 5.17 7.2269998 4.818 7.2269998 4.719 C 7.2269998 4.62 7.2929997 4.565 7.436 4.565 C 7.491 4.565 7.535 4.576 7.568 4.587 C 7.623 4.664 7.656 4.741 7.678 4.818 L 8.36 7.601 C 8.36 7.7 8.305 7.755 8.195 7.755 C 8.151 7.755 8.085 7.711 7.9969997 7.612 L 7.282 6.809 C 6.853 7.436 6.248 7.755 5.467 7.755 C 4.862 7.755 4.268 7.612 3.6629999 7.337 C 2.442 6.765 1.551 5.863 0.979 4.631 C 0.693 4.026 0.55 3.41 0.55 2.783 C 0.55 1.903 0.825 1.188 1.386 0.616 C 1.947 0.044 2.662 -0.242 3.542 -0.242 C 4.411 -0.242 5.203 0.077 5.9179997 0.704 C 6.215 0.957 6.468 1.265 6.677 1.606 C 6.974 2.101 7.128 2.442 7.128 2.651 C 7.128 2.75 7.073 2.805 6.952 2.805 C 6.853 2.805 6.798 2.761 6.776 2.662 C 6.545 1.947 6.182 1.375 5.687 0.968 C 5.06 0.451 4.4 0.187 3.718 0.187 C 2.398 0.187 1.628 1.078 1.628 2.398 Z "/>
        </symbol>
        <symbol id="g615DA26114274BE6AFFE8657C40BB39" overflow="visible">
            <path d="M 3.927 -0.055 L 6.567 6.248 C 6.578 6.281 6.5889997 6.325 6.5889997 6.358 C 6.5889997 6.523 6.501 6.611 6.314 6.611 C 6.204 6.611 6.127 6.5559998 6.083 6.457 L 3.674 0.682 L 1.254 6.457 C 1.21 6.5559998 1.133 6.611 1.023 6.611 C 0.847 6.611 0.693 6.446 0.781 6.248 L 3.421 -0.055 C 3.465 -0.16499999 3.553 -0.22 3.674 -0.22 C 3.795 -0.22 3.883 -0.16499999 3.927 -0.055 Z "/>
        </symbol>
        <symbol id="gE3A05FCFB391C80AF87FBF7B0A1C6B0" overflow="visible">
            <path d="M 5.72 7.337 C 5.72 7.458 5.643 7.513 5.5 7.513 C 5.5 7.513 3.894 7.48 3.894 7.48 C 3.894 7.48 2.453 7.513 2.453 7.513 C 2.288 7.524 2.2 7.436 2.2 7.249 C 2.2 7.172 2.233 7.117 2.299 7.106 C 2.398 7.095 2.486 7.084 2.541 7.084 C 2.882 7.073 3.069 7.051 3.124 7.04 C 3.179 7.029 3.212 6.996 3.212 6.941 C 3.212 6.919 3.201 6.853 3.168 6.743 L 1.716 0.902 C 1.65 0.65999997 1.54 0.517 1.375 0.462 C 1.309 0.44 1.111 0.429 0.77 0.429 C 0.539 0.429 0.429 0.341 0.429 0.16499999 C 0.429 0.055 0.539 0 0.77 0 L 5.797 0 C 6.072 0 6.094 0 6.171 0.20899999 L 7.029 2.563 C 7.062 2.6399999 7.073 2.695 7.073 2.728 C 7.073 2.838 7.018 2.893 6.897 2.893 C 6.787 2.893 6.732 2.794 6.677 2.6399999 C 6.468 2.101 6.27 1.694 6.105 1.441 C 5.698 0.825 5.005 0.429 3.993 0.429 L 2.97 0.429 C 2.849 0.429 2.772 0.429 2.739 0.44 C 2.662 0.44 2.629 0.462 2.629 0.495 C 2.629 0.517 2.651 0.594 2.684 0.737 L 4.147 6.611 C 4.213 6.864 4.356 7.007 4.565 7.062 C 4.631 7.073 4.862 7.084 5.258 7.084 C 5.566 7.084 5.72 7.084 5.72 7.337 Z "/>
        </symbol>
        <symbol id="gC4B8BBC085E56672AB218580D69E17F9" overflow="visible">
            <path d="M 2.596 0 C 2.761 0 2.838 0.088 2.838 0.253 C 2.838 0.352 2.772 0.41799998 2.629 0.429 C 2.31 0.44 2.156 0.55 2.156 0.759 C 2.156 0.858 2.2549999 1.078 2.464 1.408 C 2.761 1.903 2.97 2.266 3.113 2.508 L 5.786 2.508 C 5.786 2.431 5.797 2.277 5.83 2.035 C 5.907 1.232 5.9509997 0.792 5.9509997 0.737 C 5.9509997 0.528 5.709 0.429 5.2139997 0.429 C 5.005 0.429 4.906 0.341 4.906 0.16499999 C 4.906 0.055 4.972 0 5.104 0 C 5.368 0 6.204 0.033 6.468 0.033 C 6.6879997 0.033 7.469 0 7.689 0 C 7.854 0 7.9309998 0.088 7.9309998 0.264 C 7.9309998 0.374 7.832 0.429 7.634 0.429 C 7.3259997 0.429 7.139 0.451 7.084 0.484 C 7.029 0.517 6.985 0.616 6.974 0.781 L 6.314 7.579 C 6.281 7.788 6.292 7.876 6.061 7.876 C 5.929 7.876 5.819 7.81 5.742 7.667 L 1.958 1.3199999 C 1.628 0.77 1.188 0.473 0.649 0.429 C 0.473 0.41799998 0.385 0.32999998 0.385 0.16499999 C 0.385 0.055 0.451 0 0.572 0 C 0.748 0 1.331 0.033 1.507 0.033 C 1.705 0.033 2.387 0 2.596 0 Z M 5.412 6.347 L 5.742 2.937 L 3.377 2.937 Z "/>
        </symbol>
        <symbol id="g39F5C37F9251C6BBAC985BF1ABD60801" overflow="visible">
            <path d="M 0.9163 3.2648 C 1.1626999 3.2648 1.3475 3.4496 1.3475 3.696 C 1.3475 3.9732 1.2012 4.1195 0.9163 4.1272 C 1.0857 4.4891 1.4707 4.7817 1.9712 4.7817 C 2.6488 4.7817 3.0954 4.2735 3.0954 3.5959 C 3.0954 3.2263 2.9645 2.8720999 2.695 2.5256 C 2.5641 2.3485 2.464 2.2253 2.3947 2.156 L 0.5698 0.3465 C 0.4697 0.2541 0.4851 0.231 0.4851 0 L 3.6575 0 L 3.8962 1.4476 L 3.5728 1.4476 C 3.5189 1.0395 3.4573 0.80079997 3.388 0.7469 C 3.3495 0.7238 3.1108 0.7084 2.6565 0.7084 L 1.3475 0.7084 C 1.8634 1.1626999 2.3408 1.5708 2.7951 1.9327 C 3.1416 2.2022 3.388 2.4409 3.542 2.6488 C 3.773 2.9491 3.8885 3.2648 3.8885 3.5959 C 3.8885 4.0733 3.7037 4.4506 3.3264 4.7278 C 2.9953 4.9818997 2.5795 5.1128 2.0867 5.1128 C 1.6632 5.1128 1.3013 4.9896 0.9856 4.7432 C 0.6545 4.4737 0.4851 4.1349 0.4851 3.7191 C 0.4851 3.4573 0.6776 3.2648 0.9163 3.2648 Z "/>
        </symbol>
        <symbol id="g925D688C8FF10D9060DA3AFA97E9A7F1" overflow="visible">
            <path d="M 8.129 5.841 C 8.129 6.402 7.843 6.831 7.282 7.139 C 6.831 7.392 6.292 7.513 5.687 7.513 L 2.585 7.513 C 2.332 7.513 2.222 7.502 2.222 7.249 C 2.222 7.172 2.2549999 7.117 2.321 7.106 C 2.431 7.095 2.519 7.084 2.574 7.084 C 2.904 7.073 3.091 7.051 3.146 7.04 C 3.201 7.029 3.234 6.996 3.234 6.941 C 3.234 6.919 3.223 6.853 3.19 6.743 L 1.738 0.902 C 1.683 0.65999997 1.573 0.506 1.408 0.451 C 1.331 0.429 1.133 0.41799998 0.792 0.41799998 C 0.55 0.41799998 0.451 0.407 0.451 0.16499999 C 0.451 0.044 0.517 -0.011 0.649 0 C 0.649 0 2.013 0.033 2.013 0.033 C 2.013 0.033 3.399 0 3.399 0 C 3.575 -0.011 3.6629999 0.088 3.6629999 0.253 C 3.6629999 0.363 3.542 0.41799998 3.3109999 0.41799998 C 2.871 0.41799998 2.651 0.473 2.651 0.572 C 2.651 0.572 2.662 0.594 2.684 0.748 L 3.388 3.597 L 4.653 3.597 C 5.412 3.597 5.797 3.2779999 5.797 2.651 C 5.797 2.552 5.742 2.31 5.643 1.914 C 5.522 1.452 5.467 1.144 5.467 0.979 C 5.467 0.143 6.116 -0.242 6.952 -0.242 C 7.2599998 -0.242 7.557 -0.099 7.854 0.176 C 8.151 0.451 8.305 0.748 8.305 1.056 C 8.305 1.166 8.25 1.221 8.129 1.221 C 8.052 1.221 7.986 1.166 7.953 1.045 C 7.832 0.704 7.678 0.451 7.502 0.308 C 7.3259997 0.16499999 7.161 0.088 6.996 0.088 C 6.743 0.088 6.611 0.297 6.611 0.704 C 6.611 0.968 6.644 1.375 6.721 1.936 C 6.754 2.167 6.765 2.332 6.765 2.453 C 6.765 3.036 6.457 3.465 5.841 3.729 C 6.875 3.9819999 8.129 4.719 8.129 5.841 Z M 6.699 6.776 C 6.919 6.633 7.029 6.391 7.029 6.05 C 7.029 5.83 6.985 5.577 6.886 5.2799997 C 6.5889997 4.378 5.841 3.927 4.642 3.927 L 3.476 3.927 L 4.169 6.71 C 4.224 6.941 4.312 7.062 4.433 7.073 C 4.488 7.084 4.708 7.084 5.093 7.084 C 5.808 7.084 6.226 7.062 6.699 6.776 Z "/>
        </symbol>
        <symbol id="g1D0E66E748CCE5054CAEBFD244672E5D" overflow="visible">
            <path d="M 2.7181 2.7181 C 3.234 2.9259999 3.7268 3.3803 3.7268 4.0348 C 3.7268 4.3813 3.542 4.6585 3.1801 4.8587 C 2.8798 5.0281 2.541 5.1128 2.1637 5.1128 C 1.7864 5.1128 1.4553 5.0358 1.1704 4.8741 C 0.8239 4.6816 0.6468 4.4121 0.6468 4.0656 C 0.6468 3.773 0.7931 3.6267 1.078 3.6267 C 1.3167 3.6267 1.4938 3.8115 1.4938 4.0502 C 1.4938 4.2889 1.3706 4.4275 1.1319 4.466 C 1.3552 4.7047 1.6863 4.8279 2.1406 4.8279 C 2.6411 4.8279 2.9259999 4.5276 2.9259999 4.0348 C 2.9259999 3.6729 2.8259 3.3803 2.6334 3.1493 C 2.4178 2.8952 2.2638 2.8567 1.8172 2.8259 C 1.6093 2.8105 1.4707 2.8336 1.4707 2.6796 C 1.4707 2.5872 1.5477 2.541 1.694 2.541 L 2.1021 2.541 C 2.7642999 2.541 3.0877 2.0405 3.0877 1.3475 C 3.0877 0.6699 2.7797 0.154 2.1329 0.154 C 1.5708 0.154 1.1626999 0.308 0.9086 0.6237 C 1.1781 0.6545 1.3167 0.8085 1.3167 1.078 C 1.3167 1.3321 1.1242 1.5246 0.8701 1.5246 C 0.5698 1.5246 0.4158 1.3706 0.4158 1.0549 C 0.4158 0.6622 0.616 0.3465 1.0087 0.1232 C 1.3398 -0.0616 1.7171 -0.154 2.1483 -0.154 C 2.618 -0.154 3.0261 -0.0231 3.3803 0.2387 C 3.7653 0.5236 3.9578 0.8932 3.9578 1.3475 C 3.9578 2.0636 3.3341 2.5564 2.7181 2.7181 Z "/>
        </symbol>
    </defs>
</svg>