docs/tex/156a3468a3470b730729808acf0d6f83.svg

<ns0:svg xmlns:ns0="http://www.w3.org/2000/svg" xmlns:ns1="http://www.w3.org/1999/xlink" height="12.840736000000007pt" readme2tex:offset="1.9371819999999964" version="1.1" viewBox="-52.07469 -68.457717 54.397960999999995 12.840736000000007" width="54.397960999999995pt" xmlns:readme2tex="http://github.com/leegao/readme2tex/">
<ns0:defs>
<ns0:path d="M2.30137 -3.496887C2.351183 -3.706102 2.450809 -4.084682 2.450809 -4.134496C2.450809 -4.303861 2.331258 -4.403487 2.161893 -4.403487C2.132005 -4.403487 1.853051 -4.393524 1.763387 -4.044832L0.328767 1.723537C0.298879 1.843088 0.298879 1.863014 0.298879 1.882939C0.298879 2.032379 0.408468 2.15193 0.577833 2.15193C0.787049 2.15193 0.9066 1.972603 0.926526 1.942715C0.966376 1.853051 1.09589 1.334994 1.474471 -0.199253C1.793275 0.069738 2.241594 0.109589 2.440847 0.109589C3.138232 0.109589 3.526775 -0.33873 3.765878 -0.617684C3.855542 -0.169365 4.224159 0.109589 4.662516 0.109589C5.011208 0.109589 5.240349 -0.119552 5.399751 -0.438356C5.569116 -0.797011 5.69863 -1.404732 5.69863 -1.424658C5.69863 -1.524284 5.608966 -1.524284 5.579078 -1.524284C5.479452 -1.524284 5.469489 -1.484433 5.439601 -1.344956C5.270237 -0.697385 5.090909 -0.109589 4.682441 -0.109589C4.41345 -0.109589 4.383562 -0.368618 4.383562 -0.56787C4.383562 -0.787049 4.503113 -1.255293 4.582814 -1.603985L4.861768 -2.67995C4.891656 -2.82939 4.991283 -3.20797 5.031133 -3.35741C5.080946 -3.58655 5.180573 -3.965131 5.180573 -4.024907C5.180573 -4.204234 5.041096 -4.293898 4.891656 -4.293898C4.841843 -4.293898 4.582814 -4.283935 4.503113 -3.945205L4.034869 -2.082192C3.915318 -1.58406 3.805729 -1.165629 3.775841 -1.066002C3.765878 -1.016189 3.287671 -0.109589 2.480697 -0.109589C1.982565 -0.109589 1.743462 -0.438356 1.743462 -0.976339C1.743462 -1.265255 1.8132 -1.544209 1.882939 -1.823163L2.30137 -3.496887Z" id="g0-22" />
<ns0:path d="M2.022416 -0.009963C2.022416 -0.667497 1.77335 -1.05604 1.384807 -1.05604C1.05604 -1.05604 0.856787 -0.806974 0.856787 -0.52802C0.856787 -0.259029 1.05604 0 1.384807 0C1.504359 0 1.633873 -0.039851 1.733499 -0.129514C1.763387 -0.14944 1.77335 -0.159402 1.783313 -0.159402S1.803238 -0.14944 1.803238 -0.009963C1.803238 0.727273 1.454545 1.325031 1.125778 1.653798C1.016189 1.763387 1.016189 1.783313 1.016189 1.8132C1.016189 1.882939 1.066002 1.92279 1.115816 1.92279C1.225405 1.92279 2.022416 1.155666 2.022416 -0.009963Z" id="g0-59" />
<ns0:path d="M3.895392 -3.726027C3.616438 -3.716065 3.417186 -3.496887 3.417186 -3.277709C3.417186 -3.138232 3.506849 -2.988792 3.726027 -2.988792S4.184309 -3.158157 4.184309 -3.5467C4.184309 -3.995019 3.755915 -4.403487 2.998755 -4.403487C1.683686 -4.403487 1.315068 -3.387298 1.315068 -2.948941C1.315068 -2.171856 2.052304 -2.022416 2.34122 -1.96264C2.859278 -1.863014 3.377335 -1.753425 3.377335 -1.205479C3.377335 -0.946451 3.148194 -0.109589 1.952677 -0.109589C1.8132 -0.109589 1.046077 -0.109589 0.816936 -0.637609C1.195517 -0.587796 1.444583 -0.886675 1.444583 -1.165629C1.444583 -1.39477 1.285181 -1.514321 1.075965 -1.514321C0.816936 -1.514321 0.518057 -1.305106 0.518057 -0.856787C0.518057 -0.288917 1.085928 0.109589 1.942715 0.109589C3.556663 0.109589 3.945205 -1.09589 3.945205 -1.544209C3.945205 -1.902864 3.755915 -2.15193 3.636364 -2.271482C3.367372 -2.550436 3.078456 -2.600249 2.6401 -2.689913C2.281445 -2.769614 1.882939 -2.839352 1.882939 -3.287671C1.882939 -3.576588 2.122042 -4.184309 2.998755 -4.184309C3.247821 -4.184309 3.745953 -4.11457 3.895392 -3.726027Z" id="g0-115" />
<ns0:path d="M4.582814 -3.188045C4.582814 -3.985056 4.533001 -4.782067 4.184309 -5.519303C3.726027 -6.475716 2.909091 -6.635118 2.49066 -6.635118C1.892902 -6.635118 1.165629 -6.37609 0.757161 -5.449564C0.438356 -4.762142 0.388543 -3.985056 0.388543 -3.188045C0.388543 -2.440847 0.428394 -1.544209 0.836862 -0.787049C1.265255 0.019925 1.992528 0.219178 2.480697 0.219178C3.01868 0.219178 3.775841 0.009963 4.214197 -0.936488C4.533001 -1.62391 4.582814 -2.400996 4.582814 -3.188045ZM2.480697 0C2.092154 0 1.504359 -0.249066 1.325031 -1.205479C1.215442 -1.803238 1.215442 -2.719801 1.215442 -3.307597C1.215442 -3.945205 1.215442 -4.60274 1.295143 -5.140722C1.484433 -6.326276 2.231631 -6.41594 2.480697 -6.41594C2.809465 -6.41594 3.466999 -6.236613 3.656289 -5.250311C3.755915 -4.692403 3.755915 -3.935243 3.755915 -3.307597C3.755915 -2.560399 3.755915 -1.882939 3.646326 -1.24533C3.496887 -0.298879 2.929016 0 2.480697 0Z" id="g1-48" />
<ns0:path d="M1.265255 -0.767123L2.321295 -1.793275C3.875467 -3.16812 4.473225 -3.706102 4.473225 -4.702366C4.473225 -5.838107 3.576588 -6.635118 2.361146 -6.635118C1.235367 -6.635118 0.498132 -5.718555 0.498132 -4.83188C0.498132 -4.273973 0.996264 -4.273973 1.026152 -4.273973C1.195517 -4.273973 1.544209 -4.393524 1.544209 -4.801993C1.544209 -5.061021 1.364882 -5.32005 1.016189 -5.32005C0.936488 -5.32005 0.916563 -5.32005 0.886675 -5.310087C1.115816 -5.957659 1.653798 -6.326276 2.231631 -6.326276C3.138232 -6.326276 3.566625 -5.519303 3.566625 -4.702366C3.566625 -3.905355 3.068493 -3.118306 2.520548 -2.500623L0.607721 -0.368618C0.498132 -0.259029 0.498132 -0.239103 0.498132 0H4.194271L4.473225 -1.733499H4.224159C4.174346 -1.43462 4.104608 -0.996264 4.004981 -0.846824C3.935243 -0.767123 3.277709 -0.767123 3.058531 -0.767123H1.265255Z" id="g1-50" />
<ns0:path d="M3.317559 -0.757161C3.35741 -0.358655 3.626401 0.059776 4.094645 0.059776C4.303861 0.059776 4.911582 -0.079701 4.911582 -0.886675V-1.444583H4.662516V-0.886675C4.662516 -0.308842 4.41345 -0.249066 4.303861 -0.249066C3.975093 -0.249066 3.935243 -0.697385 3.935243 -0.747198V-2.739726C3.935243 -3.158157 3.935243 -3.5467 3.576588 -3.915318C3.188045 -4.303861 2.689913 -4.463263 2.211706 -4.463263C1.39477 -4.463263 0.707347 -3.995019 0.707347 -3.337484C0.707347 -3.038605 0.9066 -2.86924 1.165629 -2.86924C1.444583 -2.86924 1.62391 -3.068493 1.62391 -3.327522C1.62391 -3.447073 1.574097 -3.775841 1.115816 -3.785803C1.384807 -4.134496 1.872976 -4.244085 2.191781 -4.244085C2.67995 -4.244085 3.247821 -3.855542 3.247821 -2.968867V-2.600249C2.739726 -2.570361 2.042341 -2.540473 1.414695 -2.241594C0.667497 -1.902864 0.418431 -1.384807 0.418431 -0.946451C0.418431 -0.139477 1.384807 0.109589 2.012453 0.109589C2.669988 0.109589 3.128269 -0.288917 3.317559 -0.757161ZM3.247821 -2.391034V-1.39477C3.247821 -0.448319 2.530511 -0.109589 2.082192 -0.109589C1.594022 -0.109589 1.185554 -0.458281 1.185554 -0.956413C1.185554 -1.504359 1.603985 -2.331258 3.247821 -2.391034Z" id="g1-97" />
</ns0:defs>
<ns0:g fill-opacity="0.9" id="page1">
<ns0:use x="-52.07469" y="-62.037349" ns1:href="#g1-50" />
<ns0:use x="-47.093351" y="-62.037349" ns1:href="#g0-59" />
<ns0:use x="-42.665543" y="-62.037349" ns1:href="#g1-48" />
<ns0:use x="-37.684204" y="-62.037349" ns1:href="#g1-48" />
<ns0:use x="-32.702865" y="-62.037349" ns1:href="#g1-48" />
<ns0:use x="-27.721526" y="-62.037349" ns1:href="#g0-59" />
<ns0:use x="-23.293718" y="-62.037349" ns1:href="#g1-48" />
<ns0:use x="-18.312379" y="-62.037349" ns1:href="#g1-48" />
<ns0:use x="-13.33104" y="-62.037349" ns1:href="#g1-48" />
<ns0:use x="-8.349701" y="-62.037349" ns1:href="#g0-22" />
<ns0:use x="-2.346716" y="-62.037349" ns1:href="#g0-115" />
</ns0:g>
</ns0:svg>