From d03a13d4cf694a8db6d6eb3912328ed12aa09d48 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Fri, 3 Apr 2015 00:35:06 +0200 Subject: [PATCH] Math Panels: revise the "Relations" svg icons. --- lib/images/math/approx.svgz | Bin 632 -> 809 bytes lib/images/math/asymp.svgz | Bin 508 -> 692 bytes lib/images/math/bowtie.svgz | Bin 417 -> 483 bytes lib/images/math/cong.svgz | Bin 510 -> 654 bytes lib/images/math/dashv.svgz | Bin 342 -> 453 bytes lib/images/math/doteq.svgz | Bin 431 -> 552 bytes lib/images/math/equiv.svgz | Bin 364 -> 482 bytes lib/images/math/frown.svgz | Bin 429 -> 558 bytes lib/images/math/geq.svgz | Bin 387 -> 498 bytes lib/images/math/gg.svgz | Bin 393 -> 520 bytes lib/images/math/iff.svgz | Bin 488 -> 597 bytes lib/images/math/in.svgz | Bin 444 -> 576 bytes lib/images/math/land.svgz | Bin 354 -> 482 bytes lib/images/math/leq.svgz | Bin 387 -> 495 bytes lib/images/math/ll.svgz | Bin 394 -> 519 bytes lib/images/math/lnot.svgz | Bin 338 -> 450 bytes lib/images/math/lor.svgz | Bin 354 -> 481 bytes lib/images/math/mid.svgz | Bin 331 -> 436 bytes lib/images/math/models.svgz | Bin 397 -> 449 bytes lib/images/math/neq.svgz | Bin 434 -> 524 bytes lib/images/math/ni.svgz | Bin 446 -> 573 bytes lib/images/math/not.svgz | Bin 334 -> 447 bytes lib/images/math/notin.svgz | Bin 609 -> 678 bytes lib/images/math/parallel.svgz | Bin 349 -> 454 bytes lib/images/math/perp.svgz | Bin 339 -> 459 bytes lib/images/math/prec.svgz | Bin 413 -> 544 bytes lib/images/math/preceq.svgz | Bin 445 -> 576 bytes lib/images/math/propto.svgz | Bin 709 -> 933 bytes lib/images/math/sim.svgz | Bin 467 -> 611 bytes lib/images/math/simeq.svgz | Bin 494 -> 647 bytes lib/images/math/smile.svgz | Bin 431 -> 566 bytes lib/images/math/sqsubseteq.svgz | Bin 381 -> 490 bytes lib/images/math/sqsupseteq.svgz | Bin 379 -> 494 bytes lib/images/math/subset.svgz | Bin 421 -> 549 bytes lib/images/math/subseteq.svgz | Bin 454 -> 580 bytes lib/images/math/succ.svgz | Bin 414 -> 538 bytes lib/images/math/succeq.svgz | Bin 443 -> 568 bytes lib/images/math/supset.svgz | Bin 421 -> 549 bytes lib/images/math/supseteq.svgz | Bin 448 -> 876 bytes lib/images/math/vdash.svgz | Bin 344 -> 458 bytes 40 files changed, 0 insertions(+), 0 deletions(-) diff --git a/lib/images/math/approx.svgz b/lib/images/math/approx.svgz index 1659cc6b81eedc668ba7b370a2fbb7ad374fd2b3..9eaf12e9525a82a52f6e00d6807c925eb6e74359 100644 GIT binary patch literal 809 zcmV+^1J?W>iwFP!000000EJY`uG26O-S;a@*nmhJd;FZLEejA53pPB&IwZbrM4MDe z?k({3jFa{zm5}Hro#Qi)Gsns1?XT03J%z5X+h&_cE)o`+vaRZ7zfHb<{gC;D^+VBA z#j$O|Hfh@A?QXSsk!9>%7m6WN>{1U0_Obcdm&G}-SBGIZuk-wJx$yc5^0wROuUVGu zR;x|_v|lmCsBhD+t8$xM6V8v_aU@n{9**G@nxW4nmw7VN%b8xr?)6hB+taCS`Z2TV zUoOa9_3+G&(_GX@l8BfK$N@59Wc}}ED1K%4sWjuiQb7oj)7i}YFY9i#5xCUVaG((U z7#>2sKMZqRSKEYgA=y#1slr1a(Fu={PFOx3ox)I5#Zb)0H^hy(L?L5yfS> z{@!*!uOa;+q4?20QvYQ43~#D({m^!&V%XKEVjrTGH>7rx&j)wp;rBVrMW?b|=-bDx z4F9yZDo=Gx%D)Wt@%S+|xyo7;t%qaSjXkHoHx>C+##Lm#P`Sx(I~b#LF&w6>xE+Qz zRmhD)X$;GNTa-@uG$Usm2*=6@N~4sLspTlVQIchrD=->mDuJU{%3795!$Ei{{2eH` zMrXB21qH~J7hsXfD=q~X0W4FJD1ge`p;B@uyf<=8blf94k2HdkfJg)o9MJ#~sIk`| zP_ZMM1PGhbsR7h9KMiArSCG=w5*1p_sGKly3c;A4al$z9a} zm7&R%@!H4*7XN{e4yPPPTa2w8Dc5K;qp=N2J?_9!k`ef%4f5vUgzyOl!Bs z=-CYLcj(OwHzs;6lvXz02YPB7&7e;bAoY)Cp!7=U(F{-Zy&27LWCsneCT1L7b3^Bf zDN1n~X)MwssUb+F6^}R4ngwPw*HVF8Ko&Siq_$phV2&0?mlyREmNzr}vlq%nE9kNq nF literal 632 zcmV-;0*Cz{iwFP!0000218tK{Z`&{ohVT6q8g}q@uq=uqB^6BzEZ6Qf?9f|=IJU9o z1F=`9|9+&CIK?m+u)$ZaNa`{5@O0X~nz#Dccl+I<0PBjU$GeA5Wodr2U2itsYi-6= zZ<=~nA6G-YHoxA@`mO8VnymrLrYyxTk!kC$X$Q#>&;s&dC_d%|iMo3Hwm(Vavvq7d zqYab{q-+C{xoj-V*sX_FY-e2)Nt3&NQMAKwxUZ^l9PNm9e{3r6oU5ez#d3do?RLNa zXM~({HLVuX@4DXf@;R)A)~pxBceV(DOc^Y*CwOM-as*T%vO`>w%^rPFLAuY;kfp@v zO^KEwaWcUs&JJc_8Lac*)6Ibv9m-Zs8o?WH(Npr*cnKDh(+!t(XH$~eQ(KS;k|-=G z7&WKtjqog<5aT3xOpzstOPnS_HfJyYD8%HlCh?A4kg@<7{VXiK%^V%w9MW)(VLF=} zA;{5~faw|w49;{u>a@-l*kjOG7Cf4NaK0$tbKl;EKo}KpVjoo?3XT;pcoYGYG-m}I zNs|Z`&H)rKC8>556fihhm>t3(BTP9tWK_TqGR?yBYMdQTb5c%I*_5&pzBC4kDFh{q zERrftMj$KVNSRd-P8<|5M?X1a%3@T+E(M+iMNAC&=0F`ElGY?W5O`9^!Nqh_6mtrC z;MpUf3BuHEkZ#$0YhJ+ZLYVNP;Q>ys{8g>Zx+Spb4ByMDCDmSpG);- Se#vEhy!#6mWA-3-1ONc|_$ZD5 diff --git a/lib/images/math/asymp.svgz b/lib/images/math/asymp.svgz index 0f5dc0c6ce352f27f8fe5a888bc3891e3f2f3057..7e51ddfb4d8f19e343312d87534de84a6ef2f210 100644 GIT binary patch literal 692 zcmV;l0!#fLiwFP!000000EJV_Zrd;ry!$Iy_0pme#rMOIokNNM1=>p==vkE*TZkTp z#KcLzzDvrEY#=~&@(yQqXO?tv^W3%Q$&FJp^qYiYk|5VtL*4YdP4esKU1kzA`LeIe zcIe$E>4)TIyDHvg8M+-^>0OPEjo+g${liq12ZuiFy+5q;{CGU#<^pR}Eb^^ix#!)B6kZ zSl_?0gPS9dBxyopfesSk)S*tbC5H#jOeHZ3dCD~|9m%BP*>IZ_b@)3 zO85ey{4+el{ABwI7j?D1AI7fq+omgbE@b%xX^VV0xFY+PgIk);ZAUi^k7MQDyxzL% znjp%5_@-^YgdwL`7fl=Ax^0{}|2(J2Pccp*^NW;4e%?W>4yE7ED%j39WL3&7R*Fz! zkrkLTMx{=4$=RDBQ8g8fviH(7^+K{eA6iaD{ zFexle8zmKNVZI7*kwJRFl%+Q0W0XtAEnxpHT&e-W9;v!~=qG`MasSLWhyIJrz aS^h>lno$*>V-a5dcJ&WNkRS{s1pokg2us=k literal 508 zcmV=Eu5;ZZx8!I5K8g<^zis4%ivej_ONNU6^vyMb+xa$ za;Vnu`vcaewm;Q7Aasyr9M3mss!IPe3qDn1mHWOB%`hAnc|MLKjv5bLohvD2&h*!i#d+KA-~Ja!F~)rU zD_HQl+VuQ6mO}&ULi}{7t&biugF!n(D~C$jpe7({qtw!(b|JD~jnVr+U{HBdb^-z! zA3&oqR=EVc5L&H_o>M|_0VKL;t=FmQN}{z!1v?WfJ}=pF)H;L-u_U$QE*s~Sn#xcx zMomQ4kxl?>Gun{9M>r%3VYXuxDGi_fz1|%&p^1^~G9~dAI37=`s!&H(a_7AQ%cSfU zaTm`u*w}>J4BmKF_b%{>(RkkUdCeA0S8WRM^}+}rg)q{wL3?4Z(~GzF>ERElj@R0hIiGX{Dctr-V1642ZOW?cu>!V(SrbA8fy<*jE7-}9pIP=}*Nif}YTA7ek=JOTY^ZkYPuNjsB zN;jJgP6#FhIRcqiW$6pLjk-6!7bQuOU{{;T52>5gdSj5>HcpZv$VSMzv9p$Z2VIuH z%Bhlzz47kodzC?eL#Y#%a%$;ZK0E7>b%+~p`|HR3sGMeO`&akRlXRa4=s$gQ{b6;n zOU|}?-FMVhvZJ-|vwU;YmUu4Q!1nbZ=1a$GdtvmkXX4%8%ULIV2>-USZ6AD-X{@VD zrENtOdXC5Q6nGkA8WLYkS>p2!f;v#!j48hzKvr=cEsHn8vQ*ICfP;c{b{G;keeP$;fqJokWQx#ebxhiPf3|006s3=BNMw literal 417 zcmV;S0bc$eiwFP!0000218tH`Z=)~}hVT6qv)Y5Z2OEFkk0_+lo|D@uhum1~0w==ykS3nCaNFRQ2J4@%)r6MNXlLx7>|p$={6 z$`mU2`wrD5_Luqyf*GI`^%y}DV%;Rnp>yW6KPPgZS6~#w@cVSdNEl|V0-1Zpy$2~Z zQ@MrNNnnUoY6>!+kC~9N?F-VRbY5iHFbr%^?9|nnLsboq85cYZ+(F25{y5iac<*G7EKrS1^M~W26!)s=9>B3Pt|W0$GB1tEcTlvt8Xv79jm8* Lti@sN=>h-%>ru7`Zi$Jl`F6}vgKiqvaA)H4NV7ln@% zIN2n>zGK(~R*F5^ZCr`3&{H6z&{g8_nS>V zJ{~rN5S-hM+p63}7s2UaXeMG+a@V-lb$;Z)fJY0xTh529B)oKH9t}B1UQktney83YR zOI=sH2(>cWW0hC#ZVc#*hboB(pN?ARi>mO&a{P+uNsAPWxBc<$cCN54%k7_jxWAP6 z1VZt*f57?C{teEna(mYgZQ=KITO3@-@&(i8d^xxx`{$Een$B$pH}(%h>E6BGs%+~Z z;y-=eG~dIJORQDX+Ba@L&75CfQ}9cSOGv&-ne*2jOx3CI$5|D&Lu?i+%hE(@OQ>Wz zu~x<{9 literal 510 zcmV)XS=5DKMuetLNPlx6VNv^{LvZ3Sc5LtX8w zt{kd0{CbD=sqIho4iq}bGUl@dP1V-Tz#7h?mi{=1dtJp=TaDiiXSOJ!v<}EB^wxk1 z9+lNFM+z9*_0TZyf+r=ea^DxC8HVE`&&P4ZQRAVjbCOc#oPMS(&f9kX`+r0gW6US7 z;DXoHrswBa4h^ge@!cWmUlbHmfHbfxNc^$M*h-50gN({`A8ZwPs zg9}TZtd>dEpfwa7?}Y0OdQve~M$V(m)X5AiDZQF*42?E8Ym=z=ip2~%8I->Q+`O}C zLstfmCpelaGlpI8?*M<^MoMTx2zJH6GJ4}*KKfdHxL#)NT@Z7OB2BAIA(@oiSh}A@(^Z>7e7@v^_d*!uQMz!+U0;8EmQN3V0R$jmhGGK%0Qa%* AQ~&?~ diff --git a/lib/images/math/dashv.svgz b/lib/images/math/dashv.svgz index 0833fcbf7dd74c9637d09002c62d68647dbdae92..5ce60fc2b19251f0437ea455722e102ff115f5c9 100644 GIT binary patch literal 453 zcmV;$0XqI4iwFP!000000EJP@j@uv<-RCPP-Lz@|zv4&acowZjnr$EIngX%W*bo^K z&-CjH*cm6%NM*%2_ndniV@o~*gqqE!HkWn-0C01a z*>iS)i{W%0`yk|uh+YgrSwmtR6S&IRDrbJWya=X;K`RrS%6z;LkNo(i_OF@JAd0K1 zB2hw;1UUsVugcOFbZ>QUe9xLhQAAvARsL6Xw^~n3lH1O~qzteVvhD1OB|kvtOQp1JV*_+g*WoMVyv7h_)!l>3q*JTvWRx%D0i{ v(*#FJna3FjiYzVzUqm>YX>`Zm=>Nj?KiU{odB|1!6*ilH#o|W_Z36%Rh+*3S literal 342 zcmV-c0jd5UiwFP!0000218q>tZi6roy!R`%>cQ>7#t)256cVYYTzac==#2^kR>MQ! z2J-jaKpOQ>S@LSuvoq`2?&szNXE%(#YcnDkC;Q#Q_K{L}ul)$6KRKB45h~ZZArG#A z&kGc1Kc1@w1WSNYc7q%t#$Vzlox0n%JaRH&l`2oJVMWqip7rZ@>N{iZo55<(1&Ng)2ua zeI9BkGV&HPm2xY9AE{>ACQ2R@GgbAy>#OAxrLBicRu0H{oTFzf*U0NrGxsQ>@~ diff --git a/lib/images/math/doteq.svgz b/lib/images/math/doteq.svgz index 5731b33d002eadc21d0b184299814c943ca386ef..cc9c672afcf00e9e312af08fc55515e151855e7a 100644 GIT binary patch literal 552 zcmV+@0@wW?iwFP!000000EJS^j+;Oby!$IAlS`t&Jb7A}JtSIbrOhP|DI*BA6Na@};ZNrqFg zK?uRzcG%`>hZn=)*w>RVS5()!(XAOMC!FF{u2#9S)2owKUDI^!Fge@d zVekr^0!nhdA1pib7I_%asnlqb<(bLW@|g)IFGwKX_Q$vT839&m`={%l76^|OWPiIO z%*W}4PI9%~cYTwYv}&?K+bmxoZ9><=jo7>#^xAZ8+v}k__Da8dy}4>CYob3*Ro4%8 z$P(+SX=Q4iPBZ7va|*h|SVGdPlnFhb!GsQ(DQA~G9TYMmW$3ZUk(|W7U?Eb7Ij$sL z$l@SIt{_p&y+}B2K%^&qWZ#i5g}*YA1l*He?67lHatDl|@Fl;Z7Cmz$@naT1dqF~& z1KsBmK+~whPLy7$v(#=1pP4jOz1ONa7SrbP9 literal 431 zcmV;g0Z{%QiwFP!0000218q`GkDD+Mz3;D>st30R4<3JEN6W6%T=ufJDu=yM;egeI zL_kCK-`6B8i>e9 zk&J@5lEE0Op_!C!_@tD&Z2N*W!*JeY**K0kDm-;{CWR1LvY#oN>mjzk|3@V6eRj*T z)NmE{eLBwN&_GqNSB*kRGQbU5;e_3;056r)pfJx#5pav-v~UT~#*$iqtwK^FB^HK6 z=LFHG#tOK*tN`hxAXqfa$5|MX8*Yz!e&2joERH{t$6yna&xrY9X-X_KRyjHSv2%I{OnpFY5}I^@yVv?8~g+%#R-7wqfZ5#9@? ZrA1@>-MwC3X+fSI{sI$bBqQts001ZD&|Clj diff --git a/lib/images/math/equiv.svgz b/lib/images/math/equiv.svgz index 3c145e9d197bd566568a3cf82f2d5c0a9fcefe70..ddcc85104fad942ed50c8b2e200b090581d6187d 100644 GIT binary patch literal 482 zcmV<80UiDyiwFP!000000EJRbbDJ;_z57>e)k`}Kh!5j{2a`iPndZ<-o3>|Fl0g%Y zJV-W4e|=UM2RoBab>i*5r>D0|dGpw{aFD%KMsG+QMg*khMkrlx$j|%RASYlQ(}J}| z%MHI49Ycdryne5I|&~e=XPsKhhYfSR18gD(~l4Y)nZZFL%je1 z^woAP_=Ze^-M()}qTp1vvXk0b8iz3@Go8kEStu0fdOBW$Fq8#iMmHUzZ^ zsSuSyZmq8#>mDr$(6QA?#{_e1Zl5aGqZTO`Z~gtt?GYj7eEr+>4->@W3G9#Aqd%!$ z%BA4zt?4`FD%G)C`YfL?ZAs_G1=&6Afm;;@fTo6A(1*|=~iXvMuh>Z35mcB z~^k&%ytNoBMIs+m%WPPTZlI_7r6S&}NF((N_1nYmy8BFVHdCf-uTxJ`9>Cz?|a zM99%XD!HWsU9cv(Q(bd683B)DR)UI@L^yafKcJf8$GmcaOfa;0)0KyIpOJkYT0guh z4&%aus#HrBYoJ1;RxtH8YJNKh*FPD}pFCRBtt&I~a_I=?jA)*)*v6Oc)onxTS5JQ> KniA7R0ssK$;igpp diff --git a/lib/images/math/frown.svgz b/lib/images/math/frown.svgz index b11e47d4585aa0492177c04ef93d623af7d498f4..23384f623b531a7ee2f47f916227fa697c40e283 100644 GIT binary patch literal 558 zcmV+}0@3{+iwFP!000000EJS?Zrd;vy!$Iy_R^vfcX2Uf<&YvkfS$UbXH}wQAzBQH zwv&E+NlA_zAV78Eyf^da4XO0*xoyDN4rASSJ4g|Mz;;Dn)?KxOzkWW%8iLW~U70t1 zXLqpc;a#>#Kg2P(A8hVy2`;refXD7>Eb^lTpAOC)w-{e87gR4r)DIQ@4B|N3Y|`;u zZ2$n?w;Q)*v4e}?cp93CSQgkewzZubF+~)^m0qm$BDmLQTl8()cjKh&#*a7Tq1?Z+ z!!{Q_k*F~S6NVX!JtH1pI+s7kZ>4_6_oR#vf_-mg{+IRUYD3{tm+s&p(-S<{x;nTO z*X0g+ErXdyX=(RksLu6(1O#|$wbtcj?((&Lt*A-sDL&rz``3pVd0Z6R-~I5kK>r0o z{--~Af0(_N)3Vs^`=QNUR=0U&LzXW-ZHm{%8?t*j+I8qWcCcfA8VdXF^Oi+h2NC|^ z>ZW-NCQGcFp|xvlHhIp+YYM!?SVH2PlqtU6!Gw;vJItzZJAe{~M5H9rAf`xat|Nj> z!nEe#9vF%^k&^02N@Q3<8Bhu(+z=5-j*JG9A*K^W%!0W_lxixjeWs9L#0V8hg9KO9 zD8Rgf_A2kI{8ULa_y(v!Y}!LhDS|gA{;VX8B=LJ`K{yZs@kA3HB?^&*FcIvz7E05# wqzzJxY9rQ?F^F<1q=^(qMEP|5Huzt-{x6k?&HOv1;fb@&KTQf>H4Ov+09+>xzr*P^;&shsRGv0YAEagk8VSFxMlr`Iv`# z$_@N_h33+am-YaJ0g6KS(m|K|wwpx5Fb18@lX|a9()D@%cDhz7dNdRwn7~K|3>#!l zaJ#5r?whHr)D2&RldqGSyBpPToeb9l@KiYugjf3V}@nk5uGI`Gg|WBbVJ@%>hqf;yjIF` X!szJDy}fTT)~AQRWNENsp#lH^&6&`5 diff --git a/lib/images/math/geq.svgz b/lib/images/math/geq.svgz index e1d70adf583485e476509ef5ccfa5100d993a33a..cef1a4ff07c16377a0c0d492ba31acee940aac80 100644 GIT binary patch literal 498 zcmV5UjahJW|Q~lasvSH zb8Vj~xrdA4cuNlHg zMAJ0Igki>zSD^mQI`N9`t^ON7vNA#l_O(^{U)9}eM`AF_RUR@v!AhI5aw|4!551Sc z!lPX2LqD=JKcWZ%Je3;lgc44y`&XhEYLrrK>Te_em*R& zbgpD}XuC$Z!Zf1PW0r3|ZI0K%o!Gq{_1bi9+v&bNby9zLUL_kdn($9&>iTIMvc$S+ zYFw?0Y3BTTNr9IbOGtc^GRK!4Oz0?FHM_>`fRG0M^idLRc^GgSvNQo?i{gO$i*c}< z%9JEq#8|N7Jmv{N_bf?yxZ{h<|44BN;?N6t8l_v7_)d)S*wJ%FI^A61=j+gcbC@gSJc(R}ivF%dHl(a(H{G8a=yhv6I)AQ*{mhwUx3rZ^?a}8KH zfkwl^WH7}hb%eY7=S);(KbEXZ>AcFaX_~~O#c60WC8f+reu1p6huHu99}vCw*)7Vb z;3n)xdd_v~pefleE0ivB1zd|ts8A!k13)UE_Auj<>+pXTDDEo+I~{n{{02HQ@dyOc$*=d zNR)Gq3B!y9o)Pqq)`^GUTI%oknv@Yju0DWNDNah6;-$01@f`%Qbw)3@vw^~D|F@}rbA@PFI5@O*sRV)X_OXuXi+aqLEQp-PH#mIy}7Vr3!6BB z?TypFUpfuiq6h?tAT^vBk@t_M-4>2%81ufb1fdd-4>$L>Qo?hWN7&?Tg1H`{O??{b zDK+r+4$U!-$94yV9;9SEXV9hGb`x`Whu)aOB);65TW%Rz)$-GtLJ0LtAL2RKfBW$m+Ds{oiXqiZK@FSHXsx zv>7=Z>ZyaK5>F8=Q4An8`e1E%k&8zPc5SeXMmdlUohG6eX)%(vaUIxPS-Pc%A>_ZH z3cc6SGmApytg%$Ce=58_d1QWdO;e%sj-0t7>X38{-$cK#*HnLMyb8$t- zmr1ne`k`(UiE}y)bw6(Q!>$s$dK&WSw^6Vh4pM7R76D^etjsydnMQwn&>{%+s})4_;B+daO5HViwFP!000000EJS?Zrd;vy!$Iy_R^x_PH{10<;ppJ>);CSDsZg*9^7>gV_6&=__X)_uqNbqJmPvT;(pkX&j6u(waUh) z-3kB@e7kX7l^ZxW93F>e5>_Q~jcZ-!N5U{8aFLgbyo~PklPmkS?YnX6?8c8*;-T7J z)Nz}mm_*E4ODHFtqo6?JOXrJc^tLtZ_+Bfgl#;+L%Kxg~Tx~2I>&ou~p%VQFvIXg zLGibL4E`{`l(VW_Z~LJwd|tQ3&c!TWLfVWh#2c}HIk;u$Y3$&}{&6VXyU$ydZ5^A) zPhU69T{M|vT@9^$!fOq}B;N(^4mAcA6oSPA((vL3mC~DWfb= z5-`fKvCQg37%ZsO+<*q4OP|10Dy|JMm~o{<9Id2EnF?+i^RRNNg7rkFmdC|r{{AY} zGMq-&SMVLMGz6t7Gl{0yrm14UVv$lSw2GPrD9l9wN+w8!C3#2*Y&Z#~c=Vij6Jngn jAY$y=4}En|$>T8C^l^VFUmG;o>Cb literal 488 zcmV;MCgka%6N)R z(ZwD7{ea!IZm;DL1X@TEs;3C5SeI2t9M+=r=F+jxyn>=S_P@?IinK<@HAv&oI|;^0 z493EQWYE{UuFBYyADBqxsm)l`b(c+=_I;1N!gEuml5?I?`>AAeJJhGQdxau|kdCK} z1n=U$rO&14D%fT0cRlUnkt@yEu`Wc!_NWp-bT0$3y6MP$Z>BrRTK9a`~H8j@R2bsX)JDR eJ|V0jar_=ad_|AwqiwFP!000000EJS^Zk#X_-OpFJ?xt1o6C2EkA&XQ|vgoGIH3eq|g~te- zOwzBrW>ZafC@UNd %bJvaic_ z=o1HLFW`3FMKQ&k=<`gCyaxMl2gI?-k+(qY`Q&xnv>v&pB2 z{RSZfefw!!S3A52j`w35h;_wmYdhP!i3utgUg_0JuYC9B!B#`p4gD09{q*sSJl40b zY(LE@4kVFf8RL>kNq|A7r{0y1#eJ<@gnxa zHEnz2n=G-;OdHqQBJ`YpUsA9o#uAd9rOesO83c4J-C3l;bqe+w{=r_tZl_D`I zx<*M#xe=NxR3RcbP5jCtj);UC%MzLDh#0DM#^V@@l4@a8mPAByDx{WLfs0A0Hd^u+ z%o9apZd9l%MRgK$ZqOxCni}t|A|2CMa*!gesgzlgrV%iOiA5sUiOy=*VR$f)4OR2h z8kS1HR}0TqDhhl46G6#9KFAs%u>G5i%?u4>0NYfpQeeJXda(5Shu7D&7ew=LOSyj# O#pW5e*Q7W*1ONcV_a7wy literal 444 zcmV;t0Ym;DiwFP!0000218q`0kDEXc?eAAilwy-&hn@Xot>aG0HEvQRa*>XRHK5qo z0%CmsK7-967ZDQ6ym@av-tzoAoL(5^ErYhwRJOc4R0~#bRNZHUE-)s)3?)=BkRyA587$8WPn`2 zT;;GR1x#%*e*lvB-^*tgd&M#22>AuX4}c_q@MEV{3==I@YT{wqvmC-@%c mJK8jT+85&Uy&=38!cssJ-Mx9ezWC~2p8f#~fqaq10ssJ_W#CKz diff --git a/lib/images/math/land.svgz b/lib/images/math/land.svgz index 5a5765e5a35473cc46165a9efe52269bb082f8fb..9bb305093de3c191bad0cd7b92404b255be986f4 100644 GIT binary patch literal 482 zcmV<80UiDyiwFP!000000ELlXZ`&Xg#ozNO7<<{Y7z}nD6FKg~rfQY8m$lQL84w%Q zhRBe(-KQ`9lRA+q%}+k}{?5G|C~lwI2Aovqv^6_OPz-@G!b)wb9sK=x7v&H*&yD1b zHEIWqg}3FZ_z*?lYp1wZ67<^F;NCnr!4C?2s=YsKG4A^w>A8q(SK-efiptfhaHnbo z00?`H+e)#6v*B>;nh}%&t46iTc!voh7%sS2a4~GxCnap#TH{8iaUU<>PVV36;WT|R zLWD7fV~Qz_0ui|v6|D~?3b|~~(`Z`FOkFr*}s{Nw1+`-_b zunek@YVU^XR3B6d0Ulee@?3Jym-e}`8NC4s@wUId-AyWJA+~>P_cY7!4FLaZk6}M7 z-^zs)+r8~t?n~YBN)1`QgtP@-8dtD?IjCjmG`3UD9y_7leO@VAJ(%!=*G+RjESY0n z4As6-<+yYDJ*U8Pj5#E}NLk?X9gOP0eLcCt?fe8RLvhUFjIDEqGLYqncUrDq0Zat%y?z4#0CjolY5)KL literal 354 zcmV-o0iFIIiwFP!0000218q<}Z-X!p-TN!9>fmDOe^M zOreSm@$UUuiBh&>!I~KRRgz58gpRIpPShj4k;0_H=7Ynx^$HE^l4 z(3ro>GvA|!WtURq^!@p3t7hU;P090K=%P A#sB~S diff --git a/lib/images/math/leq.svgz b/lib/images/math/leq.svgz index b48ff6da38f57097418edfa20b6622b4d73f5ec6..2b538d04f1263eb036d68bd43d12f7da530d9055 100644 GIT binary patch literal 495 zcmVBa#egn2z>7qcS?dmyBa*17c2NtfiJal#~sGQFhqJLqpq*;SAbBtS{3$OtpEUi zuCY5Q_HZ^FPkl2ArNF9DtuoGH5)lj+xme^POxI^6y0-0%9i7I0z7hBGa8-xb44Y9z z@;t{e#grniK=#cz{)+Cc{*515X&lGc*B0e}Rd=fm#Gs|CJ)~@ewbE7X7OdqSdM|~g zM}<@e8`y~tD1iWvrB*pEx#LUu!fZ#cm-u+Q=O2#~@>q!7pRRwIq5pz_|LsnGJ}j?v zA;s>{^(}X$Zh56bmTx|7ftSLa*u5Rq(sXLuE8CrVp*}pX6s-;>{L|^Cc?v`3ST{|z zYg9SToPIAU@El_fiEmOC__Bi$9l5I~SJ)27v&dhDC7U(dM2t|9<{)09EMhdKDFrB{ zL68u(MwCV=%W0Z`dos>hPLivQY_I2UDK^6DPznFXq0SHkH9-qVc$%B3z&yTE literal 387 zcmV-}0et=+iwFP!0000218q^kZrd;nz4t3P?4a!+T9how3hEZvsfX+~_|TgNE4I+Y z32Zk`|9*7h2E#B2ko3q$^6BaE`EuC9ISykw_N5?H;`!;}@r#u3t4ky7(mujmkI=?G z4)qip`27LRIgRJ`0E7;tWIiM4Vrsjo6k0h{E+9}Oda!X@ud^1?8j1c({$Qo**woU8$1qerj=3|k6$U9%RcpQ|07ZeA-iS; z3vS|W(GB+YTm~P%g<0i>ol9W7`5q! hxGTli+eG*%Mb3E&_BOq}Z|wim!yh8tzk*8w0079a!+!t( diff --git a/lib/images/math/ll.svgz b/lib/images/math/ll.svgz index 6dd50dc4926c1b7ab6e779c822e2d5e02240e4a7..8d55161c9b7e4ab078a8c41dc21aa985b958919d 100644 GIT binary patch literal 519 zcmV+i0{HzOiwFP!000000ELoYZ<{a_#ozNOJnv=Gf(^ztI3o06Q>9Al%l|GFm&z+IZXfRZ+1b6nKS8{K_htj$I2IFBEP&F4(+ZFgD2!edI%KAgG z0s#12+i$em!r8EY?CJ^B3Y*$A#=0IyD8g{T)q<-ry*e1xHce~$$!YudXK<%?Z}hmE zA)cT}2!TU_2?;zA^v~AGr{L1+_jt`p!Z5_Xw~+s(E{=9A43&1Jmn5BJX{w@hi>~w* zdM|;wSD7}ueykqrqoNStsnr-KwRCc6pDM}Z^@tyD^X<#+QF*P@=6BmY%+h}&Apf+F zJ|E_9@~V-A8E5(Ar_J!vxPaaB-YknAm+eg7K6c7ny>*# zdja<#p@_#!F!pyk;fT?Yh5Rgi!LOu84AGb*{GaI;VJ~obBSjSWhc=#dHePGKdIfz5 JBh&!|006xQ1bP4f literal 394 zcmV;50d@W#iwFP!0000219g#2Z`&{ohVT6q9CpxlFfHoKQc$&ah%d&s0E=E&rc7J---f$_i2J{+C`X~3A#AM zvB|N8KX1^U(sb(fKl_OB> z&^Ev|Qox+r+}GmjUovr(!&Hkt=i{m@=Xu6i<6-PdC8aDGf0eAxyEOd$Oh_Sw^71OU z;5Ke2K8{W9p{>PBKtmKf6cVL1+EBIOt8*$izc%PirT9@{6*Rf^O>HocGGS9#w2Fw< zdQnKbNP{GAHhgj37{9(JyuLVOiTr}f&846}P;crxszmE7S^Ww29`Pz5@s~R)lous8 zp}aPuyZDby7fD>qJT}9$J&gNW?3+BM^A9ayS$q^qIl{p6Cq>er{kg>an|K)n`r3vKyHccbV&=`f_vX32e;EgG=93mmHZTq&2)Lw*3E4I9*Utx3K%fngj0{Th z21*6*+o1k{5coQAVmJe{FgLp62yGeD>ff?A)u003a; zN?kG9z}0X(O@kLQiuu4tE{(=<7-P7}=_aRcx;S&H#!*S_ol<|i5>M>#rgq!RcU}~i zWr?E%Cke6&q+g{WFX+~4cYM#9L{WroZBzbNb#q!r%z~NT!ldx9=c4P)h6QV&^(L^j zsAl}29lP)jr4V3W8o42i7_yZw%-(yg#Kx<>e|uPv#gtaR)%3hV`#AymqfT}{Y~Sdb z(dwY4k(gGDq~k8j7n`=mTj54*UXOfhy0o3RR;P*bcb}KhQ8*L+VZ<;zx*=< s%43l2!z?fCgLpd0!mP;3BnN-tcIz%iS>boC-Fe#JA7+-6G)V&h0MClw(EtDd literal 338 zcmV-Y0j>TYiwFP!0000218q>dZiFxp?DG{HrEpT%_yO2H9d}ZyYtlt2(h*_6%JC35 z2lw|`4icq^EO|BS*_rk1k8^W|iyKDYwHXnNljGrTe@`jA)_#Q2pB+s32$gHykOx=5 z#}$f;A1_q{f~7zy@)1Gpd{qb35P~J#_JRD>6^Oi>p1T>5G)$Qkq}D7J7KAY@PBd(j z1SVgE8hLAfQNk_TF(Y*d{Vs~8X=0ON-B3l6a~`4nM%m40-+ul_6xQ14_DXQ!!j&VI zJ`Xh%8F@*WG`I=n%nE7aH>#KxsnsXWQmu^AONW~@6{m!yCKgE9xTkgYoq$KBO3=iR z2(_clqq_C`ymErvU>NdtEW4q}NRx-b&yR}3ac kZ|v&9l^JC=x5WJsiu%8GOEcYJ-Wi@T?`0cX|q+L}EiD26~8VWl?J9{&DyALS7AjvL7v zYt$YZ3-8KR@h*zM=T32_Bp9@-!Gn411wShAp?2=L!+015q~{{CU4=h_C@NR0qCZzF z0Dzxs`kfSeI2(?qt{FiouxeDRjO#H$1j7Xv3ogQReOAJ@tu_7VH2wQ4xRZxhI^1SR zMu;%Ra7;0!ktd@5**N|b-CF$}-?Gv;j<+eTxhr+cD;2VQ@@WgaG;Uz`d{oP!)3KfE?Wq&$&F7V()xm^+I^8r6VaOco z>QL<(RgN>K-%AQS$CyLntCR)4>|j(!?&`_qxAPsa48<{vGqz4B$Z|w-nv-nJD54vZ z#R>QdvJ53j%Gd^c14)k3K-M5bgl)2I>WkSHB_yF_ofDLjO-xddGnA7grQ2&brQjc2 Xo~9xZn_jL6+bmZvF&Ushcmn_cwA}0p literal 354 zcmV-o0iFIIiwFP!0000218q>tPQx$|yz>={I2aCb{EA~&O)GKgq1-re3yPCiG!G@F zN&lWr8v#Pdl2@~yof+?TKQ|{hyJ7TQn-NYK+3)VQ_fZ6|wI8AMCkInLLgiXF_X$h-9yB~00l8L30)H*q{o6P+aOhAI|}u^8=F%4RQow;B30=W*g;aA z@KhiFYQ7Qh=vDE^CL~7pcui4V`+Z(HPOdNvc{`Tf&}5{^!{Fyf$zVBHBB_&4 A4FCWD diff --git a/lib/images/math/mid.svgz b/lib/images/math/mid.svgz index 21d8c5a835dde7aeddcfeacedb0cc195036cc502..2c569df17d3d5628b84a84dd9c466d189917767f 100644 GIT binary patch literal 436 zcmV;l0ZaZLiwFP!000000EJOaZ=5g`yz?tu=aMQhw#j~hfE-#y$~9@#vuk_73fKsH zm!!YGHn7XC6e*lM^Jdv zCU^m7LwD$#Q7AZ;jclcM7SotwxXAe;=V7`!N^aWLXgfN!y}1zgVt-bLZH9+YMAJ0I zB*967yaL$|?btiIw)!1EvnGTP>}!kiOV!nB12HJ!Y7dj$2y3aT+AUa#0(x%(OOJ9P z_cpK-AJ7T{JeFGNm|%`Aj{1#eX_;a8`c<~aX@r1SGW$?tYVVTZIawmvWs_wZUMPR={im~>-7qtO}v`Q e#PetRA6zb6QAEjRTs03@DWm^07dJCN0{{Tql+5}7 literal 331 zcmV-R0kr-fiwFP!0000218q=EZ-X!lz4upm+9BH^A%;MpDy_6rFS|`W?8Zb0(aMKN zR@#3*)1hgHDN-!k?>#?zcer+ExR}Yip)VN<$qxI??tyc7Yn_M2oej*D2WxsWRl(Ho zafABe{Ka;FA_L9|PZ_kv**26c)``gTcns{XE>h;q{4!h#A*D!)46x9m&^ag+I#CK% zCWG14p)J{3UzEsY?@QK(Fm9u0o@X&9Vwh}1S~8;XD`a~;yZ-Y(AQnXt-Mfqo*QW6l z#wxT>m+TeE5MoLjX^p8maV?Tm=h;yToyTc>S{ug|_|Cu)&mu>ev52IiRnp!YV`UAp zdm5&y_suYMCF`m%x$9FRVR;mIsuC1M0vuyhu~5$o=gS+QGhwcUR*E)TTyNXSG$ngn dN5XBnPcF1nKjZE1N7vYIz5&#Zm0H;W008oQnv4Jd diff --git a/lib/images/math/models.svgz b/lib/images/math/models.svgz index e489477c87fca49d00d70d0f75c09801dc4743d9..b5ad8f62698b116c7c45cbb92254fadfc2700117 100644 GIT binary patch literal 449 zcmV;y0Y3g8iwFP!000000ELl3Z=5g?h41_d*SVzX8iP0800MGI6)D%WRnD&M1uI}9 z>|K)n`r3vKyHeC};>~<-#?LPAUi%Il#b~5f6-?s<0->1ZQZ*I){p$f`5Ex4pr=3=! zf=a`?Ix4>)1nx&ct>9piwgr#s#V|SuaNSxv6c|s_6w9R;>#@OK0YY^YmFCz)006gF znS!$lE{5SSb^+uJi%#@HS%cF!#c;*hiZj1m9tG2VuayZ-WvkE_Qwsn$ZLAF9RtzEU`6?9$#Yo|&s z_QqG|x>q+4;Lz%YrJP#2wojGY;B|z52+Yjsaa>-e- z*JDp@EqmGspXHlNTjI5G0o%7htV8FqqcHj~GV$T_a@I?4!auF-x<|iciFGzq+D_DA z=lpw0ftMIdNPL#E#HTw5YM{2AUH*2!mTb~ICLq~ldAtL=_-2zhfr3J_{0n-Jk~rIJ rJ?CoRdm59O^9n7}bIEDke=xW{Pm`ft8e*3IM(gMwxy$zid;|z4t3-)q{5rHXa*eJ1VWzQ!c%&IP}H}2dpL} z0ym_8zXPS&s9GUmKhJw_-q;UMm%|>;VHo4FFBuBSo*wTWesB)IyEwuw?gLEq2yN)Y zP^ZwqpATrxaXhyNKv4ka#3uw@h;5fjrmPmusZ(ONzDOvB>G^megkDHf0D3FDb)X0< zqhM7sm|~MUa{4@Qe_ml z3A>S&Q=K|!O7?<6dqhJMS&JsGxE0!1S8S!QjxtnhVY?Dv8AQ^xXgSJ)Ww&01P-svA z*TPthrsBCk>kWAo7B%|ntFm3Gum3dUZ)sD}#yiaIjc6@hMQa4d3tR$Z>rm}-eyZDm zY=LR0`*C+14kbI(X^5AfTEhI%!nL$YcxtRLS0ev4OWwx-^E=6crge0+^R;cdA?!+a r|1~pwlq^Rltjw48SCJLDSKmcT%I}h_z5eJ4AMgGGIf09&jsgGxoZq{j diff --git a/lib/images/math/neq.svgz b/lib/images/math/neq.svgz index 343df462eb55f0998dc0b518adcea9a83fab8a88..65057170320f4eddb440a9af9a56656969de2e20 100644 GIT binary patch literal 524 zcmV+n0`vVJiwFP!000000EJUckJ}&=yysU?_R^}s*f{k%UdMZAwbEYup`Iy_7{vw) zNV4g#FJLE5q?PIuGjC=d?;+REZ+!=j!dR)*24+bLfly3ysdgLq>*ot9A+U}rPCKo{ z1}Y7on??NrA@J1*>I4TT>00or_Lk8>fRC+nLxu6_bV}qzCfe-qCxB41Sk(5oTL1uj zUu7%KHgGZw2h&9%XIONi7s^?jB^idZoXv6;y33Z|L6Y@A#gTq-lzMZC3tQb+_6;oFsRxhop?K6>`_Q8B4x_-b-NP zQO(8H26p5FT0wwgsTYoN>gZg)FptseC4Ri>`?r@7dCXY#Tbum^{TBrEk3RVRu({GT zXVq4lp1MZ%bSJ_rpZ&Boo(p$kcOJwXI>s7d^}#Ul?(=fi%V5Gkob0;S&}16xCRDmk zG_mJ+yi9?oF{UB$&6G91>>#3nx^{Gh?SL{*$TC|e1fVQW%4O~k`D3zLrXXDw$qM8v z&!zxm9JfF_yB3dIt9_Cq8q98@2jKz?IViX}U`&v(9@YRgQu)lDA zP9vDhv!a+N>&~6u=GHH)dPw8<6adl#WqzAgHbQggL?wf5|fV)%7E6`(1*$8KF&w zG&ED%z@HD;ocrai|K)TjB!@gk9ls0%R6Sa=2s z9?3D>i3;X^Gj#&Hy)T7Caf-FLoJS^wv~&$~v=XbfIl! zk;!_l9qLeUfUFSpWP>Ecm5nu{H$GSp21Q4q(u@7Te!Ub8g>y?c?}M)m2J77-Cx#Fo zfTAyG6DqT)a9k4x<3a$9u5dCeNmw%8OEU`g!O^GQ-wJwh+`7zKmCFqB`z+e)`>AOY zscSe5&0*XghkdE`%{26vZ>(YYTTL1t6 diff --git a/lib/images/math/ni.svgz b/lib/images/math/ni.svgz index 72cc2667b8d41e3c0421d68d40431e6f134d5ff3..5c5a1c0654a36a2ea60519ebc10217e74d00b754 100644 GIT binary patch literal 573 zcmV-D0>b?tiwFP!000000EJS^Zk#X_-OpFtx|>!7zX3C1$RbsgZ2MeO@C+zCM&OxA z`t`L96A~#>y@7Ll&b{~8&TgK%7S4K{nxWqzhA9HwmqXR`haLL)<1SPPCR6lP(GI=d zp?*L&`6l}ihHyLT!srSvjj7?Gf1JwVsNqv>%yCP|<#NHzLgHaOkk1f?`DT+%=feg7 zY~Oy`R^<*YhT~~$y|5~YZgr=7GZBUvL94u6<)!Q1oOL;L-Ox|o*-sx|iN|XHqIT0< zgcq?iO$p_M^Ux~7>A5$>Q~1_uXME4fDW$~jt;+wZ-W;tXE=^@>3%T;J*3F?dD{iVC zvR;mIi?T}ZC&$jbLlOb;Tb(vVRhVMkzA}mTT8WLf{r2^4Mi!Ul_V+M8F3>I~DEfHC7f3GRX5@QKTUZu>)^$a{Z7N(wE?sPyXEQ2(LGlUUNlwbmC;2cLx zNlTZ&D30Aq0}9;UR~qvq3POdWD5XNI+92ckD}kkm z)0D$4D2|yBg2q84u;A2MA>lYlsNf=y5;Hqb%ps;Yom;Hjy`S6`_n&*Gk#^Z0w~)k6 zAH{*+Qz^C$7*;G+Hj#&Mg584@YKC@@$d*myYPHIjk`65W{-X719atDqe?^&l4f*CD Lzt4Z7I0OIyS`Qk~ literal 446 zcmV;v0YUyBiwFP!0000218q`0kJ~T|-S1bh=%98mE$Y(>&UZkwWa(Di(9MMvTWI10 zwj1aEeQC$YWjGkHz(>BvM@rAH*W&>$u^-Z@D+QqxuP;x}U$P8-wP}ETIz*VN0h-vw zz8Yf-)_4H$<2pi4JUx ouXVn%P20zPDZbts!h0zUdDOw)nm6|!zl4{k{{&2kMb!cT0A+pUO8@`> diff --git a/lib/images/math/not.svgz b/lib/images/math/not.svgz index ace14c67a6adbf008880dd0708b052d41db4cfe5..a14df481b79a3182fbe2f37dc1b468a4528ac37b 100644 GIT binary patch literal 447 zcmV;w0YLsAiwFP!000000EJP(Zk#X_yzf`Mx|ddsF?ctGML-U%qUM^m>e;ouU(zfwMNSl zX@l;oP4NL^_&P}Dq<~Sm1|IdZ<*b+Rsd28)2^q&RQVSWGp(dXJ<7%@h?5W-WfS;>v zE_jI+Lw_9FNhmmxt?Z_Tzc*{Di4u7)MU_W| zkOv#snGa}(fJ~)MIwqK7Yx&IFOR(Z^Zd6No)_p(5U@Yy=;x#AjV=Vw z4`%3?t5nBo8M1uwX$!IzuEg%Omuu6x?I5i=4qU$by@Gctn8**O+V(LFSz=u@Rj!rQ zG;_Y5Q;;Rb5|Uh`EXa8W6Y803W>?q_WZNiCX_{m=35_yn0H;xsrOE9bw1Br+M17U+ pZuTjBhuzLgT3A@`!Jht$)@|1bzMVg#2n(t<{{Rk8^>0f9003mU-6;S7 literal 334 zcmV-U0kQrciwFP!0000218q=EPs1<_z4I%KI0Oz&lO|1;Y274FJB%AAZbePgi1kBF zSi66ZyA6a8ie&3K&+pmZ?B@0eCp!k;cLm{;k=^!gbDt#e+V}vqKU$c|0M2%HETgU9 z{S4K~hm&i8Qw2$ad_>S#@0wVUObeQcA(G#+9Fe!vb3Y?N2+FwuZdOz<30x^^#0svB z1SVg_2Ai(sMF?l?LP44shjp4x(?lmh`_ZKtV=P7U8)ZEoefRMnksD*u%P+xkD_aLl zLm3;W3i6WET*=%(qN$L|n7yP%YklAdwbHn!R!r$V$AM(74uAP?1U%|Ep5&6GsGQy$ z+@(I0&T?{raV)z~_hVa-wv3~n9|eQuVM-LbP?bZ%GcGeKpO&7_VBz~{nZiYvCDzSo g>w-L79pPLM$yZdfo4fl7c$@9r7kJJnbmaj60OTl~2mk;8 diff --git a/lib/images/math/notin.svgz b/lib/images/math/notin.svgz index 019e83ac0814e251e358222d48b99c2a9a91b5f5..87397393dcf7d2edc08da6ccfb223d933cddd6a4 100644 GIT binary patch literal 678 zcmV;X0$KeZiwFP!000000EJV_Zks?9-TN!1bknNyW|$c)OctpkMQS&FsA~!n8-<4j zlQ_xO_YUCTNRjFd_i^qy_gq7E_0%@#(G6qWce_YX9wFD2eN}h+UG)3c4Y3g#ebH4# z(|2wcb$xV|Z?X@BpzFaE-c{&S`vbb|?#Hq?I`rw_{c+3K>2#v?Ql$N`XP*%v`DT-i zkNXWm2z0w~Ta~+L88|)+%>=AU<{HA}_e zgJ1Ky+C?xcqa3oVa(82>&h?O~2(hWvI$u$cdt;N=Ur&Dh#_1NP5Hx024ZgB$yYp>*&5y;a%P zVTk?ob<^Aik;T>pY3&=APnvUhcEJ`Ki%E9jGGpf(OxdyUhj|LF^BoyYEfy)2$Ox)% zY>_rlfoF+`&{P>ExW*h22_P(Ds)V+QU2OoD6*vLZcm0YaFG3t~(phkL+g`m!&lZdf^ZCbNSV z)FP5XC>1O;uk#IQg*7-(zy;51q%;*g)>h*rrd&vFP?FF@Sz%JF!Uc3tpQ4EojA=L; zoNn5IBsfIClyGVjX;WI>7B~L>zi-> M0m421ndt-o06XeLtN;K2 literal 609 zcmV-n0-pUJiwFP!0000218q}1Z`(i&-TNz8bWl6!bmSfHBZv~9UOYHkks+H4%aYLe z1Ckm!|Gqp$Ry-5}B$4;XM?UiIA1{Yjc&oa;JsryomCha?zTAJ!bNJP?J?z`p3dU^@ zb#<(|?NIID_dD#~+WxIR04fK0E_kt^soJ_3%8ZOvsO@>kZu6p8Z8iQpUBt4iELtFB zWg-ExS3w7uBQqG=-Ovc`!=ExqmB+r!nqfHK6~#D?YBcK9)dgv-3!$GOcbC`p_~(B> zj4>9|X(k2ls(mk?^LA)pS7uMF$Z7JBYo&vW*7;}obw(R!)<$7uiYueEA#$*s0I9&i zOks`*#deVmPj+PXW@D5k!vr}g0a#wM(w-TgbIImx@RHqG9pc7{7CIp0R!L}d>$#@q zT-1uugtb*p0Di-%MiU@+!eT>|0|D5SLKBi4TqBGk6TDlY@)WdN4nQk*jBFB{KpfwA zNcm{ctv)>x9>}818>Med?MdGpgLq;HF*)o+y+P>$krPx0_Gkr9ZlvwG>LpTZwy@|r7c0G!jlm_Hj@~%ok&buK))i)xIdt1&zdv<{GCORCuDyIW8qy=5+zOraC48j4kpD&v{HTY%$s@7^ISf>^c}c}(MYW-7=;7^p_t}UH5L5z^ATkb7)uqWomQfP zO2dabC_f+szK()g!NDYL3!c=oVRR7SQ)}%|U_4DzC|5GnV}m~fgz6wD&7}zd0B)`_ z1!omp4a0ftW+7)-bfOo^8XScYhMSyia^|PYi(tC%wKB6)nU6Q(k)Phw{xwrFi=sTw zF^O>;Bd0*-RayFi?yc^P?^$C)2zIqi`CrxDYCSPYZd(WAY=*6nO=~wSc?F#}hP6W_ z7boM{h4(0h0MDgfSjwrTTlvZyXRnjEc*XZ`j|*~`vEsKLpI7LP7tlZY?B>JzjV?JW zPI~OAtz}Oe;j?^kX-m8n?!@+W5L?rw?I?^sk4(J#y`1&ZoA3`SyY9&kS!3Nam9`W0 zJaf5TQ{Xkm8WP{6Eb(;*Ga9IE7nk1-I3B`m7m+MHW=RUj4(0nW_g8cXlRS+{wj++d wvVTDjP?U#JdLYSuF5NoPeUcyc_YSyyMiZfk9OqP}Utk^l1E$fC7;6In0Cl?6R{#J2 literal 349 zcmV-j0iymNiwFP!0000218q>TZi6ro-TM_+b#Ob__^`ot6cVXZmTXmqY*ZMq8Xy8U zkiV}@_`k7MrsNDdiJ6Ra>0V>wfA|G86`vK=x~dw*U<(KwE56s+s3DCV3;!G58vrju*G{v)C>Cc0Hg7`U+I z5T0}HYbY|Z7c5Do#;}o6n8*WFOe9LDyO^0IMRQmRyM=h%BNGNO`K#be={SiWiiLP2 z;DS?y6uBZ%FpriYs$1clR~E?)`aW-mvg@0SG`a8H^eQ;aCp=UN9a0lOF-93P`8I35 v2Mcqs2{N6Ckj1>`s_t!>k(b31t{IW2nd0(pUp=mn-{$EDRIG>73jzQDC>Ncc diff --git a/lib/images/math/perp.svgz b/lib/images/math/perp.svgz index 06c8c8ecab7cecc1d9f6f539c2c9774a1794878b..42d9317f482c680f2f1664befb1b3f61efe0b9f5 100644 GIT binary patch literal 459 zcmV;+0W|&}iwFP!000000EJOakJ}&=y!%&BdTG^QjGcHL%k~~xt+djf`k|gF5F4!x zksqJ_qoS1nt?=g?+{$=RFS&T+%RYMXd5D3LIm#VGdub&U7fWTO)IPJ9( zHB=hjH&OKgA@Fq+)CvwJX*=+!o(-c%0X}us9!rd;X^Q1S#(He=XMj)>MU^?X5dgr= zRi@;uhKu2N8v7vR42xb2LRo`JOfX#KY?U)VU7iKg!=RN3PGvq`iAR2TQ~TFUSrC!^ zevgwBrzvs@WL}k}FX-0l-uRw1O_Bt=+N%7o>Snc`m?XEIgJ}_9CuG~%6-!=2=S^Yb zP{qZ;cy{JJ+CqRsX%LojYUx_OFn7W0Brab0{oBKg9A>Qit;gpDy5j}(k3PBiuz8~^ z&dP%x2WlHR&{p^?UtHP>uZ0`2eLae`>D+b{MxRC|-u+(A2I)=shn0Q*=!Yz^u9`~Q zizdvRua^{fiLr#lS1Bue*+D=@YP;Fxw*!iOoD-7owi|x~$p+3CgpOtMV&sqJIL=cN=X3008l7 B+Oeby`3m4DPNYs*x>XsvxiZG6@rMkJ zlYd|0SW$)wiMw~ad+)f-?%W>XWXIt9u0V`XwA(&yo-u~c#s{eV(ZW;)aJI8!8EpmM z7pP7?oLmcxD8M-J6N1Ki*Tkfub0WANB6`$i33)rc_veI|B8o}iQj%P7;Ec_2=|nL3 zDmDdL>Q|*SWfuz6#5k<8Y?>xA3DS=)9L{X!--b=!?kn(_6B-eUn_JXXGH0*(r5-p6-2fAMrz7Y5%=onT4 zWyvC2tlV55N@p3GVI0dY)cx2Ns4e5@&#!{Q^`wA>FpQWSFyn#>V&1Mjzrn(NeQ8be lZ`RFd>jJ&p9N|(R$tB^++}z#$N=w>4{Q)cnDD3b7002iGsNVnp diff --git a/lib/images/math/prec.svgz b/lib/images/math/prec.svgz index 5f6b699136896f7ba6b536ed1153549ad498c426..56a50f3f38ecd0c7740c248ffa9173ddcd89967c 100644 GIT binary patch literal 544 zcmV+*0^j`~iwFP!000000EJS^j+-zP-RCP@chjo)i7_T3%wnpMW;<=wH8l>P;Sqro zX8QFtkAx%|sjPhNJ?EZ#Y~qKvx&kND^<~@aAj1>_)95xUn|ud<{d__Sg5IW0mR4{brctG`||y1Mhq`2!K_2)v7PDLW2eoB&ztGG97W`ZEvxEz zG+AO@4J~bDlF4&Eo>Pz|#uAcTrHsk>4kmO+Z859H+W{)V(u+bY!bordP5>z^B^Qwd z8c>e{#M~n}>_@eH8{&d5AL{G9EDH)D%2|P~pIJr1T`kiV8navyBL_ zWHO@s9$s8kG`nIxZGafX(KOm~CPIZG5umhNw&%;Rcqj}tgn?&!050qMAkd!fXP i3L(S$oOkdqT>qGyA)ih+ACHfmZ2kc!(P!8X1ONc8@&88v literal 413 zcmV;O0b>3iiwFP!0000218q^sj@vK{z0X&$=t1qlw5Zhz#xp>3?ybn7Hy2iHp@|dN zZk+l1QrV`!6aqx?@rjSi^XqxPgHs%*bQo$uD8=i`)AOgIfFFIDV4HRkmS%!34smSe z*ut+jXisT6b$cLmP!!B(5Biw8e&!tBq9J>n#lLxpy%d*khckOBpfnbgvFKF*syvd_ zaQi7>N$uP-?~3P4T;(v;qMzsEsw|gf!A0X?>`Eo2ELr|WS)F%j`29a3g%HY1RB*v< z+)iwc&D=vG!WC-mT*!bAn%w68 zSU;#5jU*r7k@+cvM$?@lQ}JAuGV>7X`h7yDNkA08CpM> zgh6TdE_?6q1MpKo;z4v&Xemk_O?ewpcfpTM7fD>)d2EJhdl>h%*f;Z-&R?{IeApD) zT5g^DB_)GI^)>(bGex+pokPm;rt%h6{TR2k_AwqiwFP!000000EJS^Zrd;ry!$Iy_R^vjUlK*qkd;G<0J-*oo>hvrh3H{O zw4L(;pK@I$`HK130E>|NnqiB6T@q38Bxu*Ke?Pdo4TD@sqN6RFN5>H01GjG`!CEVALa zT_A*@Z#%3?yT)h3{?ON>u(Z_Gu5qm&C?}laS#D>!4c)7wvt844?Jzpq;p2_CFE>|p zxXmdZMcf!enV>>MpooUI))%kQy%p~Go>ef$DAZ=+sVlH18HF`k;q*G=nlPg@BZG>HdQdu@4l+* z=g{Ol)=g;TYnP8br{iS`dLH9EB)yq3qn90wXkYl< zRI5bEr6P%dNQo|b1uM=jtWRx!s&|0eLzW3&GH6m;H$$liQByb$>R(xutWD$7;Vc|8^0H?8FX2?i~Xkq};%-%=H zSlbx=N}@w!i{;F;8ciUES<8uyv+e^BJd3TLT$uja3SdyEA{H#hNsO(?g3-RC2TSE^k#bnW>Y8<;)`8CzG#B1nq~o!7

C9`NVA>Uo+If=s nPP1DyUD}lD>(vq7N+r+K7~R#qo`13u4|jh6^=LL_+yVdq=-uD- diff --git a/lib/images/math/propto.svgz b/lib/images/math/propto.svgz index 9cb450a82f5882338160b35eecb8f36428047827..8f38af096437b7ef1005f3c5e470d7d236b2ae7f 100644 GIT binary patch literal 933 zcmV;W16uqaiwFP!000000EJY`j@w2Myzf^`m`j3?!|9%$*Fq~F92oGympqU&Lvkg; z61kALmhG=k4W(Ua0R!QQUDMOuRbAxj-Piq2ed!O!VHzI_(xy=T*iPLrZXSxi|N2nH zLLKL3?3&#)_7BB474Oz}tDmY$y+8EL+;{3U%v<$w{CsSir(XTCo#&_fx;~vwdbogk zI&A7+RaLF;?pDVyn>(cx`i{r@u6-yj7oMIEyCtz}>weeo`*A+jq^T~h>FqVW&E1DD zeLL;<(|BBNj>n&Gk`LYEYj&RIWS1mLDbm%Uy!ie zMGENM|MB~WbA-5U@Bf(&pD!VvoY4F`J)?iIeuYaRu5We@#vdOo!M57*nZ`ypSd|D1>2?qhCpp>3M#AVNqXbTu9b8 zELZi5221qR%-i#=td2@SvvnrKQlhrbI?t+A6>HDzm`c2{Gm^ZjoK8u^g|f2RlJ`ui zN?H<8e1nnEEJmU)4T7M_BobF9ln;R;iZfn?6P4t(c!`eGd*zLGl#H{bLw5?%D(AFg z8;mbSbW~!scPS8`LySqRgN;nGw2C@K78^?vZ7m17#aOhr(Il%3Mq!)S1tpl&8yp&K zC|c(fIaG8Q{}wYkdchZhE|m2W<6K!q9ivS~6!^a@<7HhT15;8_L6sC$a?T0LJe^S-JyW<4$AGoQU{6FgqKV& z=N+01CIoNM z(O_A|i@k^m#udm!lt@`QPtHWli$d5FG8Cm{bg;ew8FIlLnKu^222D%S&Zd}x@|q}F z3FWKFcE}A9&%Iio?%sw6Cbj8*3S?eC}4)9GYSY)@RKKR&pI_VU zum2@_Rh{->&v#;MGVsj`6h3RvN`OcUq9~>8=*dAO_5b? z<9AWhMmPIS`XNcsZRfM#3v@2S5#2YBeV&~>`g9E8v?b(xKI3vGaoZipXOtxS%_i-i z4;zFK_%{8v$am4)aC+*hQCQ@}SHAX5=n2D&M2kFM$d5~&Zhsk5_iSJ zn|e6SS&Sm)oFkMI&J$21{c97lm*lz?&iGy{r<4+?Ez19@u2wq`=duV#fZUGo=*z<~ zEVwLo5%ltC4=64CLqD(+KOh+)GL~u|vLXxFQob-|>;(zL+kXFgHzB}zzWv>Hk28dC z5M+PaC-9HAg?BItiUm$Htmco@dyq^3rbQ;_FzJ2O)|L*k`d0h@o zV7bpW37gkq4N9DbNaocAajg4Bw3|Q$z=y4I%VNFb-{MNA*W+yv4z_)$O$Z% z;8euQU;{VC9J)mgo|_hyn^;S%jdMyNtFhJ684(*ga@rzeuya;xx8k(H3g%I^;=oQT z;hY&@fDN{K0BFmc5xiKTU#uPDtiw~Sd88;FmLf^9Kp x%>*r2P%9;$ppzJioaiwFP!0000218q{vj@vK{yzf`A=t1qlvZx0o2J2m*xo&Sg_2wduZ8R^~ zZk+x5Qh6?l!hi*ihBMSi&#$NL29C`z_WNC>P#g97^7Qm63demu5YKuu5-!j}rVrf<7RGz{w$`7o)Ex+qoO%-{AWsVr+lV52Oa0TXNQ z0$dvv%>8QWgm%HRkPNvSE7eWYVNsUzJnPx%{m_=y7*mS-m9jW(`rYsU5s{h8^RAM4 zSIv5qgc)4l(2ot9^`|!0Qx} zY}|mQ*9MKp2g7O04$qQg$$`zD9PYppwIlW)7$$25Y0a)2eH4UDA{(=+waMU{aBN_9 z89|SRM8?FxlmX(9bJd=rwGS0xn&jyYEUo51$Pb3(kSNG(n9oft$0KiIx&smjC7;iG zV~|F&?i_&h62U*2{#4LQ)GZd)t5U)*ub0rC@k8Aq>pTIKq3STuL&my|}mcpFE$Jr@z&q JXr&1Q001uk?n?jw diff --git a/lib/images/math/simeq.svgz b/lib/images/math/simeq.svgz index 5e125759df24b3d2d57b3e9011b05384972905ee..bdc8d851adb09da288cf83dd1273d293c5a8328e 100644 GIT binary patch literal 647 zcmV;20(ku&iwFP!000000EJS^Zrd;ry!$Iy_0po^o8rTeokNQNIrP#8dR8UI7NUnC zF>#Ww?^05t7zj|ExU)06GoyxYfCjWpj`a1X`_zIota6~uV-B=bUk3JnkIBh9CpUn z;jlpn!QO7%R^={P1gHC#-kMBtZV~j#?W&W3SakUXR*Ht(|DeP1peSJ8F zwXUmO0$P#mp~@?NJ4STIW2F*Ar&jAjQ5B(B+b@Wjv_OG)+aKSq=L+hw-2Ul@yQPFL z5{ke5J?u~RuW(+K+uMFU_pR)DVKCYA}}tZ#;p(> z;#Dy-E8-rwUu+0Ov05R);FK|L)0jz^EaMVAqwmPU6BsL0Y8}xKgiU@SpEd{^Mx?P) hK`v;#;?K$YmmfHmZu(pD_+#!j{{Y#?^9aKP000NvTF~&{zs&gQa*c? zayDQ5%vR1qfamY$l%a1r3e|L3(iNd z7>#rG9a!5*!+c;cn#43~1~Ooft>BCOLt~Q8*f~UU6hWg8963x1Y+Rs6jZrw7Cqyz1 zel4A4J&7`g#M;SBY)X=!s2J_Fl`v$lrOd$EV6u+QUxwrty>pX>WNf7puOo%UmfF3W z2DJF4InkThAG9aaSLVTUx{O&7Q_Rg{F%CrZo krmMDv`ur9VUJGTlN0;1N^!oiL>vebY2MQND#VG>-09AwPy#N3J diff --git a/lib/images/math/smile.svgz b/lib/images/math/smile.svgz index 140196f419d0c688e6a0530eb59c64355bb4b23c..69d925ad9dd32e21c8f7cda2ae96829954567d7c 100644 GIT binary patch literal 566 zcmV-60?GX!iwFP!000000EJS?Zrd;vy!$Iy_R^x_z8kV~ND&}FPF>KmDlxVYEr!Iz zNx#0NzQ#15C$S{S#_tj80{eB03{`JUA9B- zcd#GeMX||0AOtQ)Uj|=;Qxgv0y1$#M^60^*LkPz$A*a&`H)j$Ler#u9T@l~<&i7#=3^M{(d9})`G`)H7)zEcAKh4g5`uIvb*0(R} zw9QG(BIcYUloQTTRG{gp59K3zYmGa;XXTVq5^JmSzp6J!n}}0WheL$i&hX%y{UNNl zsdq4XIV>W|YkxZ>cHt9}5Rkdl`B2tnDA)2cV`guZ#CY3pU#}JvaaC=94ddMz#xDuV z-@|>J4~rK%udD6tFm`1qny%dYl;ulIo0GNhMjW1wer>w69sM-ikClJ-dh4odl8Jl| zP1|0lA?H}Hnl_>J#XNKQeNI8nG0q{$tCTr;K7$z@%Wzm+>2v_29Lr1@Ocmu4AcnOS zHbWFU#jP>m5;%qh)tcE%YwWmU92kR@a8zd6VQZ36bIh$W)U8wn5SN%~qqNE>Ktf`x zrO`Y?3QJ{}GXTldJUUf|n7~eIYQYU)4)aXKX<8_kb`TU>Yc$J@h#i>~21tp8veafq zW1Hp+D~)9fv<@52tdk3L4l}`|j@waejEsH%P5uY2k7h5CTi#Tj?z!0f1<}htXA%Se E098#6@c;k- literal 431 zcmV;g0Z{%QiwFP!0000218q@FZ`&{oz4upe*g@ODvPkNSLEQq&wY%-Kn};a2(R{&n zy~5@^Oy_P7s6A9wuFo0tY3TYnb6{o>I?d{DUd-8$mT$*Pqk_|fJ^+QNnH-Ri z7Kw1{RIm)2xo^}BFHG6xVQN%A&!<&gFUz7A*2l4{$rw{-`CG~AvKtQ1|0_fhsjsgp z8{VYtl*6f=d)PGUyXfG(N2pjkPfSmuT_k4<;3HaIN9`O7RFo|T@es7JF*>MFi<3y; zG)Lt44y;KB7E2!$s9i9I3Wv8S0gR5`6UL$v44e35v=7KAS0jPZt#h-DB8A1-$N^Ye zLgx!$gniK!BK(tQqa2O@co%JREQCgUVEFf|KNSpl1f8wKsyYv)z740l;-|JtsIKWe zwufnZ9QTddxAQn$zOaFEa;S)G$REzKNWx!B$IFzUtUGASX!C~3^jH0uwvGDyrU$Q$ Z;+QQWziD^xS6=GF-ET{O0DPbV007LS)vEvi diff --git a/lib/images/math/sqsubseteq.svgz b/lib/images/math/sqsubseteq.svgz index 4750aa248248723ce68408390755196c5a171c92..a6625010b1a4d24078a71fc1c9c277dc1170fe65 100644 GIT binary patch literal 490 zcmVuWnCB-Kb|#d-PqT$gt*T??MoFzVjyAdLtF%7|WSQ}5ufpZ6$-V6@yw-u6cA zpy}aVwJJX#1ilW6TP4AyZ37<6(}Gn+NfPA+VT6Kzge;0lL5dWhERKpKAuJ1mv!!`l#NZ7)`Z1KSC;{yp$&-w*5Xo7b grg?~5_&2z`U`-LFd00j1w_dIO0?!!B@Sp<#0OTv~djJ3c literal 381 zcmV-@0fPP?iwFP!0000218q^gZrd;r-t!b!bYMF0bVrJmXhaE+$wRUg8nUSnEfKY4 zLt-rF?L#?AP#^^X9*+0@;du9OIqc!=$0;0#N-&amxWBpkAtn6o!vwpq_b@jTbbjz- z6MYMR-k?2)>D(QF(Sno-pE~G$==xX*MFw-`QxyN|a_WMgACH&RDTibklvZe+0d|xa z8dj!&Ikd4)xR3WmDWx2yO7tzut}W6 zX2Z%nebamSvLLjYwAD2snOx^wECPikrRvYwr^kzckm7YLnM;wS#Mzp>yADoG=UH6a zI5xwyJC27+9GWfF3Ukm4T@^Jl)95t0`fy;6>{pfd<__XLe?nvn(E7+6J6-KbX$$AVmZMZDps7t#LwOcBL!k;_Fc!*p}fvTNJU4wKUkA8*9H+F#Y-HDf%9 zDCZm#h8c^zA{t(;6ED%d)xYsQDaPJVunp38#RpqYSYup_>?_ z80fhb^iwFP!0000218q^kZrd;nz4t3P?4a%-nv^WX3hEZ@aqlga~jUg0T?}KEqp=H#?-W9sSG*HnNOqoJeLKfI6WROf=od248|Jt!2t&n zg@r|_U`qAa3h$#nPm+|~P^xwuPwOn3rU@sD$G*u75oKb(P}Y}y>VE%^$RUL6+Eo&` zj=MpgQ#H0wm+IN0%~#Bz2@B&wuv_iXu=im@=)7Ym6^GuNeB-bn>%&$v+Ja2+i6Lrs zY~0hAc`vht6*&-kD|)*nB$wNqSN{h5>1`JBi-IKa8rIA~Ws*2sk~i1JscIstD;)c( z8+OP3P^v>U_UUqK3Fae@ww?&N0L_M-$JLKn^EyPh{zi_L3R&R1oORpBU8%k=mhe`p ZoC9)jANI}POO}3r^A4=_u{uBk000AtzqSAX diff --git a/lib/images/math/subset.svgz b/lib/images/math/subset.svgz index 7e22e020172b89cb3fbdac30681075089f192538..403e1fea8ab5de79b6c9fe3d132d1cd8473341b6 100644 GIT binary patch literal 549 zcmV+=0^0o_iwFP!000000EJS^j+-zP-RCP@chjoz8w`#JvzTh6k!ID0x~9efG&~}3 zhM9hSZ6G00M=C4Mx#!$_kL~2{wW-02>4&Oo_mE)8D5GF z0Km;{hh47sa4{TDeLV?tO-yYX)7pVB%m`fNdX;NGy?QaaYnrYdCTBZ*yb|~M;iC52 zjA9Zor4*r@aE_b;4R5W@UeT@9?f9ORQ%Z@et;+wZZjROyW0l*|K^{-AG*waB6<7Hl zIxmN*LrHE9gJ);nqW}Ujl^SESJhRzaJ~PqebrKhE_wDP$j2zZ__p9rl7wA4O$bNSx zHy@@KI?46!(DhAb)2hh|&Pz|#uAcTrA)~A3?_8UY&pC9=>R3SN&>n?A&z3fxBy6mScNsb!Ip#FtOl%ROm`X0Cx?#D%l*w2q-;z0AQl?^{aOfUb6kY_81pm4m z`Q#T00?gbll6xRx8~{miNL3uiGrR{*5(pkiJ`;jt8cM~&ZOCx!TDeRsCnM~ipNOxx nnB&mRh=QwD&a@74;168iQNa+G(|siV>eJ0%9r>NEB?JHf`7;KB literal 421 zcmV;W0b2eaiwFP!0000218q?~kJ~T|-S1bh=%98GE$YiwaJ~b2%PpN++|bR166^yPGAPX|=agLWD%8K9sR zyHpC8Qa!eux8O4qci9c4Xvguq%d%;ja58x6n@lUEGL~OccGpAde*G_zLI~L{D!Ab~ z?guvKYHXn{#aEBU=0qSBs=^2B^EZBaql`DN1}QilUNn*=)@jhFn8JeOuR0eztmGT;y0-Er9oi5~!SdP^`An7TVwPV6pwM|o&djx( z;@usx>VMmcwvWNecL)8|{2?ImG#ZlHi;U-!t#fK___=B#iJLq2RX6NU{jn6sYV6bX zlTk1qHquy^W1)E}nv_NNd9L|AM3{F^fqT@vu6Y%^wvYQ#d|VXay%d&mG{G(E&35sI PpC0}IJ}^_ltpWf5UH{5I diff --git a/lib/images/math/subseteq.svgz b/lib/images/math/subseteq.svgz index af03693db8153deedfae0d9134c51f382756b0db..db4fa4a62b44037fec53ad1a55bd6c7c56040dc2 100644 GIT binary patch literal 580 zcmV-K0=xYmiwFP!000000EJS?Zrd;vy!$Iy_0po|z8kV~ND&}FPF>KmD$%wOEr!Iz zNxr_MtVA+kpgM8p&Ai8XVtVt^)Zp3mL)Eq0gd&mv*A`t_wfk-I`_~;b2^f6dmU-Q^ zZkx1Sa+9snPY{CJ-sRqv;8ghoxNjeaB0oCt<>38sgYoHfLe)f~uHWOY0K#mwN{8qD z3IGu1w!@|@w#j5TKK1n|EDP*v*SOXXm?DakSzgTYB2KTKUC}j7*AAnz9X>C_eYyKk z$J?CvD5BO{Oc-Vi1_c~mTc5wcOKZ5}H7g^8;82^D|5aVAHWH_*^oIbM8R5ZI`-7ix zRc@2uWl0uLTDsj3*)t!JNB|y7jq`b#`+P3HGkWv}Nr<=k@%`?M0xpWppRRwLVECdS z|Jyx<`APOcr)9C(b$yfjtZMSTi&?&fv?-no7h?Zj zK!PhS2_E9DI7M7jsZ9h-A_Wvd+z7?R8QuaR5a(8li3kpBjIw6UEuusU$rqdyNJy>K zQl~63ln}G%6qdmjlScRknvjHA#6^gzV=9Fx)rKhmr9qN$A$V8~S%2_v$@~WQ6jC$( S%QQZlZ1oQY9Wr2H1ONaT!W5VQ literal 454 zcmV;%0XhC3iwFP!0000218q`GZ`&{oz4upe*g@ODv`BqfLEQrDC5P>_B8T2QM6r$K z3$_=h|9*7hrUf<#kibXsk$lws<9WA*Q|kKmurC#%R*w&N_n)#1o}0FZO}kAnRz1{d zpSo&DYxwmF>r>mG>Kzbz$TEo+3!2o{%}^@V4lU7fP#<|otTv6`4rj4AqIMqGF#70# zqLvH;bEbl^T@Q`KUGa%Yy4?4rYKGys$n$X=aWr`7>YTOKxs;zn7Uyld|NXx}iZSLF zuabt>Y17MdtcC{GrTXE~*gyoC#zI?mVU^JY`LHxd(Q$lYBuiQbo*gnh>B0rb7&#i| zcfg<{ZNt+Iu;@KI0!A$q7BYuE7!EL#-+<-Z$SU*5ME8D{wKDpB?5iw|E^gnMo8bdUuC}3uLN520v`O8fVjoxVE%}UF46e?Ai{X%QAThA9N5Q@yUcatD9?d_pM%qm`YOP2ZUv z?0Wc6Z1PVCfyco}Yc!Z@TY=~9byV_Tz?aI}!o|tNFD+hTx!^+fUWmjD59dup} z3x{%T_M>MP-Xj44nMbX$QcEk>@tH|xuamfX+n4W83vyVg?eBhgJwdm;K>q39Ts|x= zbgtEQ-w&;{McvBM_%7dE+nlU}8?pU3n03=-+rf5hjV$NJX&n?KQ#;GK^YMGPs9n9z;ZMC@k?SPPD>K6;L1dAjST!14$DUM?HHkIfB9nb4`@$aa3ll(0M*3}8~^|S literal 414 zcmV;P0b%|hiwFP!0000218q^sZreZ%z2_@f^f2vVsM!}IN`U&@Tj4`*Dm0b`wPiz^ zTF&2>vRx-g0|6TH@sW?qCpbQLyKyhsRHx!;d~su+6&!b2CAghBP)M zweaf&+EboR-5w-5;GFp6L7#Hh7pmbc8flM(y{#+B%W3|0IFqL$3S&VTi(W;L!K1Vq zZkY_`+?JkrSA3~NT@F*t`cjUos+#8+XN`xktCSF;BKaF-b>8LS_eVq-W2`PwMh&-V zJJEA&N)K(#zB^Pp7zJFRv!uHrBPwmfT2hNa(3~2b5g~#==XKB?ICU><@c$zlZZNng zt+&=M(mp5^H~)r;{!9rj*Qbzjbg<}LyiwFP!000000EJS^Zrd;ry!$Iy_R^vjpOQ!#vT{ffAlE+7vq~|x5Iqcu zwv&8)my&G7K!EDR*`3+hp_tvhG&MT8eyF;3i#cH!xz=`N)$X?V_pgUYV>I}pEsMHq z-4?eUzROqHrzk@Ay(_#c(Yf+_^w>TRwm3NSW$*oAL+SZ^Ce>UdUB9DWQ55B?RW_V< zD})gEw!@~hTRaO6$G#qkrKPTRjcfftIpGv9bi2@PaIa3zc1_c@!>DYB&+o{6`E+H6 zZO(EeabpZ+f(j7?U%W)OQrPh$sbGvz=q=3uvTm+66wX!Y_W*?+;oeody|Dt54bo%lEUr?I^ox?^wMhrhS9O%+7+r?2Yz zF__G;-VLpM?efucI$l!HImR54zDt?W%N>m9Q270%3b%u#SnHUi%m^b9TSuBCu`!82 z_o1Z{V&YT_gJMaTh)vAbDI;l|DxfGqq*e)2>m();csxaQ7{UnWBH>}kqKh?Qpi?>w zmV)TSNS@37Mf^yTV~Y4)Iit4SX>0D zBtphgrng~lz#D2n&J|IHDXzjA5Ir5OM;ivEslo($!^;EP@kogAM`htnAehrW G1ONa>>KAYT literal 443 zcmV;s0Yv^EiwFP!0000218q{tZrd;rz2_^Y=z;A)6gk7yh!UW_DQ>=t{-9DZxYP)2yNP> zp`KC$Ki{A^_T#bLf|d@7g86Jgm-@DwDuG%{42MbFht+KLY5ul9v4v48>j2TofDUx< zQd@${LjiN&OdZoMa1O*d?#4=V({xyr!PEy4td0R le2Z>K>q>mSD8gGM4EuGo7xnh`5Pl0039f*319^ diff --git a/lib/images/math/supset.svgz b/lib/images/math/supset.svgz index 135646924cb096b988f82332f0e73240c95259c6..52fe62ca6efdcf574e3c3163b8b160860cc65dba 100644 GIT binary patch literal 549 zcmV+=0^0o_iwFP!000000EJS^j+-zP-RCP@chjo)2^bs^W---Bv+YA&Q{yCPctqfY znSOn*$pfN}R92jG&$;&=+u6fwQ=^mZhpKBgSWu3UZB18J?QVmA{&*rOMuRKbvZ%Y( zZgAV-hkTWNAOt=3ws5vYW99bfxqTT-aj@vq-nqk?v2h$}bs=fj@7QNVNWNNS!)dod z2*KQTSeIslFNVXhuP0$?n5}JNTQ@L41;ex4%yQ$WS0`(_rs>*Ya<;?Ag}5)bH?`kp z3@4G$S~D)0lmrxHcxzqpO75+&<9k-gIcHFtmH$=U9jzzEs&spRGM(VwR=d5MaaC?G zcqPsOWu@H?o;~v(MHsQE)L2)Pg)8Rrl}RQqNFd(&+t;Tv0&L9sSJ%H>Abeg>{O*o0 zALlnZE6sY_^-baOswsBXXZZqYGd36Q#P022=cebjy&bw^Z|u9*TbicwCidM`b^Yvz zTw*PnR<5@BH1qs>O~EcPE+N?>WyY>&Frh=?_Ggzr9TZB+W2HqLXoYw{Vw$9(kRb|V zs$-diD&WWSTXxWvTOD?@tJ@iJ!1V&9r z1Te<`ttPrDa+tTn+DjYLxiaspov}V zt1;H_`wi+#8ZONd2pwb@*E51PrluWP!x;<(ok#JgON>&SzMZa&R6uDRD67zr1`2YC zOQ(P-)nm(b3qLEd%Wfz|JC5f~o=?++lg3luun$~=smH5M5j5U;jaC`Jj|CU3m1&@ zyT#*n^}c3c{Xd#N9*Mh$UjhW2NPKbGQHjeWX) z(Guo|L#B=OSg>h4eke}4ZKW&yIU?5eWS zohpJ(2VeIuJ9|02AcR1}HN9RF_&^y(U7Z@&IjYv?+ow@BI@Df;Vj{WhRm6pC^%qRBLyKP)At5 z{jH>Px>2U=Bt${UC^;C&at%M%m0A|VtJO1xIOBt&!q^QIjhg+KD2I&fMb%9n6l)vSl)_2{1k({uc2dPx0Ren z(ONl1QCr^Xw*FAn3Pqlcfy*5>Q8)9X_YIh(v^#NLeeQFSQ6XcU%%}~&pRo%e`)h$3IrifDBtuM z+869+cvs0STC^5j>H7nv2oFtWm>$SY48pY-_I+{o(4S`OP~S z(|RykyGHGMpTp~vMKq={CK)|sxr?S6^rutlj-NZIyAH0IHX-!#Qo6HIOP_rWQA}~3 zWg^cuS&T`>6A>e_2@{;Al;<490!B0?Jl_x`5rs9Mi;SdjVhmHkfVBxJ!GyDf(?<|q z^OU4qczcv#7K7~sg*i^Z0FM_2fGc_lYEby-ehMo|GZZIS&?FWD@Lv&xE_jxU4Fed# zZ=7RF5}w5VkZ{bCG!?x>STXxWvTOD?@td)ONl6F^N! z1T&w&gmn4B-b<@MXIYbzX9;(>J zt{7qozdxY7H2tMI0-=K>;e19=$EK=>TqtSL5S<6{s7s8RIQ}?Y8L5EMI#61n3l=Cy zuF$Yl3K*Mms5x)uCnfH(?Q>BN!+DdY<2d4|@zhnRl2WE@zocxgho=4WzeEZlq_?Qx zhRe9``8XFt4P`EVI@HD!L88%;G=94h27|T1fkny;1xOq!axQ>I=e1q&PNH>|tbR)@ zI;YG|qbC>qmK7v91q;tgnba)6(p=!|C!x`V;I=DPs4~SK2E8X1Ak^Arun6DrgR?{* zw9c~K+}w6;`W}FFE``#W@IWk+zw<7nw+19S&28v6$(LocA^&M~kL~8%cL5D=v7&^6 zNO`a6vft{)pNlGzxWS<-+J1lPj=4A%L)TotX$jNEN1~1Om`!skvJUyKZ?%hNwBX$h(20ssI>%i8h) diff --git a/lib/images/math/vdash.svgz b/lib/images/math/vdash.svgz index 37c9520563214bd87197f7272122af170318859c..73fefe3bbc37b338fa302404563164adcba200b2 100644 GIT binary patch literal 458 zcmV;*0X6;~iwFP!000000EJOakJ}&=y!%&BdTG@Fw&VCqj`z@NrM>n;JyReyS{p1w z;@$rGg6*smX{B;v=FPmvJgSG6z5^FA8mZM0MmU5(D5kko%@O|k`G|4|jHQaxPAhSQ zO2dabs6HSBzK()g!NDYL3!c=oVRR7SQ)}%|5;9E_mMe+%*pSZvp*jdEb7=wqfSapK z$=MOEhT%MRvyd|)I?)Sd4T*3>;3j9AocZbUBAD)bt<3CH=Hrcc=QC`DY+Acv$&b)^V^}*> zad9%9U3iZY2*_OOg{7QYx|Od?HhZ1K#Vfymdt8vijFrFj_`E`Qynz1EXEz_#Z*;|3 zdD3G~Z7qA+2%qJPOIwkxa3{8}gV>rbZAW4Bd1T_<@8ztQ-b8*_*>z8T$QtXWskEJ_ z=b6j(nu4q`){x{TWks$#n9)FOySV&zKwjWOnx=8GJ7oBfMf*Gj;SQyEzuZxh;H)^r zVY&-_VISi#&eJFXizbQkxsZi8S@=8pM*kOXztTjgNau8wUt}Hp14TLQpmPHN00=GT A3;+NC literal 344 zcmV-e0jK^SiwFP!0000218q>tZo?oDy!R`%>VftE1`GyAaU%7UOK(*Uy}2^BQR9bf z8asdAjh#LY6%uH6XJ?k#?&szNXE%(#YcnDkC;Q#q_MTFBt^Ek4KRKB45h~ZZArG#A z_X`wfKc1@w1WSNY3A0v$R4KDugNOw)Qo%Y% zVDd$%k+znvLbzi)W~2_G-$cBx;H&l`2oJVMWqip7rZ$JJciZo55rAu(#!j&UF zeI9BkGV-EWoN_CGN~Wx}`bcBOQ=`m5FlnVqj#M*klUN=&OH6EIbL79h+tlGE^G3j< zY9(lzkO+OEn_som`@C|3EHDgtJC@zhWTeT%;OEDf!}Z`pmBxG|1}voDis`58%;)If qJ3@n@E??TzgDW%gusXseBT5+DMX&DF&xJ|t?!Ew{$WoQ_0RRAJv!wz6 -- 2.39.2