From 1ecc9e325d9fc9a7a855d1e74a0d3ab0c637c6d6 Mon Sep 17 00:00:00 2001 From: Enrico Forestieri Date: Wed, 8 Apr 2015 12:15:15 +0200 Subject: [PATCH] Math Panels: revise the "Negative relations" svg icons. --- lib/images/math/gnapprox.svgz | Bin 769 -> 809 bytes lib/images/math/gneq.svgz | Bin 444 -> 519 bytes lib/images/math/gneqq.svgz | Bin 486 -> 516 bytes lib/images/math/gnsim.svgz | Bin 598 -> 661 bytes lib/images/math/gvertneqq.svgz | Bin 441 -> 491 bytes lib/images/math/lnapprox.svgz | Bin 770 -> 964 bytes lib/images/math/lneq.svgz | Bin 443 -> 501 bytes lib/images/math/lneqq.svgz | Bin 487 -> 607 bytes lib/images/math/lnsim.svgz | Bin 595 -> 774 bytes lib/images/math/lvertneqq.svgz | Bin 443 -> 878 bytes lib/images/math/ncong.svgz | Bin 648 -> 704 bytes lib/images/math/ngeq.svgz | Bin 517 -> 688 bytes lib/images/math/ngeqq.svgz | Bin 559 -> 742 bytes lib/images/math/ngeqslant.svgz | Bin 536 -> 709 bytes lib/images/math/ngtr.svgz | Bin 472 -> 646 bytes lib/images/math/nleq.svgz | Bin 516 -> 697 bytes lib/images/math/nleqq.svgz | Bin 555 -> 743 bytes lib/images/math/nleqslant.svgz | Bin 529 -> 686 bytes lib/images/math/nless.svgz | Bin 472 -> 629 bytes lib/images/math/nmid.svgz | Bin 384 -> 604 bytes lib/images/math/nparallel.svgz | Bin 422 -> 541 bytes lib/images/math/nprec.svgz | Bin 602 -> 787 bytes lib/images/math/npreceq.svgz | Bin 643 -> 876 bytes lib/images/math/nshortmid.svgz | Bin 379 -> 614 bytes lib/images/math/nshortparallel.svgz | Bin 398 -> 682 bytes lib/images/math/nsim.svgz | Bin 567 -> 765 bytes lib/images/math/nsubseteq.svgz | Bin 587 -> 629 bytes lib/images/math/nsubseteqq.svgz | Bin 605 -> 629 bytes lib/images/math/nsucc.svgz | Bin 595 -> 797 bytes lib/images/math/nsucceq.svgz | Bin 642 -> 865 bytes lib/images/math/nsupseteq.svgz | Bin 593 -> 659 bytes lib/images/math/nsupseteqq.svgz | Bin 637 -> 682 bytes lib/images/math/ntriangleleft.svgz | Bin 480 -> 639 bytes lib/images/math/ntrianglelefteq.svgz | Bin 522 -> 701 bytes lib/images/math/ntrianglelefteqslant.svgz | Bin 879 -> 1043 bytes lib/images/math/ntriangleright.svgz | Bin 479 -> 661 bytes lib/images/math/ntrianglerighteq.svgz | Bin 523 -> 707 bytes lib/images/math/ntrianglerighteqslant.svgz | Bin 900 -> 1034 bytes lib/images/math/nvdash.svgz | Bin 425 -> 593 bytes lib/images/math/nvdash2.svgz | Bin 439 -> 708 bytes lib/images/math/nvdash3.svgz | Bin 477 -> 749 bytes lib/images/math/nvdash4.svgz | Bin 443 -> 698 bytes lib/images/math/precnapprox.svgz | Bin 826 -> 873 bytes lib/images/math/precneqq.svgz | Bin 540 -> 697 bytes lib/images/math/precnsim.svgz | Bin 651 -> 722 bytes lib/images/math/subsetneq.svgz | Bin 511 -> 651 bytes lib/images/math/subsetneqq.svgz | Bin 542 -> 593 bytes lib/images/math/succnapprox.svgz | Bin 828 -> 877 bytes lib/images/math/succneqq.svgz | Bin 541 -> 587 bytes lib/images/math/succnsim.svgz | Bin 651 -> 721 bytes lib/images/math/supsetneq.svgz | Bin 506 -> 575 bytes lib/images/math/supsetneqq.svgz | Bin 544 -> 586 bytes lib/images/math/talloblong.svgz | Bin 564 -> 566 bytes lib/images/math/varsubsetneq.svgz | Bin 526 -> 575 bytes lib/images/math/varsubsetneqq.svgz | Bin 564 -> 596 bytes lib/images/math/varsupsetneq.svgz | Bin 526 -> 567 bytes lib/images/math/varsupsetneqq.svgz | Bin 560 -> 600 bytes 57 files changed, 0 insertions(+), 0 deletions(-) diff --git a/lib/images/math/gnapprox.svgz b/lib/images/math/gnapprox.svgz index e5138243e4e933334ee6f2ec6b1f64426838ae5f..0f62acc6481ecbb76f82e55bf332b41990afe66b 100644 GIT binary patch literal 809 zcmV+^1J?W>iwFP!000000EJXdkJ~s5z2{e`?xn>_vc9a3AW08h6euuz*=@0BudPXp zI(A@tCT)NHl8O^&fGL_oL{jAAdt{W&hwsOhJjY>d`fi&^E;16ks;`@FzsXW)bVk|=p~Mx$w;2Aj&UmMaw?bWYs95mNCA24zyJJn z@xZUD^}qe_ZFb><3FUwN6ZFq^xA3N}){p&gET>&_EcX$$`~hk=`Ev0hdHQjR3+M%Q zh-3dWRPojI*444WqWqt!Y1_}(WR`UY+DvWSrJfh_sv@6d%p&tUm7DxJgXEpc>2RsS z=@8|)r&16>9Vrx5h8x1J1_rI6OyfOM5P7&2{3L%7z=I2v7UO2C<0&J!vHx%H^y*X38C#rtI6A+CH)&rL2 zLRqIZ6+qJkC@^4pKx0xOrKKuIM71xqIq zXBjw3F^lm)f&xq_M526U%rtk-cm)th0g~Z#TnOz25@yIrD=9#V;m%tvAqJ2hIzABV zXaLaw3E(hy0Ufv$P6>)9TLPBjCvUS)6 n>U>ea-Wbe82|Rvg%U=e*5EFz=uWy47eYg4_waM;169xbPPC;^QMJU0l69+?(fSyK5ge(~7LCt}f3mzSOn(wQhIjuDx%} zez7yFX47mJU9&X5U(NEl-94`!4B2Gr8vd}%x@lMIZd!3l)hs?)dxt8Ml_9$#Q_ zwk{cV&PGp$R4her4hJi<5?g zm-}|}=QBsjIZyiC3i&RZyB(INMYlG~Y4tN%_8QpK!MZFy-QdGh5I=V|iB~VCPB!~+ zg9RIL9xdev5pcu@>4_s-CsE@~O*SN9p1+TNJM!U>25}`^PDuzrl;oIaCqNd2GqJ>H zLCw87RuimBRvqja66To3ZErJi!toqaAP+mlgcXdGLymJegjg~lr%64|QzU`SE`?m; zd&xNzKsky4KmuMzproi8;?ZN&304SK{)mi1Q5;k$r`ahG1N%`Z&ajZUqtp>WvO-DI ze?Bpy`~~q40`6b~aST18&ga4nB=|xFB8k@rNkc8*nG)xuGgM1NrB8~GC(7qMqn<-g z4O<`e5UT*QQS<0>oCsG=Cl^0~FgJ=$xzZVzBGc>?2p%)&(NsoDdb!!LlR{64^$5(^ zic3rnG-a;Ha6{l^U(?!mzxufeeY{%(H&ZY$H` z(OFT=Qcds-O%Bh|s>h!etA?uH?6!-|?(T8>Fs&XI-L`%C=A9`&EVY*ajhJsj-PQ8< za^~-@F~bWRJzmA~;+?Oz&E2&6`o?Hpr&Vx@`;y<-SK}WZ(#x}d@?TtF69xbPGp%@= diff --git a/lib/images/math/gneq.svgz b/lib/images/math/gneq.svgz index fcb660d76be6216ad6f9d12ffcc5634289464681..ef80b3ffc409a261352865f3aba279893cf5fb48 100644 GIT binary patch literal 519 zcmV+i0{HzOiwFP!000000EJOakDD+QyysWEx|dePHaI{aBJ82nN-J$I{ZP-;c7nBF zB5=a){`%U6EQz#Ix!{>M^PcCqxO;9JILm%eo!+5{gb1YOolyF)L%)CB;|#%IDlMv} z({hJ&hwjQ%@d0D_+RMsF0i!ZCJm{x^S4Rn-YGaODO2=^|Y9>k7ALwVmxLmD@;e1#D zfSs#{t>8N}8;+;G@j}6=Y-B678E8ZziWWIvTtw8d>_8)A5pm&N1eY^eSaRFFWw)Sebfqx$VF@B3Zx^l0q1yB!h$z7O=HF;mh$- zdW1X;k`0OdKY>^H4jV?|h(%c%WGRW_Y@K9~GTSmwp#i*(g3!BTV6kOGz&VMND2-W= zlgv7E$Vh7WM@W+(3hhYib2fVj1MHl5woV2+%J#^74|qk(OS@okoJW3Xg?pcJ^$$fC JvXaUJ0019V2G9Ti literal 444 zcmV;t0Ym;DiwFP!0000218q`EZ<|06zUNm=)x)+2mYtn_S|O2o@`2te4!KdW22>kc zK#lY7JJ?PXMHLdu?0k>WH#|OH4tqGKaq5plAy6vu{PghnCClJf*H5tP_X(DIf;J6l ztmo9g?^kHf{d8^*fYL#hF`g^vQr~uSA+*+#oIB0pqb_pQr{%}-!j+CvSqCf9Is^<} zq9wR91uT6tcZ|E;uSz`SFcqSk=hG(7mt~O)$>Z4OS}B#Y{T;Ho?EB%*|9}`{%&%R+ z12<_m@o}o>4w^#zbW&3=8Zwebp^p`RIE-jZC7q{098$}G1+q|!=^R=F!FM)v`V zl7iBq%9QjToz>-MgO_(pW|1OCmEuqg8T4BtRd6PjM%w5JSjB{>yxo!vHfUFpBpV2s zt5_VjZ_d@5*jCG+t@kA-iY8iK6?*c471)IN)>1U9H%4xkpNDx7&~q*=W=JCEr1E=W z?e+dtw+Y3yoX2{YcE|Bhh(kS({pA}eSRXzzGS>4T90-Ph(tKYzf2RcNUx1OfuX%Cn mQa0U~c7^zQbA;DI7!{>g=H}kMzj)VA5B~t3l~>%i0ssKK!`VRq diff --git a/lib/images/math/gneqq.svgz b/lib/images/math/gneqq.svgz index 507a913ec1dd77427f527bf4a0493107d6f2fd3c..a5bebaaeed3e90f985b5197438a9cc8e7a9e4ed7 100644 GIT binary patch literal 516 zcmV+f0{i_RiwFP!000000EJS)j+-zPyyq)i_tI)H28SgiBJ82nN-Oo$cGa_MJHc8o z5q84vetn+}35m2)IT+@>nRy&zIKfC6(MfIgTm1a{krWtN$BpDo zXVey(4nI_j@)IHGTd%lN5)Inb=*hfT!4C?3shvA)C>@3&)>AR=`aS)M2&oo}(w_DU zgb>U%b|b|WPlCg-Zvs&Ysv6ZQ<19_%l;W8#X1egx^+}1YZ98Lw(%8>edf z8A$1Ry`~AHj1gcE`(_+}CAU)8<401KBngGy%=|Cw=4gFk(9+caSrK5Z^uBg8)^dwM z%Wws#lxk;vb*y`oVMIf#RgO#U_}o5MRzV9Ch`0Iq{c%Kqh1mS*`j-j9;|ct4cZB)4 zx|B;PHoLBGxvO-`_sVCvgR~``8#iS4c2KkFXxl5>9ebfZyk03a8DNA}jgMbd))uYOv4qCD(O=5uQPC zd6bQ75@#3wJ8Dsu11l~Nfj5*$mP82{<=$W!7XV1gVh}J85(dVXetI8gzCS990P=|B zK!hfcp G0{{SkWA+XJ literal 486 zcmVtU}hbw6~cW1$g@etvp*{E}trSKAG0*X?UHRfB5k zW8GI{y;Z+o)%Ma2m*$`lyvj1cOQhPmYud5UL%eZ|mJ4%efj`wJr2d55&=u$}E@^*l%RRXako9eBj7IWgZgSjVyBDN(Y#n@pFZ2 zFuns4nBbz@WC+#=qVgmA%UutFZSY}ZAO!S|)(n&wOFQS8Rc1s@*lE2~Y$Ow-VRmZ^ zF^P~ku}D_1B1atN198GpNTf8(9MLCnvi@&zCShY4S@gV#lu82Uth6IWB8iVXbaA+r zrqFm>ib#yfi}RS!B*_y+gF+B&@@ejfeJnpT_@Y%O_uOEXbS@X4FAvb%(&wtFQQyL` zua3j+)E^3csK&m#eq*ENPnL|W3lQZV5u*=4-{+dYL#^ha!UWEf%)$J|tG2Iqh5mXI cRIi1$CIKP8i8uG3OwQB8KgnibkOcz(07uaBzyJUM diff --git a/lib/images/math/gnsim.svgz b/lib/images/math/gnsim.svgz index bbd60d1df77acc02e9539f658a2941c2d597fbee..a24b8cf15b937f3825c1b1ae3f745e572e05c564 100644 GIT binary patch literal 661 zcmV;G0&4vqiwFP!000000EJS?Zrd;rz56Ss>ZL_RN?b&dhU^?t1PG8*7xb)3j4ecq zAu(~1ukVnSBL@gjAFNs4n|br3;_A6;;mM9uGxVE?(KG_vS3}+OyG``_*A3ATOs?$f zvK@N6iTWYB+OCREguwM^OJ{31Hf|5M{liq12Mb^J&K=fCay%YsGZ*PF?vk%S$ab|V zrl;Ks0B~yB@bML;CbsG-)~MC=2f-+GmH;& zia!r1{|=A1Kia;Pi@I9h4`WxlZPS%I>u>pn*A~grcn5Yb2fGYCjUDYYJdTz9@b%VJ z*LYI$(=}~->zB-DT?}npYqw$NDLh}1%xBC;CKp#0$=QRD9ZI)9vAjFLHI*@AR6`o) zR6@q7ig`vAkaH;KmXcJ*M6ggG+(X_<8eX9TVKB`VNYD35uHBQC-gydnnIUNuM6*wI2u5Q1hZSDB2B0-5>$ z3M9>BCY8c*In_q;OvGM{62gF|#yL(T7@+|I$D^u%ML8$!vvf~WLSe^n#dEw64-B$> za191SEpQbo%CKToY`jV5=N%XvfH96tcdn=hj?@nP*E`;_*H2K3{@hx?C3p?!P&wimbq}4-RihSEJ+%2qL{l#LUDv)Vz3mzi#R%ja0OPBeVfx?8PX4z0fOK-i5YT2`O4A+`2cjBlVh|oi5K8qcEUQF zrJ`g+FJ8!IcJ)%7*esqp&P8D)uNG66P+EyNkNR@_uKVwiXRSJ!%?1l(UCOkU%hWbA ze%drO>NyCmG;m}+f~o5?F4JV zj<6GU_v>pL5`wfZ0XFD_+j;F2(Le7Y2L@SgvB#9D&COMnr%uknR!F1bdWr9+y40WFd&B++y2(w^9bGJ1@wYPQ zQ4Yl>%9q({Ts?E~zCjD=7suuq#LGO&00$Tcl*1J`bv~0`{)?3Gt7&`KwfhWX)kB?+ zxvPe}h2Jl*y|n$MJ^-NyDVgUCn%vgSPzvoW24~KLc&|&GwR!w;x^kuyDi2x_YUO}p zKyn6d2L+7nc4!!TtxrPSG7g{M*u=@>JUH9$r&u1W|l!|#* zaKGEU>p7gOp@D5FetOg$!Zc>P%uzhpsyIyHj^4#i1Iy_WI2zm>v$&1gp_mkVMf3)ZeEwfBOt?w`95w^Iuyv jUEY=A>ud-wrLZcYCi7}uFE73e4|o3nNXdh&)&c+k0sq!v diff --git a/lib/images/math/lnapprox.svgz b/lib/images/math/lnapprox.svgz index 0cc2e10f8af8d4b0d65cf507f23813697270722e..82bd18298879ada1bccc7a160ce49823b7c64dc4 100644 GIT binary patch literal 964 zcmV;#13Ua5iwFP!000000EJXdliM~7z3;DJ)k`~-C;|jO;IW-UI+@8Km$sRnRY_}W zVoN)gcAezc7nHrWH@nm7Bs}8lJ%C)k`?}w$r}i**L%+&En@qKRJv3dvS!JL9`cTA7 zjZ@V()o$q9Rn`yLyY=1jr=n2r4{bHIjXHMIR(sPy<&C>mo*IlFrPuh$D{ z6L9RBX)7ki+1$3>W;&4&0;mg^SFF92I43APjTVLR1Q!nm^!@io<-M-qiiOX-oc3EBzUN}$R z9@=ZtQ`$p24v&YreRI4`z3);``RCN_b{|ubGp(DX-Lz}hbIsH5GmG*}<4m%=VYw`y zHJGi3YTBNnk~)e}hX`aT52z!s^~&T$&@wJVP8ANctOk3`3nXm=u?y-)(3yZYVWbLA zxiuP{F)1Hv`7xH&clAlJ&%wwFld+h}JMRNf&a7E*@vkL9V#ynjOjZXIV!)g=80(`z zAegnr-9V|bjV9(sj!`2b0p|tjz=1)qARQYEAupo#0AB5s*AO_OKu$D3%k0C*;7G!rKwCEoZDY`6uzj^2|)sV`ky zj$|<>O&BBC6cQX^U|}pO5>uLy*Rn53hVy!)8Hwc9QtC*Wh@wsiNqQ#B07+&iGmsI> zLb7*2{ucXh6)3z7zEUCFih!>*aBoN;nD!K8U8T0w;G&Dqm+X`wQV<~62$0Cjwi)td zLN5Cv_XK5~Pb-qTXVJ@0fHY%7AJT?MO+s(v;->`(J_(H;OpLOzqGME;Zhd5P0dB92 mEShi+g1&qpZjJBR^S5ah#vVUr9EC(GmmKJ=${{x@7Fabr z1lvIVeLpX(p-F^b=ado^!fYIT_I z)uLY4yJ=g`)bBSndu{fwi2QH?>;0%&w(a(II6NE<`r!0tw-~~Q86x^w<@Wf} ztp9wbXj4kV?zTd{vwFVAv7NR{H5*kwqb4Vw)WB-bV$#!qw2{a(v6?O8!fP_o_({=> z+EH-)gpcI>#OTOQ9A`~uoWv)5z=cnf_s*Y7I2eg%6DC2Y7}){{91YR<3P{XBRLK5` zQF14SM0qWoM0$Dbb2_nHJDn^=n5PiEb&!3CI1$k%pTYzRKI9B6k`xDf8!STxO`o!V z$0_*?2nA*UNWe(}a*858Tr>(#L`CU@J|cxEYGF8}IKBpgCs&BVhERHQp;{0m%Qi~< zPbUPFKO+uA5Zh~SDfkW%<5G?d#JjE!65)g+{>C#liT644fTfJ^J%%pS8`0j$3oa>Mjkfwe0v#*QgU65ivoJfd43tA5xUIDcGD@C z2MSnZuus`Hf|>LP7bM2!8YGOM>Ibs#{dq`GHAz?z$XIi1Sic8nxvW8d|9-bW0MC_b z@a8P+fMPYoD>OX6MvD&LP8YSUIJa ArT_o{ diff --git a/lib/images/math/lneq.svgz b/lib/images/math/lneq.svgz index 45aaacd3ee63d53c244dcbb1f9d6f14820c4cfb9..936fb5bd02484a58211a909cf0bdc54ae683c9bb 100644 GIT binary patch literal 501 zcmVavR4(x5{oV{?mv>KXgD$!sOlS8vi5W)P%1#-3+~eQB?n#c(;DlA8 z>8##k+u^%vRem4@eeJbyTA|Un8a>#@L5h<`pK9k$J4(lKjLlq(yZ%T&BSNaxsvIuI z6+#H++F_^U9?yZ(xo-lfB-M>>wRHnc;)LP_mkTcabaTDt#Dyb*g){#)t;1)lMkk#A077+mHnW*4zE~c0Vc5QttkA{o^d*@qqZ-onbz% zUdyGDyF=Hv!d0dfN9}j{0^62!G2X!L`J|VoQ`=q--MN?g-Ro7dH9katI@2@{e#pGm zO;h6q83ryQq0vOY;N@QZ8flX9a73lQjcWA|3~VWSxB~zHPr37E literal 443 zcmV;s0Yv^EiwFP!0000218q`EZ`&{ozV}yf*g@MtvZ%L$x&?O1!MhDP^ya~eEi`cg z+l|wIKRQW+p(q4cCiy)GQjgE){SHoP81tbo84AgspB^5+aSngFJi<2b63q1oZR*od zPpN^w@6ep`cxv~6!U5-mrwF=~+iohEQc7s&juZP|7b(hV{&hH0q@s}4!Gg370fQH4 zHQbmC=G;sj;jZ~biMs5^l6BK`TouJU&tlf%Ftmk|QWj)?gRIWG+`oPW#2907sWNJ~ zN!yXGV?A}yl8!%_hwJoHOXH%>T099IY>$n%W%z$~3@(ZT1JZ z;-=nV&`MkY%4>T+`RZKvNMpo8tFx}GOINP#bHxNLP+-07k8ig#0$f$wKg0O2K=^q= z`FD5(e_UM3d0lPqhp{VN(RAhB`dz-jwmDlHZ^-WDXxE|h*wIeI<5<~uueYwc#*5fb z*R<`OH(A!Y8rrzl7Qu7=Ja564HI^mW)s{IspFu#!(j8_MoX&TYC6SRdi({pQ2T2?N zmq=?0cgA%bX+h(ZE2TU^7%F)z6M6R9(Uh*C5)F;_a`NJuI`EpCMndCV9pcYf`M78 z5lMqI_7ZaGCltK1RDxqhL7k=Z$Rv=tK@h}*>o;yH!8m)b@3lUb}-L@Tw>TFOlloq3h>L8*d>vKF|7JUXo~Nmv5(wL?!_`uM83x zbc$jCa;$EZS}ntN?gjUr&rG87I90lz=kuy8mt}#4;WT!oLBvwp-yo~YemMU6ACOW? z<@HpH;BC8`WH~o;ueO!`?!j=hMim4$L`<8)07f57O%N!^ffcD9ZGA_2VB(`fNk($gAf9FXVwfRG1WHbnN@+n8As>hmjzS`(A#+5ZtPktI5;F;-Wn$^)F`85xaL%GvA|x8oafjX% zuEh>QZ^aH9WAdUrCc-3nV_4;OsVY7m<{DxxmM_wwd{cTJz0t|fg9 z=dn3XyVH26^r4x@;qrx1d*iH diff --git a/lib/images/math/lnsim.svgz b/lib/images/math/lnsim.svgz index 174e5f17583184b6f3d8bf2ec78bd44415f7a6b0..4a690ce641976c8966b1bf4f0fc94655b7ff6f63 100644 GIT binary patch literal 774 zcmV+h1Nrao@ysE$%v8etfs2Zt4`$2`=4FQ9^yDPL%+>H$c)9l8tSIsZ?k{Cf8su4(_Hp- z*$#c&X8n-8->o*UIA(G7{-0^mT|sY ztv1uce#ICg-+o%x)i%2jj`w4`0PCuVZR}z{PX!1lvMap0!mH%oJj80~x}l#IW;8F4Y&(X^@K-ITWHeVTN}ish+`b6J;jd3}D|xP?m)I&b~; zeDUY4tFB3;;@jM`?dN22IqOEWncKKqJkS3=UQt}mxExvBT)8P8J6NV;IUmlf)D8YldPv_ z6c!9B&wjIxk%HG`oP!cU0V?uBVUTDx=aRBW9W1MeCxrqFmT@h#m%*DHoN&fk1B`y^PI zVnxszZ0^a78bHdm$WaG230q}?^$SH=>o8A@fD!_^QEUVU=GoE_Qd*P55d>1J)CEf6 zt<%Q5ylknpq^>n}LOm=wWNPbNkP+yWl;jRZ7~{OuEcF9MX}Dc3{b*~+-3zH4RjPz{ z2#5?oC{5=;PK7waYbr-;DhHC51Rp5K(hXfr3Ql04pMcJzb}-mLq0Zfa%2PEqnMe}K z2?{Lr;lWtEj3K3_G$ci*y5KE6aa5F>)XdAv-`VvW-vbA~d@GyuS?*SU0P$(`7QqDo E092WP761SM literal 595 zcmV-Z0<8TXiwFP!0000218q~wZrd;ryyq)e^uYEYio1LVQ3BML9^6}zLvAiCOG4uZ zBsF&azC&3MjHWPPa)+}I&F(%tUG}fyt?q~Jc&H>PEuS9m9zGR?_}O-Y*mbY9IBy2g z)Q7s?jP+LhdKcTbZg^|#Gni%B~1`rqg;xA`p8NI9-HlqSS6`MA0PENZt#ICxWX0-2E7M`2YY z>%#)9tg_B)zGaYSml-xD9h@)FV-=*W)Dwl$pvP_KcV7SPBZBz~oTzeF>GH36WzUgg4DP@J9q%#zc(RKvKeptZosg;4pbm zFeTX9u-6XB$&&U9u;Q%S6n0bHKY!@{N909{4ujcHK~a_%)p8!$X2MUK zrY1R=W4}2JyJNqvlAVb>n-{sKVr1C})e0092%9_au8 diff --git a/lib/images/math/lvertneqq.svgz b/lib/images/math/lvertneqq.svgz index 14d897f9e2c144df9c5e909b242597f7c24b7e99..512957415fcf98bb56c51c1eecb77269e24888a5 100644 GIT binary patch literal 878 zcmV-!1Cjh6iwFP!000000F71KuA?>-ea~08o|je)28_8l0_LGdBaPIjc1H8;gMAV@ zfHTGkNxpt;u1OB9iWG^x*4kHZob=4IM5Q%YSAyBIr0;k4IAvy1cSYHD0_#h&N6hFg^XPqk~!K#%4(%O?P}@}vs! zX8Z(dgmz!Pyv(HIA+Gsdm}#C5Ss#Ynuv)Z7R*2S}@ZSI7ge}mOTpx^ylioata(~c^ zUGfZ?7Vuz40WhImuWJ1z@bL%7^FT?{XsNHJ>JgT&|A<0sSqa6O!qnh(nz96r;cW$I2d z=&d8uhvyTNO=CVYsT^~bXQod|Eaz-z2oj2-ZS0{aq!Gcu+d2^8G-wZ&XAIV+ufzG_nm3f%f3ridi@%er}iCgT4_R{4NLCNQ*hsRGzB7QXOAdc-Rim4n# z9lO|eH{`Mz$LlUlr)h$T;L_KrR!XJpz9PH(sqKFK55y2c zy4*^xw~EJsw`(~zqRQoW3!1#qB0(_Dt8hp(C~uuE5F9$bFkGrtrr1aeq%(2{J_Is_ z0_(_=n@LjS?ST(0VM6gy{AII4Amgk%C~yvKruPIa;_#3tAk5I~{ff>R?-fz@mti?g zZcd=1EL#v8jCK3>Vip}`2x)`Z%4>GokhO*lK=1)o*lhTotS>&4{31omjjJ(HGUZOD zYe(xPeJ$&VatX)2?1tl|Kj-pXj(vOoLQ2dZZwWc0Av4?=pu<q@@SXY^AUFUi~WrB$;S=y_my$bBjldFcV8~Q0C`|0DG z=CQti?G9>AGBycoZN?!3px8mDm)@7p^csp9--80@Jj2@3`QNUq)rQ2Wsr>;%C}MbU z&Hmt*xT&`ZVj(ZA?`I0dai!Eqx{r%hR9AR8l>)*rp za1QYk8p=PzBl0J^*Yu{Y*7w8Mm44TB<=zD^U(oF)TMAdr{^jVFq4U_$O~d0@xp%L( zuDT|GvLC)_+q*z=w)JLc<6F0job&PGB0JkSo6O$0++>#>#OPT1!;A{sA*NuEf?}Fb zAyNQR5vrL~MsuA~$qFrUQ(zI8(Z(1|S_XsyXZiUk1hX3QT%{a?f(fHIhg37gB}l}A zKn|fvOMn$AX9bc-#zAqFBAJlfC?JOE!YF}L1xGnTVefp@%qXobLJ7*yxfM25n3K{f zA}rG>esMZgsXz%*A{{3j6#$Vu21t{q2o7pw5E08cK^yw291cAG(irD5CU_8<6PnNC zmb$!5qk)YgT?ny?cF-oSMp;0;$OGDfLgUuvM%q;16kH1tC>LK29(3ULG;Xg@0iT1A z1p;6beKxf(Nc~r#M;SJ*fGQS&7MD5sA4e3=Y77QfRyoI`0^b mwPCZ6Qpm%TFfZY6vb;unLBYhwaTA{W-Rd8!m8ZTW1pojusaY2Q literal 648 zcmV;30(bo%iwFP!0000218q~gZW}=i?DG{Hq`0KG)soz&Vc9^`s8G7VMLGpK-5p{* zpu1S|-)DC9auFEtiL*m;$en$BK5bsrTXPut-F8}$Hr4afr^nBAt$ud>pw|6sqmIi# zwavCUEXQW0e!r{LTR*(D8%5fyx&|MS>YBdo#%aZdv`uM0Rv+sUqP{tP-<=R~(#9(m z(UeG044Ry%OJb#t{c7w$JL9%r^B+aZA!jBAuB*rPLt@F7SfIvb3yonTUz|3jy@=k6H zuTAs}268Qq)J?L}){yfHFqp8`45TCxHPD`XPKhDKsGN3|qsxG>^XMAcIeU$v(+83G z;oJ$ERAQe@$hr;rvj{<{h0CgPhR02jjdPoO+k|Z;7F(FXxRhp+M<&VY42oLCIsr%- zaAY_GNO1lJ%-{wCPuv+sCs?QGO=!;mAUH~CW01=Wqa!$`EDj_4h$^^0ED#h-pS&t2 zi&Cmshw)gGEsMJVGuA#@8}AIsyAFjRE;3^DEqlcHWm=95fj28$g}vO|f)gt+2SbJA zv9JERQ?K5eV-v=jw4i)HxHqF+aRUxO2mwW6GAZ8edNt#(O7-w_OEsrz0*6m7PHzjo zU$zZZB^(dS?Xcb*Hq&ae91s2Js~DC4@Tn!(tP>)c2#frdbN&vEx;|bfcyReKJ#>d= iJ*~c+JF53-Whv;ueD2=f{^5;2efkF+)i57!1ONan5jnH~ diff --git a/lib/images/math/ngeq.svgz b/lib/images/math/ngeq.svgz index 5a3de9c4e404d4236bcfea47b7876d7357ea1733..f34ffc80c5491ff90fa95b44f5b6dc00cc213414 100644 GIT binary patch literal 688 zcmV;h0#E%PiwFP!000000EJV_Zrd;ry!$Iy_0pmeMRNHxWarQ#Xn^L@=UJ5)TZkTp zq}WNmzDwDT93Vh-(k^FaXO>cS_1M&8@B5+Z+Ev6Ui->QFuB_V4D*E;FIzai9mm}=O%I0ytxiqa^_%n~Ns{$q zkq!IJf)Ijp+hJK2tLQ}7J@oYiEQ{3FzVYoiq@40Jn&HI^FT(U{?~AT!x^|eD?eP8r z+?RJR=-}o66No$KQYKO%5=11!Q#wG#Wch??vvfXq1suKik^_(I-#W;mbFH&adc?VOq%g61Jh1QQB-Ry zg^Q)4+=AkgSWBhimdlt6YEj;zk}(Q&ATY|bipr`?GXciTX z7RtC77s4f1mZRgd(!>X};T+i#jH5ML7o;W$#^nIOLrBA{vk1^s87XX7j1ttLD`uvp zg8^$VZveP>iSV^`fVfTdK7K5 zZ-#nm*5dbvSfBdw)b0f6Ae3S}TcT_Fwwp?6BWjDsNq!CsZ1v6jayYYPNgE#oP}CGq zK#CeXiYrlyxnEBm!>;Zeh&ArVQg+jHTolDT&w56E7}~-bV+u}wgDlS5e*foxKp>*x z@+w*Gy4j3;9P6nQ>r%c3&YPSSMh7$)aAjDaLkDqbbuh_Qs9lIcS#2nKs_q2EeglzK zdP+!Q3w(N51;nz_(YQm70({8)JubCMnldAXAIjpvuQ@_3FrI%I0NgdNXK+a?Kl*mpvZ3U>ISc-?#)B0y3?s^ zhnd+9e>?;C_1zPCn&x6=5X2Y@jRm4)gdBdhWBEhAr1FffQBiAMaP5ZtE$YQ;r^KbH z#{-8L=J1f3{b9VtO})*Si`kB&O`YzBDZAvS$Y!FLOQ$rJbvc%|@?(Z(E<@Pf`rp4l zED^_5wf@%i->)J6CP4XLchCK^-BWr~SL?g3Kb7OIIhFe~d3ncfH^r^+0zCdar<>>^ z+oz$s@2m9cdF$%bOr+xT*c^`^rzTfh&qSN?n09l|!|FfO5qED(Yqqkud!a-)^k5y^^R6gh3dup*K2 zt{Vw8vA$OsvfHo@4Cqfyop8eRx^6%B9C z&ztg!%bFJmR*?Y%j?*iwFP!0000218q`GZ`&{oz4upW*g@MtvPg>hDC!p2DF^p9U%#-YBxN$YS~Px zYY*+XncJ=U@v62j!}QYa71*GR5xiKcZ-=g*YmF&eCOpmh-@G8!&@SJOXR$C_$3a0# z7DALWT3}MwNUfG(JNJTn^OsCgQ5=+A7IG@u1o1Z#t&5y^ZNT~v z5d|x30m@5o$%|_5AQ#aoWPz;SV~c8Xo`6I(h@{wnm6uG)6<+DwALzBGE3gc%;G`Kj zDRc|LVF2-Nk>}bS>zMIggvev^$RbTJJaWIGn$bQ{|Jxkmo2xD+A~fTmD*N xeod_^yA86#L3a4EYPbE^?rQz{jZwYU+C#9>U)j4qKiS~>o8QpS1fY!r008pg66yc| diff --git a/lib/images/math/ngeqslant.svgz b/lib/images/math/ngeqslant.svgz index 307cd428ecf2fcd306f7325656241b5b2b8d4c28..82d587479847f6d18c7efbb8501ee0a6f56daa39 100644 GIT binary patch literal 709 zcmV;$0y_O4iwFP!000000EJV_j?+L8yyq(#a{*zGr{~>K5)L2)5?pwmjXj%K#CBwR zH?Ut%+sSUS5)wYSd#b9d+Md#juTI_slr_D zV!hpsm%6Uj33FAl;c8XIn_=pn`cq{R$mgRbjzv|B#pU>+<7X~IINtK}+jpmm>#|(_ z==xvhlAj4s{OoRdezJLNuc~r+)Ada;ZtAAk#wp7yPP@u42T#D`pF_Neo@DztbhmvO z|M_{VvZ*Ih{$;H9`w!EQbF3@Tdfdm&JoEJWkRm_FIET!yQm*oc9n96C7tnx6yAEN zJxh2ijFp;9YNYUv&{+spC}kv4ib@1{4?Zx+J7<{SNVwp1z*KwTy|NlXqX;}on-sm! z&T;Dw*pb%6a?J699g)V=7-2jaM6e`$V56zyY>vF7E1AIe$7v%zg=qDZPgpsV| zQ??zv*2aL9!lIRgDJfwcDc-@AAE|_wlFXw}fIT1w44jqHEC}VD4Uid@k;JQLArz=C zfr_PdDd-r9yreQlj)FneV{PZ69tM|k^DpJmnn540ql(DZ`keLKvvwE%Y16f2FXlXM z4%6;9?pJodnaAP$#i1#m9+eZ%5L8fN6$JQe;ryCf^Ji0o)9osobKQ^aZe>5eRx~dw a>q#Jl{93(x|LH>BUi}7LJ0^8o0{{SEd8>7`X+*`58iuybe?HBx)&=b6IBMloOk zvD5te4%i8f6sf+LH}l@SeZ!JnJ=8lmgs!jJW)%s>BM42=mQ}M^ML&OBCoY11$eS|X zwM|$>O&eXU7ulO6fsb9thfuor|pPHtBmvlJ#Pd z^@q&@0LZuLmu0bv&Vv1Yx0{G%k%nEULo@WLU?PoXdNI?B(Y-o^qOI$;=_h5=zr7%L z((gmH+ue*N=U5j*t6>+`ljrI2DMfmYaSoYYq|DN%9ZYDS58IQ9w(}L7XWF2& zDmH?7DWrGs3$$lONc0lEfU(Rf^v=i1GxSzU0hanwal}}7CX5h5!Dq0NNxDZ|jVfeH zqT(`EhV)ii36e9VrL{hmf*I@4DDsky3Cp<~MVz7ZT&h?j6JB#;K-00%cy3}Ek2Ks} z4sv8^l}3aE7^XaT-op-rV^SL~e4IFDD3PYSJ3B1XYb2#N$-5}{NAHMwgVfF50J zEz{Nul&@~*5o$;T-CT#xnK+@ZQF}fbkgKQdU`+q0yjC=wb18%+mS)^I?m-}t=wpzv gVM5VJ1CP;sUpFGr(`(Ph8@68j1An8o=ZpjZ0Mp++x&QzG literal 472 zcmV;}0Vn<+iwFP!0000218q`EZ`&{ozV}yf*g@ODvMB1spl*SkdT?(;4!wDZV;jp0 zwil=WepH$bMNt^ANb39e@uB<2%YFyvcASRep;D-gdVILM|56n2vmYkd4!ahXW`eFg zv|}^38~F7KoAWT8yFH)|P!xg}5BhfK`ngh;oJQkLvwEKw#T(k?$MGVbWo>)_i$O=@ z08`ZH32saU%dnYy!M(+ECaLl;RjQxo)2b|&Wzh@ia>ZyJ3)aP$V$SM0I$Mh_dy=d&Q)Ei-$p5Uh zSSCm!0Xu`7Z&ETuz7~>69%Uh-?BkQw$li$xB3sN!Ek^6>k8Qp@`;0UpM!No8o!u(sbb=g-taelN({2P-Si>s$3>yRFpMt025q%3;*r^P710|0j>) O;qEV2o@MRe0ssI&K8>7`X++3(r4Z0FD_YNY1U&ohOMjbeiZ zBu?_{JByv*NRjFjZ|1!>^9H=Qc-U>>K6HKEHp@gXol zwr#>PY1-ssHCw#PGWgtuVh9x+>R|&{&23*6`v4y{!?2&{`QdP2^{L3(Zk>OGEL+WH zi~fE+0|1)a^z*7*CMUuEuG@~ps?5VS>_Rj2xnLqsCVDy1%Q(Hh4`sXCwM{=NoBsV7 zxvOqo*m0YK8cD)?pL3Z@nGqxFADf|g$X-in$G4=CbDmRgV*Z!)>a?+NsHZQD>%K1&(?TTSl?}~MZSw2zPMLsoNk%z~9m`snhUFh4pt_*L! z-m2WyQI!7}>h1O_4mrg-Gp&bhSdBA}kIyOcQ;bu{{4C`nf4;$p_QkL{s^~h`;59SO zX|GbjB{Nbh1HZvr#Ll1vEYxgZ~Dn6%CaNk-(!t@6f12Cd|k0Edio zZ>>&+WRBK#oN4Z?kCTxz?=4466^-^%a|I;jTxgW3(aafc(9;-$OnNhBq(}5x2$xz< zB9y2>BNN6;OzAMfqBHR@FHUd|WN)nY2pgb1P((A>LS~qt$myx(scmU20i9D4H*$2OKP z*j}9e`%zB14aH!s9ZLz?$mger$4^R$?_EENUB7R{T#uq{ zj?GX{%~t$)6WdEaUfP2I?S)c|=SXx--*!_eZ9r}DJjs8{0!Mu_e>+_{vPm1~1*D*p zM*%Tta42p>Ddv7Vbqu?ub0PM4981|v(|J`C^E~Sr^=W7eYm6ya{0>=N_xv$p`875oFCiozujR$bOR?&PW>?D3i=cQbB|+2}!cDyW^Ws%|diV_ytnhp^ G0{{R;Bk`~R diff --git a/lib/images/math/nleqq.svgz b/lib/images/math/nleqq.svgz index 61f67031e8c453ac910dd9e87a5dfbdfb3d208c1..42eb93dddd235d24d1299044aafc65f73d1417c4 100644 GIT binary patch literal 743 zcmV>fCp6pLKoq?y%YYA_Tl2Vl~AEZtZk}kKLECuC5W@o~G%#EsERiCfhYB`{7vp z3PKz&iAbZI-p zv40%u_|xNU>PwqQ#a~l<$79*mXVJB^0xGmn&Y zPJ=KcttBGO1uu=#=u9q?~3BG6d Z`*qX;)%>6C(v>)D{sUVgbP7EM004rNZi)Z^ literal 555 zcmV+`0@VEGvmjQ#OYX#}GmAMWnI6ovZP^`qMMyGG6HQMJvX z8P-#?QNLc)=G>3xcCQe;Dhk1irMjkXyQ$I?6F8>Rq(A0GvHE8IalD8{35@d!V+8a; zWB_!mZjoBe{buR}_v+7?gymtZbT>_>MOn`C3^T)VXiGB2lv4f%SzLDg;rIW5m{KaQ zuUZIin(Zj!w4OS(sq~Wv;%G@aVjFx|83+Nrqa^{8i&PT?pE(x>7#&7h-a=O5iP11S z!KN5Psu_H8#Ht|ho`S94vKI)}2a*^96GanfG8hEPAi}xYW``H3%SjCWi}jfahm|Oa zZS8=JOPu}I+C<{;fhnjWfS1WFT`s{~sU`ee$~#~m>rX3rezG8p81rb@MU&ZDB=7U^u1aQrfpTBchOzbMh-a;O*>;Ns z8C}Z$%iA5aSO00m(B$xbHdU&)BGZ t+bB2e<%X}Pw&;dtTj{T_71c|nEqVwRU#qw8Ke^zCyT4w{{0NN$006Mu6e$1z diff --git a/lib/images/math/nleqslant.svgz b/lib/images/math/nleqslant.svgz index 7974068aa13be13f337ecf57683577c601a1eba5..8f220cc574d93ce3b7c3d7f3ec2567e12a86325f 100644 GIT binary patch literal 686 zcmV;f0#W@RiwFP!000000EJUcZ<|06z57>8>7`X+*&Wy~3pTP*d1K$nxT&c6LGN6i-lhJ?$yZ^ZC$rbKPsF4{VQ@; z-oCK?H0NX_32SZ4F-DAt5%rJFkUvD1QkwBCDRRzZx?7n4WnHY+1Lvw7_Ee%7%e||1 z`(df8aubjigDq8A>27G+%?o@2}*<5wxO_<09ob5+4Nnjf45eU3>Xai*M;ghkN{B7ZI9`&5$}+)anktYfVU$pY#;3Oem3L5- ziEG6Za+u;t3kN_xZbPRbZP03IjfTjMGjkiFW;QX#2-t&~z`3mtAk)xth8%^ydhh!2)BB5T&z*DgN5IYeG UK7Lr4|Ax1#e?7Y!Htqxf0Ll1Bc>n+a literal 529 zcmV+s0`C1EiwFP!0000218tJaZrd;rMfdp%7G1Dih~n@yq!A@RS6L{#!i(%&SeAtP z1xdA>zwf2(6h=@85H;eNnLCfi=ksnWPR%g(hkYeUY5Dy0@c5-D#LuoD#irjjVqT4+ zZT8Kunwquv^)A+@emu21K`Mx%01r!aP2YA?C5?58v^!4nJ}$xPoB7A#49g^?gD?~n zYbPkOB5%dbQHr@=PaUx9{~QP+_hTiyX*w>-a-L^3TXh)P(rB$qWWOPc^S0mr{vSvw zrSftsp?BSEMjXf0)QNQ^UxP9>IwQ2=pgG#5R^-UUSX)S-XhcEEYG+`(lu)%%#5QpK z;aO-Eqqf#BK>~>uDC~dw^8fWiZ zK`^4_Qlf`4u+9f_VKv5PYD`{7PuKv$$uB1BaNv?hk+~b3tVRDmclPbos-)4o+=gIM zA_z0+)1{{7`X++4sZ3&Y@M*NX@0sGlh*oF<`;Q zPV(zJU?(_|rE=PD=6mc6n_WFNTiE-4sJnI*F+wBoZPAr=yIDoQeqJXwf+6H>nQyz+ zucEe#uGWj}U6R1(-si!WaHvBCH|_mU7R{O9(#FgY!Hi-CzJgJNNvEkE;}zkKVpuFCRw=at1do*?#yM^b z?17`wS2ox{)D26H?>HOZ P)_U;|>q6_8h6Dfr?V>JT literal 472 zcmV;}0Vn<+iwFP!0000218q`0Z`(i&-SaD0bhvgn>UiHYq6FxaLD>oq*;H7Tg!&7T zYB~SDl${1`PzVr@$49`T^ zDiOSCwxgI+J$0}t)pJDavbUfOniwpt#Y_^Nv9ia?V_N6x~dq9deB9tM^=w zOxE*S2b2;-0u5wbTq4N?<|?2wE(OpLB{TDr1SsYxB#E5~3(`e4sro|?+9Dguel3TX zz0Z}!WD|!)P@-fj*@DS|WE&(lJy|3UUP@Y<@>RD_*>Lr-$CqbmjX5rzL}!eZ%Iv%k z3#X+-zPd3izR06R=06E93VNAdOWLbK##y|LwY^@S>b4tx(0ssI9%iYHS diff --git a/lib/images/math/nmid.svgz b/lib/images/math/nmid.svgz index b30e3b2e3536ee4c26dcbf37d25a1883f2579fcb..aaa8b75e72032e5600106bf26d99c67c7479ee4d 100644 GIT binary patch literal 604 zcmV-i0;ByOiwFP!000000EJS^Zrd;ry!$Iy_0po^Ye|ZvAuER#0dh@S^sGvZEkqAP zV&bG`=i#wJ0NFZ;S| zhu-ayen_s0P5uF6^mTNlcQraS{(x@!`>86A4t+X!f80`fI-N+fkYpJ5^fSV^*lhCY zalb(bh1`DH*3~Xq49ADDorQHpUF$m6`-yVGX|l?zRbIvP=FwF{*A4wNJNxP58}V4* zy{h9jCozk-wU#oV05~Y{^xXUM313>nj_+B4F-F5|RsL6XakY^+HMKtk2xf){*X$2| z#ZA3Sf)|n^puBc>Q)JJ4L^45i9(B%_b?M7>{KDwj8ziCL_V(NL83kNb+h45HZ-_bzt%658f;9bAb0^U3M1))+2L@1d_ zfhxpOh8WR8X~k2_i4szQL6{N4xivb)f~vVM?zj-{GkY#zU%V)GXn{7`0Y1ONclJSlMi literal 384 zcmV-`0e}7X;M@Wqa#J8$B5KQq z#9GeZcV!zvQ3M1?%D8|U!a=LvRspI~k#=+cnJ zrlc0$KcGG5>D(Paq65x}PYC*yyS~&+d5s~cQ(^z=NT2<9N&p2y5j$NgM5Ea?qDXYsq55K=6${1sH?J^47 zrrku(sVP0QHG45=l~fwIMel@CYmLq+r#A|%Gm#o*DOkDXl-UKZ*Ak<3dP@yqb%+}Q zT%icgtF^#jgN!0ssJ50J`!3 diff --git a/lib/images/math/nparallel.svgz b/lib/images/math/nparallel.svgz index 32844bdcfd29aab0dbe79ea2bf8a0e90c9482c3e..c740f76a8cde6e0e908c96f40169bf94989a077a 100644 GIT binary patch literal 541 zcmV+&0^AI}UhU?;pAuDkP zC@u79wCv1V6kx=h)M}F#xyd(qWnz~F3#@ne{_Sx_fR#G@?uX|E!p|D=Km7&zHO27Mh3)R*(#D18%X`XD8Wv!c{ zwP|$bdd|mn3%0DWEXi)ROxbz|4xMvT%_)03C=^tBLed0rFWl1r5fRhCvk#U=u<5hD#bL-P6cc09l}4P!o^Dxpz{*O#Z~4^qOnK98`^hXivoLYGcy zXr|P{k2h$qdAxQ<(C9!)<}-pm<*uJ9VLV|7<}!)D>uN?h&0o$pMnp(TgN`0aFEL<< zuqFzab364+yFV{=*yCxeL_bZJO;ODAj5FbR=nA8hDp-7_Y;K2q`uRVijxiSZU%__U zv>!QKnyH7j5?>uU6I}pl(K}_#)?!rJ)+KsnV+2{Eb*0})_UnSDZHX#+ayv;Fty8`> zXvvTPX^?`_?hjRCH00t=YV=;)vR0r_TcfStDz5L!($p&nn53N5JH7aDe!G@klAR}S z>Qxw6*ccz;gSlE=90hXL)c^MMT|nkuJ1xsn6x@BWPNBQMUz#pyafj2;oW}imI9B4= zOhdkXBKFLOgQVbiIK)nkCWG8)k}(MsNrxv4cj>+2oj*DexPSn(%M2S z$*{C`l3yQ=>|N~w3)Cl(e2?UN^laXL>yF~moX2+Pw;6)UMAKJ8-S+!!_Rrs+WXQxg zm3>_vhrZcn{gA!itv0_%DL$N=a%yUEZKs3y(tjPR^3;fThiN*ki{g5{LVHibaNZZc z2`P80)n>fxS3(G$+mGwI+Gcmc>G6D=fpt|h$EIugX)F-1$QF3Dz^gR9y)@O(bwfYS z%zpg!1^8S)JfqV#SDHZ>V=R;|w3dvJYdSz`&T-$m& zaHzu^9-4N4n3lM$w;6MFw&Q41HxFaV-ts9jnJDH`*Gy$yPUTX5%J`Yf5SF+8^W&#m z#Bo)v{~gX>?;-yZp!{!mFEHxoX}#Z(Vh5A{Bp4?eX{}4Y|vD(X^e8&2FA~`+QPS+-2NF7B5t8iYE`|=u}RJ z8!NdZA_5_i&7%g?7_1W)Ap=D10$EWBl`A1Vgh1qVE|E`$WP=w{2SAU`8qNkV!~iFb zg21cjgUe+EWT5uqg9rx5dh)pmpkqXDmdO;rdFM@hEA_mLrl(~LcuP913>1~snpa^W zq0>4?579*@{t$t4hA{XXBWUqicnd1%fT`#-6BOFq&Ld4oQduTH14Aw+(8j6YguM4t zE_Z;&81_Vx0`kUK%vlVfCe3SV2r-b++-KJ9Y|gDCVl;xAD5H^(8TcUflp^8wvh)DC9-pl?G`_>s| literal 602 zcmV-g0;T;QiwFP!0000218q}HZ`&{oz3*3O*umSujQAl+Dw-BpEOC)2t?Wfgx81`3_$?KHn-NXjFSRkOIapaMy=$A5r%9ZZ{$;@|vdz|zNTVMkXA zL7Ws14F&LI?C%4x=V*W$Wl8x?AfhHUUV)IM@X#czGlCdVMq-@257yGeTCTFSBAKgI z9XW9<#bu;u%m`F)h7g#93m(vjIRZPCQ~;)61PN01c?1wM)4k1$PXR57#SZb#@EnR- z;xXo;XEyn=$)(~|3*d!W-MjX%xAlWPzqIY~!4y|N()UbMD)vbgN0zoJ6(=e6SrJN6 zjHLB0jAcZOzLa4ZHIINbFV8QV+2x7>DHKUek!Zabr4duZeaQY;xz47m#agS0joair zcI^o77j1*pXby+PwqNZIn`yOK42SOYmAxyUEj3GsQ2LF8J_CI#cYgPcD^CeC1SOmP oGTB$_L$jJzU&e&)Wm*YF2qC{FZ{L3QUT!}90g-y#*82kh05y>%fdBvi diff --git a/lib/images/math/npreceq.svgz b/lib/images/math/npreceq.svgz index c23312eea1495afd8f4221328873559773d74a2b..68406e2378bb6c06700139f791daac8287933401 100644 GIT binary patch literal 876 zcmV-y1C#t8iwFP!000000EJY`j@w2Myz47E%q2lM&FP-EAjt;@Mhw`OJkJctl?Y4Z zLgcP&e|>r+?P?cTAUsXiR6nYEz}362hdn%Y$EhEObwQ{L=!Rx&`(e8-{`&KSiUmw_ zJ+$?H9J+NejK#anV)cVk@c!7~iadY2?`}me zWslu7J{+6w&Goj;q0dRxA9KIof6Ps;vR)MJ=Y6+1_q-gRR8&_PSCQ2Vm8gL8CW z&$~;Oxbqp3tibCKsU*$lC~|r)1t*1csWcKZTTlVXc}miVGcn{Gb1xXQ<&}!yHFLWBlz$V()kk{m5c%CTebe`yWAe#+| zn#+iWD3Sw3qDZJdl;km37bD9w(O}XNq>>mT>_B;B!_iwYP>F*v%DFV+nsL#4X`@68 zi*KRKU5po663@L0sSFsIqfDcW!AMC=mrWu2V3U<`4Ql5iSt%p1iE@;AFc6WLDs{BA z(dEh{JR5*z98F|h=}~6StWRJC3|?B6vU&2%nq~7cWAgG0avzVzdF`XXRusx%pG}d9 z;UYB@lsX7L~P?^(V%1^@ur C^s&|e literal 643 zcmV-}0(|`+iwFP!0000218q~wZrd;ryyq)e^q}@2n!8Kxl0lpR^~DG0R``&c3(K<5 z_yI|coWJi z^M8quQksm>Lg}unO{bsZs^6ORw0LBl8$B9lnH(`Kof7oqLFQ=LMZX}+0YufJ4TOZV zU^#m5rc@6YV=$K9;V!{5d|D*YOpbAlbp&zD8}26gmUkML}78I zCrXb~nrlEr)D|s7&WXWe;+e8#A7x}2mA66bQ2AyZXF)EHh$IAe)>< z&FC0di#-cKb|u9qNnHW&QpkWdiMY75*9+r-Fu!zPUaoQuYLEJ~fNU&_?yTMgi{goV zVC_H&RJ#^H@+mAnF2mC!WdlPPHDtLen}|akiK4`mWfNu}G=f30Y)*m35|0#60WINC zn@@?e=m5^k3^Tv%J>^ZqtPw%ZfM|1XK8}AXOru*{LkYf^=pIkr_PHMM|9s z+IO2nyPFofRo^zJFXT-A>8DinVq@Mx1X6>)=9*t!W%3h+q&JTGtn!n&-L}!$-Gkp008i;IvfB1 diff --git a/lib/images/math/nshortmid.svgz b/lib/images/math/nshortmid.svgz index 8d3252e7e8e5e79e07f2fbe609a599ca0ef641f8..08ac184ef8df6bb6deed32d7655f621a6c0fc706 100644 GIT binary patch literal 614 zcmV-s0-60EiwFP!000000EJS^ZreZ%y!$J*>ZL`ceLoFZIkX56Ag8oN&#JVsh3H{O zn>gv$mn++mg9fNhuQsn1pCLaor!fteCs>khlw!ENV3qYgZujp{c_TQf}vT=bP;= zEO}FJ643IbfGn^5{S?t79y6IBGM73Z%DN2YQa&SQ)&d3ATi<=VK4y?t)%w>kKAckc zBBA^}Ji`2>c!l%2THg<2SB9eL%B_#Pe1UCqvJ~Es!^_?;O^;DomElaMN@A@v z=Mq(jrW8@EoREg68G}eVgCJm3YOT{uU}jE`c9wBDvkbfHcTj?(Vt{_om-YkHUH&2KB!{#7w0u{NP7eT00f9H AE&u=k literal 379 zcmV->0fhb^iwFP!0000218q?~Z{siw-TNz8+@N-lOnqBH+yXacNVg(GHy2iH;SwjX zb#eOdOD9256omkZk9y>LqL$C+{SHoX7}KGzm=wsKpYE3ToWpCEM%boZgsC2(jeQ*I z92KvfIS% zNXN0x9W)htF#?_O^cD(?MzzvHp_6W{gx1al;95wpt=$l#bOGf`3a?6Z8?Jeg~D)Y1gI{we;(Ad#t7a^qM*HjA6x_L4u=ZItW+ z^HBHW_Au-#wy*P$&JP-4UUYC1N=r6KT9z^h|2WtDA0vGIfTO9+6Ipaa+*a(*RS`Za ZX3z`k{Z+mF+Gx;Ecb_e|1e>7`X+*_r*euybe?DN=jshkB;4u~GQ2 zfW%3EeFtoZM2b}VvhVGCGxG+>t{$73J%oO!x^@!*7ZD3>(Un!Z+eE*9UMDVM!yvmM^Q z5clQnvwE85C}$CP?^A&(VnT{!cxuP|F?nsJ8Q-#^5F(|!MfqRVtJO}#u`0(sL3A_R zhibPU7hIK_h`bnW31wxt9VYg~Pe?^9ov)fO=4C$S%k_n^vzH_kZ~gtt^$8I!iuLcV zzdJ+vO@jPScTfGJ?K7Q~#rn4En|$0>O}-0LmQR#6OP7mR;_>MamZGP!eHgm?z6ftV z-m++_$&~&WtGd3Knw(?3C|Zqm*v>sq$4iRz9OE1^eUUOtFFTmgAs_cA7j5SoQ;It@ z&dYc@DQ`f|Tx=y*Agr)VS}ug~M#k21C6oit3MOK~66C0ivNjgnXl1-+iQrmlCtNJK z6JA@*fLjno69HN|XPD&LqmVuZ?xm#D8%)gadFvAs% zA>sr`gCI4qugnT!4Gk@kWK>DSh*XUJcyVw9p$(Nb91$rSb6i?u1jdQtN&zZ&4v8Fu zl1O5~tpfo_cCbcUq9~;G=oCw6ast4Kwn8BEjXuT`-l!JS#a_G&KiH$aK zBAbn~|Gwh{rBziSF>i*)n>XG_(=Yo)i097AcEi`F6VA30`VY21O+mphe-7 zgZo7WOYG7>w0n6KB9G%-vmvGPrYM$W5lbmfQ(q`4WkJm|Wph2m@$G*^^xhY@Q$}{X zu%9WM+cZE|v+tF#${GZ&g)?5_HpfN_Wn}5sgB#dA7^N^3TC?LBG>W`et^%IHA1VrM ztWrCkK_fwKrEo;@uE|Bv1Z3MP4W7rB#X2taIGpYtOJhdkkHrl&ifo7 s|Dh7u(WoY|un~_wRNL}4GZMWZMfBpHPh?yA1 zs%xra-=%HV_1U}KYV$);i1(LNjj0jWc07oW-RGgM&Pn`q7{~LvEU(wAY;U0KFZ=Rm zQ53t?YBRj-S3(Hf?S^$zZ?oIL`T263iA`OmV>+d797>W@W_Nmhr`OZ<_9fN*>C|__ zJlPFDK9DcX(>L~{=4xgVF>|SOsdWKHF?{XD>Pzu<6dJ!bs+CeDdUxjkvfe~H0oS$} z4=8n<%R_4Shw)yw%{IfV&UUCaO?nz8bit>}W}=*1r!-bgHCFfbD-z~eP+)KU`>!9C z3Uytt|L!lJZzVnxq57wP#{F#f4c;{M`l-L1s&Utzs(qTg`~tU|^4@qu9>1Q`ed)6H zl7{~IQm5}eZ&RPzX{h{TY>&r}(~+C4ho$X!OuPB!^7Yk4d9!gdSw6Vjl&=}g)wvoE z%hZ&PV4u4vqjD6YD75r}L&ys}OtjtxQBNRQ6Rgd>|Nx%aFQaii{g_APCBK?Qf{?WI7mVKCVZ6I z+ZaG_ES+=SK@v$e(O4Gmg>&#>738B2rng==k|t^w;W9`ste2iOJS?SgQW;Mimr_R= zOpKayZ)Eh)14r`3%RP9}qm4*Pb2p5f;0s v2&RHGP)I_<2bd68psRv+%87ro`=4-6g$?tMc{BZQcB}sYR|6Tnx$cMVbX*nQy5iyf=I&EjnjdX9n0@zDn`t|k zraspFcC2^i*NfRbcf)gYFy68$OXX{1+PZ7nQ8mb00XdJwM_sQ`S5Mzg7mb2gM{EK` zi-5)_(UZ(_voKS)8(ZaF@vNjSkHe~H$MJkyRns)t3GAtFs^FZfH2p%ky*zct-~S_e z5vk^{g&N+~`$3QMc5KaVReWa)9?6toi9m3})=Bh`0VW@LO;!Q~%zz6X4OxnmZv=}m zN-}5@CH?RUtkI$f%14H30%ssXO2L3l4kTnikRWU@Cu0>Q>lhgyF`tn)V1W|&oIR+m zxK@Ztz3~rjEb;J9AfqpLUMkioIoOw z5s%)n%D6}}*Kp0~EpiOuT}7ELA-@4@EuVPl+`>q}Jd3IYh}s9e0(0xM{uDQwpB<}N zXDN72kIKYIn`JtgIG3kwNKxmS0o5ka9tXwMj?eSr3^2Nw-T)mWC(LttWw7-euGuLu zv-xKieio+F6={5lv8Z%us%3ea89#5E+81*;_S@sIKlO)IaoCQ1cliR&ZL_Rilj)2G-T(HB0zwg`asXB#Mnag zFeD~U^7UQHa^wI3s)MN6nVo%z`PFmVz>^!sy6-j-rz`^3m3>uryG``_*9|cdjK1iq zqUk%giMl?z+OG0XguwOS3hyd7)_xDS-NRTG2M1sF-XGRUay%YsJqKw&?2@lQ$ab~L z$EV#20I+U1uB&nr%?XFcp_znLnYhNauJdEUDNmwBUM})7RIi_0*|%-qjZyVWE^mWtRh9dJ=7pApu+;*yY`aDmO%wx<$CKprY$$1A8Iuw3?$_m>7!>Eb5pazJV zPcCBy*B~V|N(rH3p{Ryb#Hpd&XssroB$eUR88s$VECY#uQ&=f=oEfUEQPzM;(cTDX z(4NYeOSIQC6ksu)zyr_TYM&?-lL^Ta$zl?u1pUR#rceUI8eFF;W|T=`3?OY&t3yD5 znBI3_b!^h`&N9#f4e&H9PC5EF!1dW*U}GuO7u7Ks;48F9+0eWN9vZj%u+A@ literal 587 zcmV-R0<`@fiwFP!0000218q}HZ`&{oz4upW*umSuv`9*nRWvQITzp7xLk_)Vh+`XT zJ`j6#`tL_2UeXPN0n2>m$KxaQ@O0X~nz#Dccl+HeL$KM?w44caaawlSytGQtvBOXih%McMAbP=QatkGTBtPfm za<;7_9}ELJ8~tAhaT(->R8yU0j_E@}r9shCOlM&47Y@p3gC_AHf$2kp0HH{%JfJO+ z79PAfuY`hnNQ{+(7(&nto{-q20P9PtCKhvqK&6%I4{g?qN3X6L>V1?C2!o4J<~M+V zS@14p!+#(~jAzxa1PFV7D2qm-*q8l%1x5-}Z|Q0h1G1(4{KDJJD~EZU1lRp172 z0$iA10S6+aEodufQ*%=lGtKKZpNYpyW;$J@26IPQp{rF)E7qLx!>XwvNXWW!UsKGlzBcLBVAN@lZhG3{`}SCGX4&UUMe{z( Z9G1W#T&g$MmtKy?yWcP=Dq`jX0077xAfx~Q diff --git a/lib/images/math/nsubseteqq.svgz b/lib/images/math/nsubseteqq.svgz index 0f0bf9f66a5a5e04152d7274894000705fad53f6..6339e905fa13cb1ea182ede8c8ce444266a2e5ef 100644 GIT binary patch literal 629 zcmV-*0*d_~iwFP!000000EJS^Zrd;ry!$Iy_0pmuDLzC|hU^?t1jr$mKG3r&F}4sr z42g-8e0_H*+e&}{)kPf6%+Bsg#np4yk|#G#&CqWm!IFr$z8dPL-)*Abziz0F$mGku zF597Zo2Vb6tL>`zL@Bu*UFls-j*Z`w+x}sy%7Y_c_TC@XoF9)z)|@WcFz)zQLg{w3 zDyFC1iVy<1{j{#DO>{CG9>+Ea>x#S9b*}dl7fkSIkynen!u00JRYTVe{S=)2^!bf= ztnV*s?B=L~NaT6W6Un8dprF%B@5^WU-U>Z_WR*#haNri@e^u{RixS}#Ij9uxsO;_$5&hibWE%-vb6Z@BgTZ+zQM>h?RW92^lymi$z zXyQM8)3&!5avJMR(Z;uK8#3qPc?y0S<1{3HGiAZgI|%4d`u*&}?GP)Oi4D_)UJk-C z87JhLXw7VzN@-#tnI%fbGG)pdlNtnCu<%X|OLUqUq9qeHw<*-gnAW+;2yi+!Ik;Ow zQ%DdBOc-GyA_;-Qz!6A^F_@oRNJH>M6>u5U$N=D(BG7pdQB+ZFLeE%)hALW|S*WNi zbb+h}RuQFQnlKq?Ad^6bmZ*jbM8IHYwVQ{22xQ Pgxl3Wj&(AmuLJ-9nIALQ literal 605 zcmV-j0;2sNiwFP!0000218q}HZ=5g?z2{fB>Vfuv@%UqGM0PpJkfaSa$Td^y%Czi%~A~3?r{#i-yiJh*rG};Bd(b99moGWR_QP9;A z@(fD|$`}XV7=n)*BenJ+ikzg4F_;Pl6FjdWS}KdYxUkk~-Z)9#7$b6ca0qtwWEn|o zuADScafBy(qrJ$zWC|X371)H0mB0{Ef~d&EKP4YYdL0yBFNBhg9XZrOs(G_otfUBT zkE;cgELs9x0MyQu0`v$%Cmc-4;G887fvlpK^a&g-`wAOyVVwjrpi2eOd0H|r8sJ-=v_?RLfqz`=Dj>w=>l7Ol@kE~rETJ)*v0@^ zz{}1Akr;e1p(;4&YSPBo)nKJotnA~}fL6GmW>kc1*DAs!`E*>nxZrrnM28`3C^t4M zFm}Z{?FHf_(Uq_u_E zk|Al=Nq&7ewm04d7Klzm&d2XTVODRx9`^9ij#D@E>rA7{pzZ6S>H6(D`{(ofB4jYl zRo_(mp>Nk&KV)w;>;|uI@H(k?4{bdh4nsek zC;REu6Y$vF{X{1>Cq9F8jImTy5*30drf>aReJ!4kipQ5mNhwvz-3|Fm)U(y5#;I%O zos<;L<*x0vyZKgk%{r4=$~IE1n)Yr=-Ag}JCWG>Pb!g|Rspjf-{n+v6S%FBrJ4Ou=(xhfxbaITKk zyt_=vc0NJW$l7{Mxg(@#wIlc!Y($RHC<|{P5NaoVo7;d&MPnJfK?)%-<<_Axik$`L z(R!6&jGovV1AjsgdTWfaxsFK6IidUj-lB@pIV}j0)#O|>xz*^ck)w!mKn_VZH)6|5 zQv(w!tyQo&MfApNWnSz(K)|R&um);SxdM;DJF%E+g(3LJ4oIS~N~&6vB$a2_Lm|$U zGtT5<);V)A5}gV$_l#C1_=#j-)RK+ji@ir1k}}yS6l!gQ0V6)6B9j-gUj4U~XJ1R@bdy#s|Gv}fwA&EeU0&~>j3_W`e z0VGXynq_x{vN~nGEK~wG85QM}I*2jhBNSIA2%GFb3eKV=WABAb+(k>*3?T@Y3MR6J b@7e85Z*}3%Ph*u{;b!pzInvZ*umu1BAU%ss literal 595 zcmV-Z0<8TXiwFP!0000218q~wZrd;ryyq*n=t1p46qoM}q6DZfIXJf>humCPmW0L+ zNNVi-eTTBq1Zf~Z6o<3B!`ao%-D&$wFU>Ia`(0hI(#75F)y(jz38zteyLbD^Mg3~eOEh1t7 zprM&F;Cx`aM1Z!@QyEkcm*n25$RUL#2qGa9ks`^0m5JO0wYYM zOEWTnCRhU@$@p`K#3)&a_V&yWM#s=`%kVb?@Y&PHs!s*=n5mY_SX3CY>N0HY3?Ei) z!^OOvhShG|?1yb#Y**9JpT1d5`N2|J=cCGV$A+~i^F7D>85_z!5Q~BZnE5=<*WJ); h>f-BMkY4M;aa7*Rxp@2Ug}>zX>Ms?^ZSU~|007}_Et~)V diff --git a/lib/images/math/nsucceq.svgz b/lib/images/math/nsucceq.svgz index 9224886e1ba478180e26f5f7ec3477231ea9c268..6e91b486422a9c748915e3bc9d6b111b9c3adf76 100644 GIT binary patch literal 865 zcmV-n1D^aJiwFP!000000EJY^j@w2Mz0X%vm`j3?&F)%y8A$TMfe{1oCF_|XITB%s z6hzL*_Sd^eX{;H*Ky*@7zv{OX$<>=rhdn&Cr?DIQb>@uCpzZ6S>H6(D`}?nVMa*EF zs=lfAL*K5me#qWz?p8k(1-w1A)zmg{?xr2Q?>~-pb!_3M-83EV%kq3ao9@~)!)aUo z3`McIyIYM<+dBYI-hRAq>UDMT$$bA^$lLn?A=pa4~N6h zkIQ5~{`dlXY979!XEkS9KrW?JS}YL@MHJ)beyTnduSZqm_eRlLTk6>j`M;=F(aw!? z*GxMtF)rnd!@>UR9x3CpZP)ZYCc zzrMRvTG#dczr*R{wbb7XsQw!sl|S2jYp_VE!*6xSkxr6YuTamGp|JEsAK9mFmaC7u%+Yz z?BN=Yb@|19OKAi5!Bih1Fj zA&ZLjK-ELbKq)qW~e{=V#EY~E{;cs%MO>)oNPtTCp7_*=;B>ABnf z{9hoYl&W#JfZb)Y>hakxhP7JO#iKwsI;)HpHY_|hFzDD(m|86+x*6+0l7cENeu9Y; zryW`EGLS+@R{6}40oIhfP3l4lfPG||;|KJ{PP}$8ddfS&B_EX2k;RQbG87nq6~jrD zPMat$&Aj&FJb<9tNlH_fWy9>kP`;g*kY@4*fJgBNCy-O%$Ur1pX8SKPN3f5=cJi?W zBzWi1Vi%$roj8#g6>IM~jd_MZOt4@RkKPH{MK}N{0#O;15NUppUbg-~j5Vl@fu0z9 zZNX$yF~I^wCq4%Q2-$+MVLNUMeb4ofIM{b7dxF7+P5R(8rfkD8) zi413Blu*#w-xKll=yE}Fr8##mFeU(P9oy@iw}PIL*mD3UgNZ;hMb4FC79VG5X7Dl| zfed+2KqY6!nOq_`oFN%GJX=fZS~Vq^U(}xp)nRg5D#;fWX1RKs>2}2Ti?*R+Tn>lD zwqNZIo4VL6hC_Gy!bar>pAyLjos%F-j7k2Q&;05em9Hr!44uW*%Gc(0eP~v7@%gN% cUhBe9)EvTDy?uY-Hs0U-20h+uZC3;U0CsgZi~s-t diff --git a/lib/images/math/nsupseteq.svgz b/lib/images/math/nsupseteq.svgz index 7d353bd6ef2eee931638acc94ed45e61fc4bf17d..e01fe99c082b3c82041dd3947a5ed452bac42e07 100644 GIT binary patch literal 659 zcmV;E0&M*siwFP!000000EJV_Zrd;ry!$J*>ZL_RiZ79pAv=c@0RkkKKG3sDF}4sr z42g-8e0`Ua9VI}3>R@qpXLfg1baC<2Ht^_%vF^J~#3_rwb+)hSZnuek|GFYs1fwsz zs%-ksZKAG^F1D-U6CrRpxYD}{jpDLsobn`E=ysvo(7k?iwr|_M8z*Hqettt9 zs=HTqnC2)a63_EIVImQNAcKt0oiCrrdnwNNkyJ3o63i{k|FYh#HUy4!<@X3hHo?8C zcYD9!y4pmj710(^QMtP@MCW)wDuQH6wa%AS>B}X3j+jY{6tuVg@%?H>h^<}!>4*Ch z#3vBSzx@ODkG8MjqO$9|erQX-t=n?vf|qaTwn&!5JFFAopc$By zidY!1KoIIw8XXhND#LOPB&8JHxWasS6y@X6su9V4mj3)uPjt!%lOPPjqs!)n=tfjQj5^_eF%DBm6G$)zXJOk8< ze6k;kh6y!b&tUxpZoy=D#BvtX1_dIGaWc-N7QlJTajP;HT1_C-VKMr`m5W@WU;KZY tR0tgl5$Xy#A8^-dvM?=#C;>0ga?y93C^lV~BHYdG>L0D5iRZ=y007{_Ltp>^ literal 593 zcmV-X0NgJsuVXf-N2&?(RR8rTM;VJF{(HYBQ`m z)6|Fhyzc9b`T1rxuWk3*>q*qp<0|xq` zwV0i+2n0FFQZv!9xtX;in}kN)Th1-I=+I?Dh)izfvQ$TjK*aGKvIR**F;))rmZXu^ zVL)TSa&Y)B(gKqbK@}u{hoRyw~&Hx!x{{ f&tpaNwkSMCAd#_pGyU|rJly>Oi5Bb@_yYg{LUSPM diff --git a/lib/images/math/nsupseteqq.svgz b/lib/images/math/nsupseteqq.svgz index ffa7bc76fe3a90d699c55e2c0f96b4fdc00d8f0e..6443d5e5e94f534f124b85e9e2f74dd4c8756ac7 100644 GIT binary patch literal 682 zcmV;b0#*GViwFP!000000EJY`Zrd;ry!$J*>ZL_RiZ6+xAv=c@0Rps_KG3r&F}4sr z42g-8e0`UcZ6!c}`e5&HXJ>a-l#8pUu7yWCPR-D7B2HNZwy%b|>35sx_pck0M=-gv zugiAm?I!An=xVzvJ`e)eqb;4S;n=u6-1hfVRURyS+Bt(p*nXO$3?y!hNtj54AjlxobMMM0^0pLbe6Lh6#uCge%>T09tkxeKo7(LWiafx* zZFYON;HKV0SSz9}qN28UlRur$JyH=QA=Oz|)}p#PI ze}ee&g!1q3fc>NG<+!M;_1!RbrQ0@LxwGEO7j#=BOX3aLJs<2MI?IlB8Xm^VzWaFV zs%v~v^3yeKd+VE=Y`qd~Tx++X=Nz70BqtjulgTTWMRMLjK!?)p=PJJ)$OX;fj4B|K z=COfm(25$9Dyd^GsaBFp(2Qy=Bv&yPG>0ssVvbrYQwSI^6cK*%X5b?< zB4X49jljpm17!klcw@U!PT&l|h2xUUEsfQd+AR*P*~$i;l!wJF&50lM1-|36@Z1d7hu_+y0%a-F zBIRfX7mHSz)Y7Cg(l{~qiH Qztr2+KLS<~@c#q=00Rq5U;qFB literal 637 zcmV-@0)qV?iwFP!0000218q}HZyG@iz4uqR>S5c%nz21!jzS`p3kPzma>$K}1y&6o zf^8uGzMh3_qNqY*WzU=U>^Ju9{dw~YFU{fD?zZEK&{g+$Uv9tFHT+t)M_9Jc4V>mj zST)<`Fz=cL{CIdWa}K5kc*dU37jjBmz2393Y@N3MEz+_7;-{XZ=U? zER<&fV-ikKCybQS)Gp>IdFC-u%snuw&pPqwU1{4AnS&5`bY2{ngc5TEDO6#Irw&65 z6y(t|5|XB=6jDtSL2E1Y(Eh-!P%1v!UBW=F;7m~!-n6M$kh5u- z%Rz0TL}H#sbSd~pW3x7mj!_K821~I_PAPx_Wqw1JBC`_-2GyLC&IFlLw(_kh)hyGC zsS|s*?CCuZ!%G{v*QoG$7M>mg8n>Mc(=jAWEhS}h*(&A1Q@Fm*yUBvy2aYxkR$l2K zl(&^+ROWf;2hAMn2Wt?^YR$oC^`{D2o7olB5~`6+@#s3ut3JP diff --git a/lib/images/math/ntriangleleft.svgz b/lib/images/math/ntriangleleft.svgz index a89d8030d5ff031e4b1c076dea9ca33f1d154840..14fe63205def7ab70a39d6af5dc3e4c2070f895c 100644 GIT binary patch literal 639 zcmV-_0)YJ=iwFP!000000EJRbZ<|06z57>8>7`X++3ybvJBLvpq>etf@9Yy?Bd+cMvF ztzSiL7hSCv*_$MRkG;=>FX2#!3U1o_p~!b0-c=#&mT7u897ug?lCIyR?;%Oni$yl< zHwyqj-F8@(#VR@xb`Sk_0+vPUx4!Xh7*a-98qM%xh8LrHz4t}eG+jGP%yxKt2JXwd z7xd`nASMuV&ZU&6oF|A#hNm{be0vw)peja)p+xww==nMbq?=6d_ z9!cr9P;a+4qsS@N+0Z&{{d&?o9-mXBrx>S@=~>Dwecr)T?eb6^S-72Ba5{F1SYeEi z@Dl_lxO8SUd;y~gmDDO5OGdQR(t%ZkQ>g@tnI)35k@OkNcven0Bxys8QjW@4Dxxek z+Ja!jaBERYb7GjVmct%6QNl7UkfapBp-!t9HI+n&28s7v3TI+Q9X2I%P=O}KSmo@f z#0cjW=f=hnAsjd6GR+^j1?x~+D4c@UEknZ$v>=)ZVPYeQFj6WDh7+xrqAXUFaD!)i zMnx-3VcKy)^O$kGmPBZcj$o4TAwwl-?uXqxATE+3&8`yiXU&HJrC2l+Y1CQih}W+i9QWoKUY#43#jaAmVeeo&W5ynJ6<@`1j-AI9)hw0 zV*qqU+=)^wLp%2jyY1&fEb=f_vY+SEsw|gffyKaa>`JYaD!Ka|vbyYs!_WT#k%-Fc zsbsxv+D;r!&D@K&l4}pzM5{%iSeVoJS~%c4gu_ zM_(HVWR%ND<4J{Dfe$8{APNnnFxppM_-JjcH3S`qvB>10YaXPE4tb!+F}!F%a+XVK z9U^6z4N+13ug=Zdu?nX!?+~A<$Rum5xsoVGVh22EVuS(mEV=%mSnysuHv7)qteH&Y zGu9iWGz%qTt;-fP2DJ4}aL(B+X4iiaHc|{c&<+b{WyvEh@1yRn`=_Q$D6i=}Hiv0@ z9QT#nH}g1Lz8EF)$DuI6YH*f4XjBCHYv%l#l6ZeT&hU-r+g$Zy+E()Ot)qCWq{RTv W(XD&;@#9DG^za+0z2aZ*0ssIi74BF7 diff --git a/lib/images/math/ntrianglelefteq.svgz b/lib/images/math/ntrianglelefteq.svgz index 6ff0a2171fa218509efa798611ca15d3a8e51b75..bf72e1e80bd86281a48010b81308037fedfa4063 100644 GIT binary patch literal 701 zcmV;u0z&;CiwFP!000000EJV_ZktdL-TN!1bknMEx$lRCokgptm6}bTYYI0u3I+>q z?4)1cx!4Jg6sfG{an77M0~A*eyA}?97@NLZC5+Gnd{^~#(`{DC&mY&BO<)XVSC?(y z`Bl>O$<=yMyvZ{7IQTO78jela!k6xDtjfKIciRy5%RE0GkEA&lNk44z_mE}l#iAGw zn*{)%ZZ|ILYL%P``}?7tfOVDo*6(~5#+(tBCo{a7;Z;;`4!-JlyS^JIW;edQ01x%; zGdgZ_6cdO!=W@z(&ND=0<6{@fhwLR4cYKY?DWy5~X5@cSFHRc^$EFTjOu3!Xt#3Bl zFy~FZN|4KwHD*QaZ^u|Y)ng_T$fwrMhq5k1Ik%rGX5u0Q?Jd83x;|x?SJm=&Kir*D zd?KLy)8C_hvVJZXb+x?hhg})g&92<|=;Z^tE%LeX0vsOqeja)nJNU7`A1eRq>#eI@ z6G{2^(6sHBC~~%SF|-M-Ur(B+@X1AfwsAI@U$`vtryES!z6{$F3$JqnPN$4=qMcI~ zeql0mV^nRq)QDWQW?i&q*_gsu{JWfAcj+|9HK2Hj63E`Dj4C+ zYR$n~!WCyiq8@QZQW-TYBZ>+qpoPp4%@M*=j$+IzXCV`gSS|a%i#c=NautR zsH7|rR#B=_jQ}CEmLLsLD6eFSZa8IvMJ2%rWrpIe2hcdca$IT)j1%XyJZ+!|msV3$ zo2p77KocV^rz(muVl*@MbTVZmPPn+AguieD))Awa5jHh=9LtmdjR7@I=u|6WsFPL! zHjPqD+ca8~Oi+D66?jZ$9LKvpPl?0PBu+w?sf-B4od!*j<%Hv@#;rBQp9Z8vvslup jQiNK=t$3CDH<|yG4a=06zPKWO-0Q_ZgAd=A2L%8CB|u2< literal 522 zcmV+l0`>hLiwFP!0000218q`GkDEXYz3;DZ)x)$0%y>MX(XuP`lmod{IqZ!p1W@xO zpdtJ3Yx1$GRuvM1&GUQD_B_8{_B%M&{m>l`g(B4I_2udLOP0aUwi{sE?P{2+0h;zqBM#S5H5V7l}+l?SWFj8Q!sU#u@%%UJ@bgg!%(Pp98ZfppQZ^X#$(^)Mr)mm_8qdg?7GA6{{bnblwbcU zal5IvgB+)7Y++NVl^5M;4QTYN+4EYXc9t!Lr9rQwEg7v3kQvm`2U9)@GL0dScV?a4 zQ>De|B3Z~By6D-Ia(e3$WC7Xwl$I7#2tj~kb>tanY_g?@2aYT%JZqY?mJd!knbOFd zf_Ae$lTA(%+K?kLtVNubkJ|O4gC$|qmTXBP8pJwb@Y)B-C$`QD11Hivw@hiK{5*rV zl|!GLCdg#VmdMBuMCIy2I`dvSkj})fw9JAiKMEYOkIAnem2WG?XalDiYm?{+7YWyu zEE*@{5Q7xV+`J=gL;1PlO+hESYAAE8a@k&f-(qvkpQ@%Nbq&Y9It<%mzc19j8vE|@ zjWx`V92o~I_GLX}h-I$d=bAr54Uc;%>~Os(i?*+~h5C9^g!e*OipU|{)SHi&+`pHn MzbhXBk4OUm03DtH%K!iX diff --git a/lib/images/math/ntrianglelefteqslant.svgz b/lib/images/math/ntrianglelefteqslant.svgz index 24bdf2a566737002098e3583d67531154a4f310c..1b6b62b4d936e7eb97e249163f2d0a49c6ddf76a 100644 GIT binary patch literal 1043 zcmV+u1nm1CiwFP!000000EJaeZ{tP`z2{d<)k}+Nq#{o(8JpkBK3)Q`g^gTiF08=A50hutRo`>#(r zW@?)2p{)<&&~36|%sy-%)<0>jKAyXJ?pk%}=e_zoe3_d1)Tv+g^L$#B<>hiI`m3`T z&%5$hrSMCByyO3egi(YPp@cZbFl(~lu~K1MAU@P)3;%+zv}m)#PLU=XpAZ8-5vSAsCUw` zBr?B=?y=lcHo<_Qu@5NdDr z$M2sOi|nRZ{WG4wTuu68K>hFdO!c$vt9#uxtEcgNtmkcitalyv@*8!#F7Geif#+|h z?w)i>d+w(3`P_6r9B_rJ-=vyWn!e=LjJr%xOm6R_K++0&`T4D)`*m!YO)SULl<* z))Y2+XE8Sgq)-{hu4sJl6}c+P;Ui_uf&C_V@7^I%KsE-vSy35!V)C>FilD|?PmW-0 zh^QC?>`oSe{WiJCI1je+ksRKjOJ0GbdQ=_?pZi#NRfRkx@>x%wK){8*^Ob>^(+R35 zoRY18YBC?u=JjMEL4j4m0-_<>TrYujz%CM$(n}(j0+VxrGf5S0fruGgETD{rpFSAp ziGKis=2%!#$Pj(XX4OFUfu+HvOl4Dacl|U=O6+)smXZm96sb>| zBXL5s3kh3rG_M!vOc{;Y2w N{sX%wn(zS#0060-3tj*K literal 879 zcmV-#1Cab5iwFP!0000218r5yZrd;ry!R_u^q}@2n$M*a#3@i;ol}b(a&uwD7MeJL zt;Xr!cXmlBa!~|`Ji~p>a!Fo)eS3OTuif#~KOdHr)u#G-^WpkqU8^7a{-hrI$4;F$ zC$;Mi-ElK?TlMpg+P?Ou*WHt{np9oG9!TxGezzZ%l_#rP3NJ%7k86SY?)>ff4ah{@ z1g~s#I#5#1k#1D+tJJyQ4*O*#EJs0whtsm!55vpVVsSp7_1Wv^<8I-MF$<(FCRcBd z{o&XD3~k%C3t6pD?6!M2;q$T?_G-JVZli7^c_<<6O$>33ywS8))r}6oVFiM0|&%~w83iUWKS## zW(gQe3C4uv0g)SJc|a*J;X{lQ0T&Z4EKpi9B}i&Y8;T$>7GY*@x2k(r- zuhpE1Rn}vfgI<+zFo#lq&rmG3;A&x!yMX9pgJ~Wb2ThhX&fpKpQQcP3weB z=7yH$tbpaH0L#$>0Pl0zkzgtP8dpLoI7%U@^cqd&iH30wXSJ8%O6&xXxUVA! zJW2)d-pNYQWfO->Iovo+&_h<{+vJJ&>o86tr1Snx0@=ixTuYY7%%l%M&VyxQm0B{w%9tqjuEf?7Qh7p1GS3e*wkbuF|dt F001%lwGRLQ diff --git a/lib/images/math/ntriangleright.svgz b/lib/images/math/ntriangleright.svgz index b072050b727f26f2c8aee7771b97d01c16c0a244..68c3afef07e937688913ace1f15aa4f85b7428b3 100644 GIT binary patch literal 661 zcmV;G0&4vqiwFP!000000EJS^Zrd;ry!$J*>ZL^`ipw_***&xf8lbuKk)BnFv4!ek zNJ^aM>${SjC;G61E)fr@6zf0dkl5AJ2 zY`EL40DyekVO9dp zmp4!BX`7>*N$9;#xk!abh>;9`+cCdSUP@`l*QA1To>FgN{+IRQYA4`WmE)dD;pTE5 zs@;BE>Z;sCq!rPYs;mq*!-SsjsZtT7bE^qsUgl%Iv>y>WYl%Yf*55u~oGPk|V*RV@ z|C~$uCPMzZyCwf<`vhlYvA*g0CLgy|lkdWmFT$(8 zw=9}!5~bhAs;)05lXI+RL#we4+u8GUd`yv^W1K^#&r)XT;~mV^As_cA72VDic*D4o zPRrP6CLCI+;2Mlz7M-vHzJe7@YHy^DH8P1@2?LI}#&~UGw9GrDyo4`c9n6%pn(Jh-@mj%_qA z*lwKt`%+0-6hUD?66qOoIMVa$Wxs=SGmQQ5P$@#KUSFP`KNSUh@A?t8{jPy|Jwn?Y znqfUP8~E`7n{z*&+dU9^CZa+mD9d@Cab`RYZE3XDrF6eT7MERr`1wB|rIgC+ zUnP1s&32USw4OTHRBGwbaI^*rgFadt-{p`rMO%xcXqlj3j6M<94q0<>P=K?R!gA>BxHz7!5Y!$ zlVg`_cuE}Wd;hFBi2^MSS@hmGsvpTK1-*FMQsJB`#pUwuc6-gA)@?)T8cxIdFm8{- zzEb=3H1wA*tRa806)dIDS&?8!Cp2F(=hxW4p9kbvE0JN- diff --git a/lib/images/math/ntrianglerighteq.svgz b/lib/images/math/ntrianglerighteq.svgz index 5b77265657f287d1f12f15ead327203dd386178a..499d65b2c0b3ab200a67f124017a72622f66b241 100644 GIT binary patch literal 707 zcmV;!0zCa6iwFP!000000EJV_ZktdL-TN!1bknMEx$lRCokgptk(x~(>6*fgjl#nM zVki0f&c%*N)JXM;Idjg;oCD4-9-12Vz8|WtT}6!02z*;~Wz}w0(XXGEiH%?w^R~?E zuJx;^?V^kIB72u4@VWQ-=u0?M;})*kyP?Q;9zJZxakosxozvsjq$G+i^%4VQDneitm-Q;z0351v++xY?RBnB> z*^YBvm8%G~JX&LwmHu`J=n)T}%cM2+m;~))DT%fBM4`tRU#c|bn7VH5BP;RA#EigeSRoWP+AyI^* zlA8F48i52&jN(pf?4R2S_8C4HK!032iMA+VTu}v2a1C~H?U;%2J}RX&60|`F#&8>J zj!79j)Zl}~#C0qkLY(22x1?bt%BkQI!!ekxa>{~o_?8?MGS-@CBb8(zY`6z!#U`YL pDKJb-V0xNTHpTq!pr>g5>ugw}`1A>8;cH(n{sKSRt$`Q?008W~UOxZ; literal 523 zcmV+m0`&bKiwFP!0000218q`GZ`&{oz4upW*g@ODv?xlHS=24CQx48;$RW23acpDF z2W&4+|NZEs8HS=TV3E{&kEF<_m&^Xuoa=t*j)&4BIQ#Pa@bo3i%+IzP%&vQ_&9oUz zQy=PnGuB)4>&-EeO927yhMDPBF()?L$%rS*xx(`mH-%c6Q+J^eUd)bj$44N3xG zGFT+QNan_~X6m+MtEgLe*3l9VLuuP_JU!<5G)*uO9Q!8s&beH3ze64`uifGIXFwE@ z{CaD(+HJiX^f+zC)@)0=WX)RyZyYc=Vp=(HF;Kv?@W8GJ6+z%+G7nBtlZ{B_O32Yy z9#Rli5uA-eedjTv7VPvI7kBRJ-oXN)Z~;Swnl)+ZN@T}L<3b^_Dv+R~xn-0fvHJK1 z>tzI#sB_ZZBDye_tmP2S&rlFEX|o<#a7GBTgz6(@y;P1uu5IcS7AoQbA^92iaWXr%h9%y}Dz+ISjjFzc1~6Gxpu( z8#yz7dSsM>hZr=WNAe)wXU?CYHuu$xx`fwVd2IW7SK6<)jOMMh0Slm%ZrPiEKV8A+ Nhrg2L{FX}t002Zp0?Ysa diff --git a/lib/images/math/ntrianglerighteqslant.svgz b/lib/images/math/ntrianglerighteqslant.svgz index 16e83cebc233fea060b0c1327d6985c97e80a44e..aa5b752d24d2733942e9162b8232f7635871ccb7 100644 GIT binary patch literal 1034 zcmV+l1oitLiwFP!000000EJaekK0BJz57>8)k}-$V}|o>*v_FvfB-qA4SH53tu4fs z3`@IC^6N`-WP29~(7kxb;gIh=lG@GtZ>OVp=`K@04%H9F(--@?S5#!IEf|RntyGP{zM!k`i z9M`^`4`@PQ^U(GC!~C%OcAMc_$aZLL+U{v0Z}O96GEwo>shjJzp6kc;&Exqkh9JH5 z=RZFr3+<*^|1(~`E++m_K>hFdjP_0xDc)$^`D)%%XPyhFB|>T&TVc>aFw z9!XQ$OE-~>r;9d9hEg~md%dc|^6-85k9 zT+fH}iqsK4mL^wF2GNK@l}0<`O)lvil=l&G?2*$JoG74#9K;4Fgl$|^$+CxDX@DwBBODQXkFW55PcVUinQbOHt!CXWnKQV&Qhpa)1* z$6y}XQV-=)TN~+^ghC7wM*(pIXl`e&8Nm{Z4r!5)Ds2eZX~w4)oTQ55)({WrHKs~Q zwIJ~jpCOO zrBTFhpGy!(+(-<)GBL0((AbCN#1aSAxVVeFXiS4lvD4bli6&yJ+=R4CG}SXTTt zStNTzkknwD5+ArpMp}hqNJp9gTmhS=E$sj`hKS%$dq|c_d};6@q-K)5L`?!tMCxX- zv{OY5if>KSPA?K@>$pmgV0i^8?I+=}7rCK^1RgWTyDoXgbWmC)Fj3-ACQS)4a!UAV zV7NR20?r?CV$vpa1NhQNr93|{%G=;cO298jqzG)5PO(P(5GNd5m4g!CkdopAfj&Zf z!eunMC)sig<8aL@hl648%276;?TyqMPD`u$BYXV6*vleF{_bw*6Te&i2fxvjtqlkO E0EgQ26#xJL literal 900 zcmV-~1AF`*iwFP!0000218r4JZ`&{oz4upW*umSuioRtP%LdF>_crv?Tb>?&~{w&Q+XF-l&*@NimJ`*D1}UaijOvpie*blk0sQfh_JMdkYS zVL1HypQ27Ft$4Qr*=>J+!t%Ts_hP%QZj?+W;uAFjYJ4pa9c-|K#Kt=>fGDhv5pSY> zizrjH*psS7&4-THs_o}Qps9NXTXU}B9Q~&$(AyA&>(r{!2;zQmOD)`b9v3#LZ(zYYOGTEDYc-< zm4%<6sFD`R(m}!`(F(bcpXCPe+Ka4X-Ve;sq71p}TuqW2_=SE9Wj|&8$W*PgCBufP z78&|Uz1>gTa+7}}6?Y8cqlB)Tc;Z}X^GfRPvv7IGf z_FVB5Sh7>cXzFc*;+*O!shC3&fQd#`BYKHgPXJ6zdZ%F`_bmWE0054Mqf`bN+R~St zDLU1a9;{0-E;*yAsoKPhrjLQb%(D{!!IUE8WB?F>cFxtx+=ICkkT`=`3OS7|HNNcS z3ftV!V!4HHn7xxZ|BP>xhqkC_1SBU}d%1+gdtyXwxR^`RnG5);S^}1qlJZ=uB z`={gMx_aD<$KmypRf0Y&wN)YE*pP-%&dBC7+5A5BVtPTn#luIB+V%d}-><8WIimQp auABz#(B$a5`3G<1*Q>uunG&q?2LJ$QWza(a diff --git a/lib/images/math/nvdash.svgz b/lib/images/math/nvdash.svgz index d0d633a2677ef1197c0cdcd80352b4ffeb3355eb..198ee1f62c2505a4feeaaadffe7b7e18fb0c1a81 100644 GIT binary patch literal 593 zcmV-X0ZL`+U8^B0hZF&F?Sh_Fim`=gF(lef z^7S23a+Cl8s)MLE^WMyx5sRCru7$H1r)KDPfuKA9)9ayb`u#5W{p*fo0Zg{)>#7}k zvkUqmxG6WqCqm$MG?g_qTpD|T`~Gp#)zQG0gSE#kW0%W?HcOBWF@gOfEXd9f|^AKGhjp)s?N*^fi)tEmCm2?T_zwGeWHO_RlarE)X9_sQwNo z>>re`;iA^thhgk0TQ*&_H*S`1IBmh!#5=NmKAN@YTy`|ma2mDw@b}ibYn+Jvv`yRI zyC%z6Z;CdyHKp%4e_p3x%NWa$?9G$~yY9fFV`UGs%54X-BosMlAe<(GM@okH#iK|> zKt#x?ydEtOnb9m%E+VK5Iq;A;l+eh7SkMG>Dijfouq4MQ7E9AOl2M44HkXpe;Is-0 z3Yw~%E0;-=H0A;@ia@@eEo3waNseWC=-$^(L?noWLOVpn*i4Bzjs&zBdv`JpiA<3< zJ3%8dk79)iw3MkNbCVH;id)E#r+AhKTn3f7kU1{qx)2Qcg@|QYFVF#rM5xdm#NHBd fN8%m8OR(O)y&!qw|6<`TOu6|7OzYnRTLb_At2-iZ literal 425 zcmV;a0apGWiwFP!0000218q?~Z`(i&-SaD0bhvg9b>AOGlmMMPC|jW+n+lz!Lv7iR zRLlAIr4-f4P#kav^1a8$BOjk{rz2eBFs5@~FoB#sKRrBt$ujuar4bJ47-6nQXk#CT zdWsGFdV}Vg#%p^5fflli_!L1GQ`=2c!#XtKGO^EP1w|>&Kh8Ibv_#1RNF7i+0YY0; z!NR+c!JL|@TWD)~DMUT?W5K#7};S!t_?jJxA-5SFXwg8l#0PGfp;vI|H0hDV(yd{6_;qE%#QsihmRnsHJkIlt_@1 z_fGd)W3Mj)l@0pi59Ov^5`?JgF4>r`3=)056`A%dr*Y)lSlTszsoN;n8csvqkB9Sc zD%h!>hIIR;I4p;rOdDFGBpX3HHQyJ-pE1I+XJgSj+Wb2AT{px-!M?ux!CS#-6v*x7 T-QF)+=hMSqF~4Q(m;wL*cI(R= diff --git a/lib/images/math/nvdash2.svgz b/lib/images/math/nvdash2.svgz index aa56e3cc50f8af3c32ea7d1a52b13d241de436b8..3aeb6b2254638aff265f6d6c515a041feb1fa328 100644 GIT binary patch literal 708 zcmV;#0z3U5iwFP!000000EJY`Zlf?1-RCPjbTgyDU>ib!Ji6$pQn&NatX<FgrHo-v;Qrk>{)X?ZP~&G-MhHnEHY)$Cx*M%0PO5QRfUFE~E7fM}My#4; z1YQ=c04*B1?mc_vJ<21LhEOXVZ@A-Q_`=MB7bMVL{qx83837ie{%gD40O9ch{%Q}9 zKU!VsMI-99?ON_us^uH$d-)FCF48e@CwA|9IUagGwv)X*bV7dmdK=LyZ%ThTrS*$X zGPHGbsB&7aLeBH{(nUJ7F*KRpbh$_`GYDwU-S+JA(?Mks(+UZMNm5XfXDo&t$#a?` zOkOIda8r7vXcp5v$>DecAvkz8o8~N!;R08T zktw3!$>4CB%(9APJ~At2U`D_KVAoZnGAUwQL3$GV-%C173&_BHkR>I`S(2Z5PvfkB z06~-ji>Vht#q35vtDuJkI%hu9xmc)`Rrxdn7gSwlMd=5DGw?j2a+VYsDGM5VUqx93 zbG*zCs4zb|%=QDd2aAtw3Sn(_CwN qy2hp9u;5oNcAL%~OjC0q4(&n1zg)PU3;!joCjS5jd5JwV1pokGja9h- literal 439 zcmV;o0Z9HIiwFP!0000218q`GZ=5g?z2{d<)q~rEjmMvO6%r|@J&;?)AvY?#fV#`B zfGnGT-+?7GhYAUMJa686E(Q*$S9#?0A+$O9s!LL zIykr&GML(GY-ZSUJQI<}Zpc_Oj+b4MOw%MLEzW(NC@Ez^;wxl#JGR}Q{{bj6>ed?cIhVquL3#_4vI@O+ zKL3OPWt~i&@`e0Iws!Do@ay=&LokB0p8@D~)}0@SVo002zv(Wd|a diff --git a/lib/images/math/nvdash3.svgz b/lib/images/math/nvdash3.svgz index a6e243143258151a1ac357a06d38043f671fbf6e..4fb979439697c115a468b2753a10fc17ef1662f7 100644 GIT binary patch literal 749 zcmV<>k}Q!J$_(&DM{rj1ih4Giu-4al6WX{PP938JdF{ zd*%FSR@vyYr}bj_31jrvWK=LcI@+*9U&ohOtGz*g>_XUgMR7bHi9M6VPut=%!g#${ zEa%tl0wDx_$GPkEDmxqYhsh;juM6YMV8$>PjIbiR$@NXHV|V*%v>ygP&dE8>4|n3J z-(1yknxjY}CZ#MWFF41b!1LP})KC1;3N!xB$|ggA zYDP=Jb9ka<$x4J-P6@x<9KyUJ0**^n5){@Gl%AEn<{3K-JIyM&?aIExR+p+9kl) zBFCxGDGwOAEUP#IX_{8lZQNZfq6ebZk_j32U(&XTdq!j{tGbPHR#j~!VQErF$k96* zV7f9jhv@_dE{4GzBEM(14_yse7R5dfdRl`v9=tD-EZzV<$Kr zoashCzMIKE&SCN|37W@OJKJaLqBK1^^Vr*Y@6=moM`uCd;iKO;f4tVssNja5m44Yy f{xJ5P()utQ9Q=Q#gTIX5*n06F4s6H-js*Y!NsDz@ literal 477 zcmV<30V4h%iwFP!0000218q`GkDD+Mz3;D>st30R5B~m$mR+f*9N1gMVQ*A8fSQm9 zXvqHi4hc#3P$6N@%$xU~$9{gj9QJTd!`L1BoJkby_2udL3+M2&?MB#j`vh|}LX-M5 zR8y+q*9X++Zag;!km!JO!czoo>Y8>U4(HLv)5Jd0N{YHP|2SSKQVNwapiD&LCCK1V zdJDHk26ITA*ZAlwy@P4b%iC{{uP}^X1p)p9~18_}Ny;0k>wd4ks zaKda28bO)j!D-PtV}UeM0le^7zW z>!AH&n8}1_J;9LNf1y diff --git a/lib/images/math/nvdash4.svgz b/lib/images/math/nvdash4.svgz index b01d04aa0145116fc0f5da43d0c9f5dee74f8369..501465df2dfacc73cd089bf13cfaab3475615204 100644 GIT binary patch literal 698 zcmV;r0!95FiwFP!000000EJZ9j+-zPea~08%uB0cV;d5dEc4K+(!6$2pFPG&tQb22 zCz;IG_ZrA1jZ`GS=iGBwZnAiOYYaN7w$sioBSvV1l$Ea5cC(EB{QiN92z6fAS{P^5 zGO{juUQHICFh<{6CA_N9N&78&vAa%+y+WV2-tVgUApp0<0s6SwvHst(nh z(q6>MvP>vXILDyC-PwBah96y_#*bV%r8EKCP5EEd!)OC>(zV|L`s>==2;m9>@#+qc zKU!VsMJ=nfYa8KLx)B={die_7E|Qz!LF~_abqhL#ZB^$EtyCX=-dZ*~I3>TlHs&QH z8QZ!Gs=ZOGKId?}bdij0j7=tYT`rQ#40^N|emi)D>7bMo#;4PQ#jGTh!x|tOPfJoz z$_j*MB#Yrj5?G2bC1pO%coxG7mYmZJu{b3hF_NbxO;h0WSw2N62@-yN8^mMGAqGb? z!XXlkaS{B|7_&6+L3K6poMf;sQ;sq+i!nT)8eX6@BQ)@AkcGm67OWH^Q8fC6sNpzP zO-atnY#LILJTKB2^u=PF25&~nwBR`pwu0puN5Iblx<45>voMm7It9yECk&5=84WO_ zm#U$sn893zszEqS`xc6e_&vI9X!sy$QLvHf{Mo>QNM~GIJ<o;-{mVY(*2VS!Z^(O@Y0Po66C;$Ke literal 443 zcmV;s0Yv^EiwFP!0000218q^ej@v*C?C&cWq}ZeoweN>untYQOzdA;K~akHxATo6DN#xdQU}ydfbbTD zGq5%?m{T)#1Y6S!5qa##f_2k$+2#2>&p0bQ4{a_v=Q)XQklpQ=`nUf9MF=6kR~gxD z;$fucQcoQ;1^aH$k+_CTqW0dKeWs8Hr(LN~N#jKIKo~Sun^0=>E_h!_wA@o(q2yNB z{Q~e-$x7H_d8icPl-9^Sp&njOWj7n?%_1l{dhPJr-Gg8X-Ky(io}=4gZa92ypIu<%`1z6d)n5r liCs6uL%}|;dhk&&EgW*|SMBz3(Sl!|egh9_H_fU70058%)p7s; diff --git a/lib/images/math/precnapprox.svgz b/lib/images/math/precnapprox.svgz index 52e0c3025654e02d6bf8f24f006a8fed40ab63f9..be59a72e6826fb02729dfcf8c391080483700de4 100644 GIT binary patch literal 873 zcmV-v1D5!3K72d3?71GsrtkKN5;9?RSN2uY9rwwJ`E+hx?c2)g2hUgp*o=I31U!CizsEVmrU*94&<`RVDZU6rB zpydxzyUW%WufWsyOT8AI z%MSI}KMiI5=6b90+=Qg;pQ&lvPoc>o>#k@swe=zPoXwkxY>}~u%^+tdp52w>O@ zS%KWMhtLAGa87G*%t?X9=fy2+tgIM@N;k06^Ld?NdwZ365kss>PK~6_9e89RYnH;^QDtNCSbk z7G5Lmgyd=k^Z}-xm=Ym~29ZK#Wn`>kzA~#p9kd91i1~b>X2KNBt#J@)KwuFz5iBdD z)J~b8KM>O(eH!NFP%8>iSw~$zGqkBE9aI$r()1yx4Jv6t()AI>N2aqbh*wUynWiVg z%wy_+INi>bC%o{?eg2B*jb>P>%)Rqrv_uV*K?h+O29={b&zC|iBL#68G;2OjI36zY z=DF}PSDN(28KZ^xof((s81_Jo=F6O{f3NVdYMEpF5$wW0=dk$+&W!d=o(2E_K}xPm literal 826 zcmV-A1I7FwiwFP!0000218r2nZW}oaz4t4$=wWsbBa4(MNJk$F`G76%0lTIez1!!bk#N3Ba>m$B-r}!HlUOAtjx9gpJk6D=s6{463OZWJxYe)F8|g54KMVaE_?D zXW**4x>S)=c5T|2x4>01VUEh(jUBUuSOq()sDotIJKHFfv!8lg9WYxh`>R+DnJQ9Ecpb`5` zcm>t^KT6EM$KK2jzIZ&+; zt=}eXm)z`Dn-3VHuf5NMFVU$A2lTzYABz0w(WgTQ$90ySPA5{$P15!I>@&i6w_0t6 z$NdT+1bf?IT^8G9CLAC7dIXk5=4;>hHVhdfEK3%6vA~PCy?XRT*EC%_jLdfUcmeLq zyH|8{a}pznIp;FUGtMy}@bKJ*{0U!E!Q*>WPASb`wjlqDx;kxaoT@S$pyYNe55C$T z!cte|HUTbAc2I3fe>cSL)Q^=+P&SSlAM!E}`7%Ct%*X`@#9ROPb~{y27sdKd*Wb@2 zJQ0xp?H*u%vU_cB%3^)j^-UgjRg>?1%<=`&Zn9-?1rEOFVj5%a>k#durZ!lKJJRBxgybf}lFfNUBso}&a zZm2{w#g2ETLf;Tl%R02&cKv|u0*pJ{l=;= fiW>BiEPuW|gO@md#GCkk*{%Ko5WD)8S_J?A7~@i_ literal 540 zcmV+%0^|K3iwFP!0000218q_}Z`&{s-t#N2=)iW+iO1tJh!UV#Jh)roA)5=!l2E@O zsh0EadrTZ5X$t|Oc)a@_;&=CO+3(<7_d|C)REkimhx?nmPelPg+HQbtx2s`V575+y zx?hj=27W%n=G+bEW)FlOibDEj2W{Oo?N}+}6DFTdqk4}^vg_*U+wmehlTdr0lrV4t ziUG+nTn80Q-DYg1?X{kPMC4(pR6CBR+p?Ud2`9#5-;_pcT?+fP<@U1c4!{1_C}gR8 zIaQ)}Q*Q@ZPV2FSO{KnjG#ssgg3ttVX;m21DY*1FpBN+^tp|q`m>CL27rk>}klFhL zg+)q^;z~Y@_S!zqtrnx^2s4(?ESf(QA_=P))*-%Q4OxaZnKfDx5{KHFM4-_JjvO*L z8|O2tb}X}VD`#Qu9qrZJKZU2+KOx)T!%AZa3*-aKRw)|QEd&+BN?(x7uzG9p5v5gl{u zRpCPJhqSj#A&D_bn1r2llDaWblK=!OVakr!$K_uJpA>X*?+q2ks8W(pUK7#0)KBZC zCiSu%`}JYi9{YWz_Up0lE?-zfeq<>)SP^Q)Dy86&zvh|WLk({scPzoop}TGSdRwW_ euZ-|qDfvm5LU?6w=9gso{^k$2ofj{b0{{Srs{z~q diff --git a/lib/images/math/precnsim.svgz b/lib/images/math/precnsim.svgz index b669ad509e1cf5291658daa56d7387b3f8b89554..3d5274353e2a19ac6714e52875590b7a3e5239fa 100644 GIT binary patch literal 722 zcmV;@0xkU?iwFP!000000EJV_Zrd;ry!$Iy_0pmw#g{13kex${0J-*oo>hslh3H{O zOq}HFyQJhO0Rq$qd3QOpJF}FEtEa9-k8Yfrq2DE(vIM!l8tSG$?2_NVZiq?H0OP^jX$E>{(h>;lS5yQ-k-K$_KUP;-_M#I3a{6R8jc5M+ApefdP*Q$gcLRKXZa;cP|z7xiwnp>S?$e}q(+m>yko zIQlhj>Rkd{k?bKWYIiq<>Rb<*N>Cb)I_Jx}^yPYdspOFh5U{uX@%?7bAg`+JpJBXT zQuqZx`FD7L`N{sZT-4R}ZWz1L@0+eXxZvd*xGmE4;2qdMpWNDXZacbZco-}9;q}&4 z*921f(>HB<8-^^l-ZX7|>-KTx99~?ci;cx(`o?9EUUm?(Q|XU0D{Kc@fjOfBRfu6m zIoFyQL^!8HYpx|0f=VWHEfLWSONLqi3Tl9$49%r9GRHa9Rturf3|WE1qU$h1OKOai z!XU$_RyI=>1D#98bB!{F6{mV;1ToidU{X$kYIO5P6lN@|1s^$PJNT!v<3_5{(EchC>JV(uW+>(XRNEiioXrPPL*ksES+KbSR#dhIxXW1mEV!Z literal 651 zcmV;60(AW!iwFP!0000218r2xZrd;ryyq)e^q}@2dLQJHG~xuPExFy6w!WeW}fH z(V3>+)`vx3FU_wvvwUs4*JfkTiYZIwYh>1S+pPOpK@@F_Vc!?mc~PUbK7QMsG@@id z3=vooF&KkI&*rkRFvoV;ua$Pjb0RHr+s%q~-|wfB$?s;Ndcr7jkg$>*_32s zf)ou|W|3q{wk{=k(x*pop&FUaB1B>{=JG1zo&N`j!YV6Sh3P|90YIf{vgk17Wb8Dp z0V{zchpa0MKv|f5WUNLmS#fA?PIrquUt6FRq!i|2fiay)gc7SOKo6Q6Yf&L$^0^kF zB+)n<(McGA%30@C;F^I#J~N!!7rfzYV-y7_V1PJx)~CRO%E0)p3?E76>aV6&97GGM zSZ@c$p&UNHX-B}pu+=kpH}u8@FCRz+HhDGWnlw78YufWbx5yl{N+ig(>(TX^R@aES z;B^|*!IU%xCIPSF=n!NCD$2eM=|@Hg=rTYcPVW-u70O#KP0$0NOF6mTr4ZE%@Gd*S zjmv6d%i#!*m)mdq}XKOO&vyT9)k|5(Wc003YeIRO9w diff --git a/lib/images/math/subsetneq.svgz b/lib/images/math/subsetneq.svgz index 9bf2753d2ae0ceb50fad98069142c74b5b994c67..a31a69b54fb23cfde67fee4270374930ecd63c62 100644 GIT binary patch literal 651 zcmV;60(AW!iwFP!000000EJV_Zrd;ry!$Iy_0po|Q+yh-b7&Eu*FMm*DlxVYJq(G7 zlYD)bv=Z4sfcnIpo!OnCsp96TYtf@0r)KE487C}5zORP5>G#|0_pe)QGc<*=ugiAm z{Wj}|>}IzrK46T#j=l`OMyDnm(D(j+s>-8BpAI1$HkzV zUm=8GZ$EA7YMaf1VZ#DD)QQe_2;o8-Y_(hXa(trt;vM{UI!M zQ*SfSifji}QTw|oqGvo-GD9@AIv>iq4CT^(MNHBH1>$Xfe7ikYP*>IF&oJK4CHx|x z{5w3r{%rRK7j?C{8^*2-yQVAmK4$p>X$!hEuE^o}=$E1Av7?`chq3bS{=Ie8HBm%= zhNf-5$0c*Di=jm8)(Scbz{6>kSQO_-F%$+gW1b4po> z*c$7276|8(Xq7WA)(lk$b55*~#z-i!0D+Z~)y}Ax z5@dqsxkAw#pvuIyiG#q>rDVolP#0y6NG6QcXHU`^;VkTs#26-3G;4ujj9FtxI1FYQ z!4(M$CUvw3XW<~g8rse}p&$`_)FxMXN~%e&xwZ}oMRLQmwP%$R%!;V892}rDQc0T@ lYO4g3aibL)Zto>qK7u{RlBLH~#CN+}{R0#%AuZwr000SOK7#-N literal 511 zcmV>s5a`yi`tyq{#@@Bf>&84_a#zI)z-~WXd;Aw_B81CyeLsyjbDxzi70__UJ;R; zL18jrk=0zO)!1%^M((}h6O*_+^o4GQ;k3x}aU5Y}ICgbT#+Y2>=PQfLu08zx-$hI* z<=3nh!<%Z`%W*1)Mr{iH)dSmrs4@f5SaM;V;RN}xWWeMoJrSTqBMr|9=^jlK`xyZx zCVB%H92y&*Zh!^v$)S>dg~F=Lfe%bU&Ez*=IU8AL9tgcpB2OHH7p_2YlAjaGfb$L= zPwdG$^B!TaDfw@=8UrCQ$EaquH)Qos=g+stFyPs+=e3bBS+*FK7EJUutt_|{cq+0n znc&1`bdmgufnDUO)_6y_6jt`p)A|qDk|2soSP?MVS B{Wt&s diff --git a/lib/images/math/subsetneqq.svgz b/lib/images/math/subsetneqq.svgz index 6d7074a78eece93f0fef8d3dcbf3785faa24421b..09e73b4618bf820e45ccb94bb93ec8b8cf2517bb 100644 GIT binary patch literal 593 zcmV-X0ZL_RQluzKHe}_HB0vtg^nspLinfL5 zVMuhG%Q9toJIkdPWM&a?YF`2Uw0%6V6O|i;95dyb^DXppCT-yWOcaNhkj|RRRtUYcRJD<N7Uq9h@2=Jr&UIxE2u0@M!PNVM zU2t7(1JsJ3K$KTzH@fOncSr`ne5*CKtV&xh?YBzmwMfBun;+lrCWKh)&7XdFoFV=k zq5RvQ&_5_H<-F3HT|cy?E$X)18<*u9rp?*Xct^G`N3#r_#tvrePlGlee%?yAwG*+Q zwr-kxXEMjS8d}@N6y9?>zNKJuj5#E`N}02_JMidO+QX#6+j#)RX%=!pGq?pQX_h2H zsHqT(P$V?YluDEXl2iYmq%`AkoLuqKh{|b{KQ$0bDnb%b0Z~X45X35sKm*~(5;9FC zLL%ajWOOZ68l@8w0!>hZ8>|J-lz=r&xrkFf_bw!F;)Xg0G$P(Jf>&sPVJ?2qJmGODL_3b>Ri01NBquFTeUp?Ic1&}z)Ed{iomT*VIX5U7lMJAd;!+;92*8A5;>M99lT>MPa(cjipJrW)USdvIxD+tYipE zYr8fwMCEO1`T5A`8#`&A5{`QVlW?m~9Kl87{F*=b0vsh0&G(C%^_&V6OOn>IKep!s z@f=I(JmGr2)$*T7Ua5#GGEVFsnZTRq()(y`EI$~07SQnqG?-~8a^8u2-i_vlpR1-u zaSO-3Iu5&2e<;ME8vE}0MJq@@J~C~rmx0(S2InPxO+9~x8q&679B%k_kV^y9T^4oEm&YPmRUazcO4%u)y z6u%Qn_YV)-@%ivT2tnO`+|<=BTN2Jsmo5S8s%X0A)b!I>2qubbg;y)Qiq+farW#JC zp&wIbKmK|LzSNH|=&0tZ5=ev)3N8yNDG+r0(NE=f`Z^UF-%6F7^8$A(@_$jUS{o0p zZ9N?kN}s}G(;kk~8n^W>L$1vBh_-d}IL6cYJVrVrMY=jQQ(2c&xnAE+T*?Im_BMb1 z@o|n2SJmd9;qq+>@fQK*zrz#iXZx4qZC!01hs&v)_U)-WG||gDxZM`(#Vhdi@zjn)CMNqF8J!CW||l+v3)P6rIcI zIA_J~5E+=w1!t1*Jdg_iITONK?uigg8LnL}40GOUqGc{6kX=GapsC`_>R?oEnNeIg zOXz~~N=biMSxpL{nM{tNeT*4Lk<*vUUUoa*-S$9agmE!V=B2MV`p15JcFtAm3VT z#4KBDEsV}JLCzi(O#Od1rAZ7+T~2o_E4AXDpW4w3$=A z=NRW0v5x+uFeQ1&W52vr0!N_rsQQ^$mk0O&t7I14mj)9Q+(~YUVLBwGvoDD!5YV+* zW`JN4Z0_STysfKF`J&SV^GfJVW*jLu!H3vdNRvX__;xvlfJcmJEkqrGgES2En$8_g zi%+_#VSyW=;4k&qy4VSH${Smq_K4eD)pCXP-JxO%ujg31FtHTCqC%hIyliU5g*&GhfceB~?c=X5UpLXjRhY)69 zKd0QiJ`CG`f0YQbG8bgQu6-BDi6Y`88D9`mNktY&NKzYsz-$rwNk|cM$f?x& zQA*hjH*tqOFL<|*Ym7@_XYL4E-(f;XI0s3#M$Fm<;;iU|$kP#H%u$}NF|R(i^8 zSD<6BAv4{ipyixwq!OGlRV10|=n)2AGcULvq1JmfHiIe_(nt-$GV);hqyncMlkN*} z)jg$5BB{>WI5BU5t7hC3QtoczTx7gKC&9rh`XIUJy~JpgOB_9(5^%O!=T|WrGIq{1 zPN!iWSQb>(ms%TSp?pCJ+)}C@6pWy|4CLkP&qD&&tl)|uE)jQVx(DZYx(1i^pRe{i z;9KJcJcMg%S(+K1#@YFaT#xwka@|uihKJp9yT5iP=bZFc?ry!rja=zh!_c!d+^6Z?AlhsXWXhyMZSHb<4G G1^@tN50*Lr diff --git a/lib/images/math/succneqq.svgz b/lib/images/math/succneqq.svgz index c194a2645376c3f6cca23067e39111bc56b7c180..d1e94a82949e470943d39fb0c21383f7208326ad 100644 GIT binary patch literal 587 zcmV-R0<`@fiwFP!000000ELoEkDD+Qh4=XtuDfYf{3Z^G2(y@Kq}leNuBmYnG&~}3 z!p!{oUK{cor_R_9UvFXR(wo>%S60=t zZ!)cQ6I!~;W})YJd)b0bYfMYBn=Mmzc?Llpb9WeB{^=kkBf)8mc$Clt8TjW^2(5X7 zgrLhMkGYP-lCBaRqgYZINw}aYfD%2TSY4<%p+a%7(mqrxnj}iaB8WH`)?>a8j-Mhm%Au85I=Imco86nVq)X{@4Es zg)EgXSuJ|k^=6RcxEfovuJre49I|(+@Wuw@w3H8YAwGa1$D*|e#(I}PSrZ8vNfjc_ z5~qKWWg+7j(!+a300N70VFDz~JZzDbH-SQ+9777gnHSh2JX|W#1dbtG(Kw-DAOAvZ zq9DYOdBQcbAnc_0VgwCh46Hs{e!N@)81xirX$=v?;O1ytLRk2Wqe!v_LBzWGxnn5^ ziysVg@s%uvMKB(m$IR~?Qcj2>WEmo@lxJ{EKGOV6Y94}CtfTNn%PuXP3BlWJl-P-m zOX*qRTzrF#ejy~xDVyX3HVN*;EXV-zvQgO)MqYd{_^4GUKfi&(p)O?|%JW(@FZglQ z)SzF&v0v?n&7t2_dbb+;?(_w%%8wick{6*~tU{t_@N4e*J=E%L(*w$O=FOY6eZ8sl f=T}DcTxq!^lZal~o6AcU`tIfr%+5|*n*#s<&WQ}s diff --git a/lib/images/math/succnsim.svgz b/lib/images/math/succnsim.svgz index b8c1243223c9b25c2f288b532c347b7a271425eb..1ce5701e040674ceb12e49c214c05b44b8719859 100644 GIT binary patch literal 721 zcmV;?0xta@iwFP!000000EJV@Zrd;rz56Rz_0pmu#Z6oc**T;LkZTw8tV)b6M2jIY zagwj^kdmVW2v8s7nc;hH-i)Z?>ZxndqZ_AY=ywStG(oPfhPvqwyX5z;8*CCZ`LeIe zcIe$M>4)TMzbQUpjIKvldRL=!M2+NWcUajydbZ;JAHFVw3Pm$SApWlGT z`tB7S+?+)OF>7r`dB!;g1fHIIUq0dYRPgu_l~YPHI9rkbMZH^XD4d(xA0g!?rbpKt zj(*LXdY1r~Cws_>+TBf|I@d!c6O_fH&iS$~eYqZADmroj0^@Cee7~79$g67mXBh97 z6n+6v{v95mf3klq7j?D08^*5m`=%=oF3j=`rY*Ad;2qdMpWG@s%Z_du9>&Uj_6^B_4NaD@-iS87b^F+J4lh$=%NWa$*_$bg?6QNHol1Y4Sz$YfTcT1%2}d-w zsDdXYj44G8VvLBKN}aNtXrm;OJmnmaZA5WEV?l|MHW#TPxu8rdgcp<%f}2YwBWKYM z!dxk4c#7dnP@#dRXbNf(hdD7pTpFT_m?CBgCCOzjl>#kIjFlV~B#5?32pgw|br}%F5X+PaNP_o(2DRDx>^u#& z71S+PT$@zG+N0+XTq6si5zq==p#c@EQj;%Fkmo^;M!E3DX4^QpW1Im8%z=mCdk&*- z*m&514*i)DVRM$}Z~=ndu&Wk@e{ikhE&=?KtRGysUxMZ;-rXX6Ci~4l3QEiPQ3U`1 D^#f8> literal 651 zcmV;60(AW!iwFP!0000218r2xZrd;ryyq)e^q}@2dLQJH4B`Z+E)m{)7v|5aS-f=pOS3X)#gwJ;H8O48HSI7hh@y=#Y=`19FKX1)`yZQwMwBdw zAp%Px24k@3*_<{OX5TG_R%u5(CsL8?ep;*m7Ti4)tN~)CP?w34(2-X z0|Er98#J8&U6zI{CMI)kg{(La@Kj3bjd&=pBYX&3*K<rNI(IG0_V&IbEb? z#JBUN#$pVI-F)3IH@nreSj~rBclgF&@=qTn2S?UBJ++ubZ2X@0{OfD;_HFR2_c`Cy l+jdtkr^VM}Me{l>REQOSEZ&^|^b2r*^B)c~G9t_b001}kH*Ej_ diff --git a/lib/images/math/supsetneq.svgz b/lib/images/math/supsetneq.svgz index 593dd165bc8b247215c2872cc4392ab74ae3870c..159a557fc9500ff6bf25d4144e8cf72a94a0e92c 100644 GIT binary patch literal 575 zcmV-F0>J$riwFP!000000EJS^Zrd;ry!$J*?4?CTQX*xVGGyhDB0zxl(g%80DaIC} zhaoX>lCSTQk|PHQP+hdMJG(nWGQWCi8+f$CSohtIBrGOiJJVNnx8IT9ziy}|FuJm< z%BJt^j&wb_DpvUiO5u92rLz^BYIlI!?tV1o(ZZ*LbH^>`r_+hmbCUJLo__{Pi`6P0 zANMN&z`fnLt;~+h4abL}3B<~9+t}82ZsZ9|I9cdsp&P%wezc}<+rAq^XE%PlAP?2u zE8D9%$v{f7EaS1@LQrJT@ws#56Mfr?8sBRbaU653EzJM2-W;t@oa)LQ5DFdO!PfhO zTX0?N2=)q6Aj&IyH~Q?9_b4U6L#ef{tV&ld<#T2edXa+mwm-h!ObD?t+dutqKSTUH zq5RuF;C@oPrt`{d@A{!FT~W8?-g+-z&~46_!W*)CKH6pIG! z>FTDr^-E@37ei~;*dpwl!m|rL+n7!A3zs=RpFu#!(jBHQe>xyVB-Ttp94RJ1rc6aK z7)T@&dZR>!NXRH-YNHdWeJn(vBSWpF$RyANALM2&gqmvfOlpA6197^aEut8gT!WS@ zNmHB{VI&|^(I#dpk#g&hvWl5-C zkW|b0`%<=}7(pRGi{X+pvm_s%&$}(0%C>6``$7?F_5Aek_$ABWSKV~5X|^Q{s}8Di zU$(2hT*L1-Sf85iRPBJ!LzYRtAgIfxs{2A2Lm0>&dv(uCf|_#paX1Sy3AOWJjFB?{ zC5@ICZj}m#X5H74ca4us;&R^=s_y&aEYF8wz=845R=Lqy=OTYgnVq-I{?GpsDW#NO zZj~5bmzz$GvjKte#s>?7QW-|?NY z#*mm}TwKk~C)4j2FuhA!?`^sZ++O}Fz0ko~(CArg@QaoqS+*1w7Il=OrA3zlkE}K( zNfx>2qVY>cc9BVHwReU-oV}AR3`XNZSQ=!q$;k>);4m5%5vg~M(?y$-TrWR)c~#KJ zxGKslsayt_-v(J-;>T50lDfdYUG2Ngq1_c~x9Z#G{Ean?pBx!m7sQ7&P}&pGd>?E6 wb|s92ycb5I*Q43Rj;O>tl-nbKWeC!6HWsF00^}EaR2}S diff --git a/lib/images/math/supsetneqq.svgz b/lib/images/math/supsetneqq.svgz index 8422d6d0e7e66b26563d612bbd8093717adc9d29..0b2fd6936137f320e0b1a175f73194ca8a608602 100644 GIT binary patch literal 586 zcmV-Q0=4}giwFP!000000EJRbZ=5g?z3;DZ-Ak+DZ!oZ8$stvwT>GJ(sd08u_*j9H zP4eqIHte#IB9#Non|bfejB#=E(zWQ>j#D%AJ1i*2$o6Kan|{B;zkl7445P_aeO1L%H-@SRZX6U-1pMtWVK3|c?`r*R% z)0|Wwi9F94mrP0m3^Kj;u6iNwr7+`1Qpq`IP+OV*WxYFEpExzOI{=hffCt;`4{pUx zy~CiDxCB(x_F?kbIqy-75eucxx~i^RwU*DBG-!bW>urC0znc+YW43>W@o|ChctZ7e zc!K`8yrhfTY#)ZPt6bT1)!zDDzQMKyTMO^V?)7L_)7f^k)9^GJ`{D1cP1kr4`{|mt zz4uL)wXRGX*V;1loWt`LY*}Mjl3i_Cu=5!NbgbNAR{7IGN=8D`4Dm=)iBwE=#F0Tl zQJJM$=76M%a;nozsLaPwQVn!q=tRj}AtK;Hriqk#u8}jTMPxAqckeAD4oz-Rrl^SH zG>xN_(-`GCN>U2`D)DhFKnq`)P?c$&=qrAhRl}%rGqy6lz#B|S%;&}s zD;1_7BFOxN;ye~qMG_nqT^1@jA|Av%l(3l7QQaChz=PP=D#sr#Wj>?=j6)x-VG-KU~}A8j|lwtKE&S`X0F z`?_C`^#*>v!sewLUYZ>cdMFC1mk8RrYud3=>@Cu9R3BMMqOP949ZnK)LhU@TCX6ls zC5@I0ock0^-DYg1>Vjq-QMex})sExwwk)SGbmz)P zL5vG2EDZ+oDJ(1|O`hQ`AzV=#pE9{jVSWc>{p2VvW`Hq;kQgk6K%8T3*hIK;&%lTA zgf_YU zi;TJSDsU;6K-$~Y+lu0Wz=9zt?+G(1`~cDojwNxT3teqdDWp zbyJf%hhx9q58Fe(tJH2i_TA}=(U3nm3S(WsC{IKbeL()2dwvf!WWQ4q$t)(#2E1+i idRwW_mx=INDXSAQnalKM{)w;eZ~g!Uh79kY0{{R$R|Osb diff --git a/lib/images/math/talloblong.svgz b/lib/images/math/talloblong.svgz index 2788ba1cee14266a3f558620727e65889be8ed9a..11370f971daee5f993a0d12b713ea1ccc7262a11 100644 GIT binary patch delta 507 zcmVc_bULvzD>U=^p?zq z9d!X6L?@dyv5+#l?M%VJB=8;}f9T9{pb z@7RfVND|=VQEhBqa_Xrc?(^a&cuJ(vZ|h4lXt0?Al(?wHn_nb?cF>{sCiBJ=RGC000*7`4|8I delta 505 zcmVU#!`knVlt>kw8a(Mb>tE{uL?^ghTbDMrs=q;HA z$5U60#6ojZnc6hA=RWf}S?GG9Yd5_-8{O7*+w`Nd=|A6)yJB}`yEH>MlKdn|xCnR< zP-M{lt+Dwly_aIfkEDSRf@5!C{+D%kw5~9eg*_k);t?K9xj)zim&KN#HXs?Iv@pAW z-c_f%LlFT!wrXSZBDeX{zEsqxMGCIB`SJZ}LWs5A{As(F8RE|o^1tl~=acMOP7A%+ zwOyUttgQ3Bal3rOZBxE9?#TA-Xcp7SwljTu>a_XrdJA2bPQ-uOvZ|ilka?{e)6!NZ z8)r_Rmo50b#=IoI*)rvqGZ@h^w}(l8dr3N#4MXG((4qA*Eh z?1jud5DC-2T3-tl1WuJW1A#&(!;g^ReWRC0XN#N4A{8D@B*UtR;s_o=NfrwgO6e&U zM~*E)tyw5l5UoAQB2Xcd;)*Ju_tU8xj}J{DqSve#VK$>T`KLG%-l4wi5Cs@8C}1%L vQW2($6L%mYiO@JJ$riwFP!000000EJS^Zk#X_-OpFJ?xt1o6EHAh$RbswNa>~zbxn;kgTiA3 zPA2Ks_u6K{M2b{4=G=SEx%U{#tLMH$PiC6iaoAx&IYwsCW77`%9sc$6hU6H{wjP?g z8waz)!-%h{P5FTkbUm5cng*R(dqB6t!>sG0L7xuR9=D90PAA$fMLJG<_8AdUZ8qin zwBI0vVD2z)8@>P zY`4uR_9Rgh1>=%QNq|A-m%-N0W!_N+SY6PT*pLb8jLB|G1NN5|S8f(mZu8&ZPikxZ#V*C3)=I N^AG==_xn=>007ueQo!fY3R?N z*qQv(r(holW^O@Fjk@mx$eMW>7t5rTe z?^g&R=-Z8(%53p$IG%=!ndsY!e5d&^f{#W(pXno;aSMC5%qyZjmy+61G z*VPt-SKtCrUfJE~t5e-0g%Jx>Yh78Du3YF#B?(@Tzr+R_zuTkfsjiL0nS3ju46A#U&yVJba)f*e2{A%kScv2qRe{yOLVzDAoq1sS?A5`W zB9crKscCbS=B}a!NfkoF ihyqqrVTiwY`C0wlNG0NM@45fQiq${x;OWzi1ONaHDI_KU literal 564 zcmV-40?Yj$iwFP!0000218q}HZ`&{oz4upW*umSuvPeplSkx`BUUJAz8+O<&Lmb;! z^8wqd(|#dNW!O>c(`{AF^K56b$DyszIajIll5%@~>JPvF zmk1(KU804W-8Q>XkJD!A%(gDRvLzn@^lkLy_`}&4fdj6{dh#S|^(6t4DV-(I2V5;B zKNLyH5rvhvK_ab#b%f5F608?V^p=U%dBU&?`da97W)w_lG!POqYruIFP&JN3DF>8` zlG;#tlt;AS!SOYqhQZ|yDj+FEc>}yf$Id@qfnX^lCq_$^Lj9>PPRW~v{0h7oW-EZm zDz93Rl`CS(@=L%t8#q9q%+B8Ndt_ojZ*ter|hW`ACoXI~uO7bDvJYs;v z(cK{t7^}S*WX<*YdU-nq6Idd{s0rb)n`h0==rY*FW9%`)%uQ)(fFg0Q)=gEL4L9Wh zgI3@iP*&>WWV1`&q5vc2N}V=ES(sugUox@N0tMFFKYf2#5MZVDzlZU8h48b4;?Hn~ z{y2Y6XQkR7hp{V6-gHH!?JnP7+l+068?t#j>CJSp9rZMvN2Ndfyrt?ID`G!P)3%Sc z$-35+X=7TQyPivU*@CTWtV^=1Ei-nxfkUUl)Qieq2T9?HkVeS&A}Wv!Xyo}wAug#% z;z*=`g!EDx#R->*jfHS@U__x5sYHasgN#EVqNPSIq!tnD7E|F74!qcz6N@br91!$H z+!dfbi9If80*=0;+MxmzJJC{!X(|ZsJltx|* z=3L6q#$f#k|XLK#CC$R0=aH!lh5>gmhjEXX9(&Vw;V-T;&| zT4K0mDww+U*h<{hJ~K&``=LyK1~x&jEBC-jn+CB`CG{1yzTbC{uf9orTpSm zQt-Oo4DuYSv4wS^zItREh#+Hhq-|K<4HlDg$%8|RmJ(zh4SAn{(Fb;STxxXQk>l@~ zL+_0(S(@=FEQLXnH*m8HQ`9U3LM;j2Jq(OCCBM95gC-i$uowaf0U@)Ga3g-lBIHuA zW@S-FZ_{iS#pJ~yO<1=w7=04u_k>5O8be}^u{3BUWkqvIDS<}qouNmhM$b|dm$FK4 z60O7#ZO~4RfC7go4r@3#p@@m}OyMcnhU+ss@q2Cp1SB-sl z{=^#QPo9je3mE57O9c_l=Q-#1P{Vw-lw=x4E^WS|Mcdb#LVdg{!ds!Njwq*cRd4P; QInI}-KL>zB)@TC&0N}~{b^rhX diff --git a/lib/images/math/varsupsetneqq.svgz b/lib/images/math/varsupsetneqq.svgz index c5c4403f3fdfd0c86d200f16802109f50ebf04d2..a3521aaa386f3c5b7be0e41c5d365e5ee2db6f31 100644 GIT binary patch literal 600 zcmV-e0;l~SiwFP!000000EJS^Zrd;ry!$Iy_R^vvDLzC=hO8V?1jsdQ(X&c1wh%oG ziHVbbeV3GMIY5B=;+@@@*#}kJyml>mvE$SX{SI>)V`O_X)J?zN;a@-RNQTkms=lt; zp|?BS5BR3s6rTt|x1+6`tZWr z`wc<}`u5YdHaolsj?ZHoh_zw1wVmzV#5m;)uXMB0jql#PSTl6p&`&|xPoJ;IWBqtx z`)N)xka(WwEEY@%0t_;}^{#p)@1-!~M^X{TF@xI5{4eX>X?^0<)b0RKWC0#*vp={M zH}wvKR^Sp)QQODKXXm^}3L_Ruopn`RxoRz+GilHQ1=ia>e7~C!U}Ltwhw*8F@biS~ z&+rWWad}A>wb?!nV^_Jd>8ic;yL^Lf3$_;Ck=@(TuBNl?Xs6+MH1@;itxeZ>5&Pkq zw!QaFmbI=-8`s)0^qj-<7HnB#S(06CS+MgB0y3<$**zizwJI z3?srY3MqcBf}_m*0L!QnNr-PzCMj1cO;wb}K+1KLfGw9Y@v-7y3;!aaGSfQISNyP^ m)^s^9oC0p^+yBMu$LZffDv^YDF8n7|ZvFw*-a;0A1ONca^C&$4 literal 560 zcmV-00?+*)iwFP!0000218q~wZrd;ryyq*n=z;A)D=wE$BT9h!;)8oDa_G&4Wl3oK zfTTvw-*+j;PEZsAB<^rH`{3yQ@w|VAm%1OiAH*jDPhN49|o3X4X2ZI?H|p?BmM98$EDpzxT;7!Qm-u)D=8jc#T> z3BoR