images/v_in_lambda.svg

<?xml version='1.0' encoding='UTF-8'?>
<!-- This file was generated by dvisvgm 2.9.1 -->
<svg version='1.1' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink' width='40.709798pt' height='11.711477pt' viewBox='-.239051 -.237089 40.709798 11.711477'>
<defs>
<path id='g2-3' d='M5.178977-9.941914C5.092899-10.228838 5.021168-10.243184 4.86336-10.243184C4.734245-10.243184 4.648167-10.214491 4.576436-9.984952L1.793274-1.377235C1.520697-.545155 .932503-.430386 .444732-.41604V0C1.061618-.028692 1.090311-.028692 1.707197-.028692C2.094545-.028692 2.797508-.028692 3.156163 0V-.41604C2.424507-.430386 2.151929-.832079 2.151929-1.147696C2.151929-1.20508 2.151929-1.248119 2.22366-1.463312L4.461667-8.363832L6.814443-1.104657C6.886174-.90381 6.886174-.875118 6.886174-.846426C6.886174-.41604 6.140172-.41604 5.781517-.41604V0C6.111479-.028692 7.216136-.028692 7.61783-.028692C8.03387-.028692 8.923334-.028692 9.296335 0V-.41604C8.52164-.41604 8.249063-.41604 8.076908-.961195L5.178977-9.941914Z'/>
<path id='g1-50' d='M7.861715-3.299625C8.105601-3.299625 8.363832-3.299625 8.363832-3.586549S8.105601-3.873473 7.861715-3.873473H1.778928C1.951083-5.795863 3.600895-7.173098 5.623709-7.173098H7.861715C8.105601-7.173098 8.363832-7.173098 8.363832-7.460022S8.105601-7.746946 7.861715-7.746946H5.595016C3.141817-7.746946 1.190734-5.88194 1.190734-3.586549S3.141817 .573848 5.595016 .573848H7.861715C8.105601 .573848 8.363832 .573848 8.363832 .286924S8.105601 0 7.861715 0H5.623709C3.600895 0 1.951083-1.377235 1.778928-3.299625H7.861715Z'/>
<path id='g0-118' d='M7.101367-5.422862C7.20179-5.638055 7.259175-5.752824 8.162985-5.752824V-6.369711C7.646522-6.341018 7.61783-6.341018 7.029636-6.341018C6.642289-6.341018 6.613596-6.341018 5.795863-6.369711V-5.752824C6.18321-5.752824 6.498827-5.681093 6.498827-5.58067C6.498827-5.566324 6.498827-5.551978 6.427096-5.408516L4.748591-1.721543L2.897932-5.752824H3.686972V-6.369711C3.35701-6.341018 2.352776-6.341018 1.965429-6.341018C1.549389-6.341018 .71731-6.341018 .344309-6.369711V-5.752824H1.248119L3.773049-.272578C3.902165 0 3.930858 .071731 4.26082 .071731C4.490359 .071731 4.605129 .043039 4.734245-.243885L7.101367-5.422862Z'/>
</defs>
<g id='page1' transform='matrix(1.13 0 0 1.13 -63.986043 -63.460804)'>
<use x='56.413267' y='65.753425' xlink:href='#g0-118'/>
<use x='69.140466' y='65.753425' xlink:href='#g1-50'/>
<use x='82.689624' y='65.753425' xlink:href='#g2-3'/>
</g>
</svg>