assets/formula/GF2-inlined-light.svg

<?xml version='1.0' encoding='UTF-8'?>
<!-- Generated by CodeCogs with dvisvgm 2.9.1 -->
<svg version='1.1' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' width='32.24069pt' height='12.327269pt' viewBox='-.299738 -.256625 32.24069 12.327269'>
<defs>
<path id='g0-40' d='M3.610908 2.618181C3.610908 2.585454 3.610908 2.563636 3.425454 2.378181C2.061818 1.003636 1.712727-1.058182 1.712727-2.727272C1.712727-4.625453 2.127272-6.523635 3.46909-7.887271C3.610908-8.01818 3.610908-8.039998 3.610908-8.072725C3.610908-8.149089 3.567272-8.181816 3.501817-8.181816C3.392726-8.181816 2.410908-7.439998 1.767272-6.054544C1.210909-4.854544 1.08-3.643635 1.08-2.727272C1.08-1.876363 1.2-.556363 1.799999 .676363C2.454545 2.018181 3.392726 2.727272 3.501817 2.727272C3.567272 2.727272 3.610908 2.694545 3.610908 2.618181Z'/>
<path id='g0-41' d='M3.152726-2.727272C3.152726-3.578181 3.032726-4.89818 2.432727-6.130907C1.778181-7.472725 .84-8.181816 .730909-8.181816C.665454-8.181816 .621818-8.13818 .621818-8.072725C.621818-8.039998 .621818-8.01818 .829091-7.821816C1.898181-6.741816 2.519999-5.007271 2.519999-2.727272C2.519999-.861818 2.116363 1.058182 .763636 2.432727C.621818 2.563636 .621818 2.585454 .621818 2.618181C.621818 2.683636 .665454 2.727272 .730909 2.727272C.84 2.727272 1.821818 1.985454 2.465454 .6C3.021817-.6 3.152726-1.810909 3.152726-2.727272Z'/>
<path id='g0-50' d='M1.385454-.84L2.541817-1.963636C4.243635-3.46909 4.89818-4.058181 4.89818-5.149089C4.89818-6.392725 3.916363-7.265453 2.585454-7.265453C1.352727-7.265453 .545454-6.261816 .545454-5.290908C.545454-4.679999 1.090909-4.679999 1.123636-4.679999C1.309091-4.679999 1.690909-4.810908 1.690909-5.25818C1.690909-5.541817 1.494545-5.825453 1.112727-5.825453C1.025454-5.825453 1.003636-5.825453 .970909-5.814544C1.221818-6.523635 1.810909-6.927271 2.443636-6.927271C3.436363-6.927271 3.905453-6.043635 3.905453-5.149089C3.905453-4.276362 3.359999-3.414545 2.759999-2.738181L.665454-.403636C.545454-.283636 .545454-.261818 .545454 0H4.592726L4.89818-1.898181H4.625453C4.570908-1.570909 4.494544-1.090909 4.385453-.927272C4.30909-.84 3.58909-.84 3.34909-.84H1.385454Z'/>
<path id='g0-70' d='M6.349089-7.41818H.36V-7.079998H.621818C1.461818-7.079998 1.483636-6.959998 1.483636-6.567271V-.850909C1.483636-.458182 1.461818-.338182 .621818-.338182H.36V0C.741818-.032727 1.592727-.032727 2.018181-.032727C2.465454-.032727 3.458181-.032727 3.850908 0V-.338182H3.490908C2.454545-.338182 2.454545-.48 2.454545-.861818V-3.545454H3.392726C4.439999-3.545454 4.54909-3.196363 4.54909-2.26909H4.821817V-5.159999H4.54909C4.54909-4.243635 4.439999-3.883635 3.392726-3.883635H2.454545V-6.643635C2.454545-7.003634 2.476363-7.079998 2.98909-7.079998H4.298181C5.934544-7.079998 6.207271-6.469089 6.381816-4.963635H6.654544L6.349089-7.41818Z'/>
<path id='g0-71' d='M6.469089-.687273C6.610907-.447273 7.047271-.010909 7.167271-.010909C7.265453-.010909 7.265453-.098182 7.265453-.261818V-2.159999C7.265453-2.585454 7.309089-2.639999 8.01818-2.639999V-2.978181C7.614543-2.967272 7.014543-2.945454 6.687271-2.945454C6.250907-2.945454 5.323635-2.945454 4.930908-2.978181V-2.639999H5.279999C6.261816-2.639999 6.294544-2.519999 6.294544-2.116363V-1.418181C6.294544-.196364 4.90909-.098182 4.603635-.098182C3.894544-.098182 1.734545-.48 1.734545-3.730908C1.734545-6.992725 3.883635-7.352725 4.538181-7.352725C5.705453-7.352725 6.69818-6.370907 6.916362-4.767271C6.93818-4.614544 6.93818-4.581817 7.090907-4.581817C7.265453-4.581817 7.265453-4.614544 7.265453-4.843635V-7.429089C7.265453-7.614543 7.265453-7.690907 7.145453-7.690907C7.101816-7.690907 7.05818-7.690907 6.970907-7.559998L6.425453-6.752725C6.076362-7.101816 5.487271-7.690907 4.407271-7.690907C2.378181-7.690907 .610909-5.967271 .610909-3.730908S2.356363 .24 4.42909 .24C5.225453 .24 6.09818-.043636 6.469089-.687273Z'/>
</defs>
<g id='page1' transform='matrix(1.13 0 0 1.13 -80.23 -68.689878)'>
<use x='70.734745' y='68.742217' xlink:href='#g0-71'/>
<use x='79.29537' y='68.742217' xlink:href='#g0-70'/>
<use x='86.416599' y='68.742217' xlink:href='#g0-40'/>
<use x='90.659037' y='68.742217' xlink:href='#g0-50'/>
<use x='96.113602' y='68.742217' xlink:href='#g0-41'/>
</g>
</svg>