From 1235d52c52998e3fde6a34db8b18cb448a1e73a6 Mon Sep 17 00:00:00 2001 From: Alex Saveau Date: Thu, 27 Apr 2023 13:34:46 -0700 Subject: [PATCH] Make ast == ast.op (fixes #1004) (#1017) --- library/src/symbols/sym.rs | 2 +- tests/ref/math/syntax.png | Bin 5029 -> 5036 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/library/src/symbols/sym.rs b/library/src/symbols/sym.rs index 421efe85..b535203c 100644 --- a/library/src/symbols/sym.rs +++ b/library/src/symbols/sym.rs @@ -64,8 +64,8 @@ pub(crate) const SYM: &[(&str, Symbol)] = symbols! { // Punctuation. amp: ['&', inv: '⅋'], ast: [ - basic: '*', op: '∗', + basic: '*', low: '⁎', double: '⁑', triple: '⁂', diff --git a/tests/ref/math/syntax.png b/tests/ref/math/syntax.png index 3779f9a8fb88452bbc7dd1359c3940b23f3c449c..b843185a06fbfa10ee4cc7d70b917f38c34c7ec3 100644 GIT binary patch delta 3692 zcmaKv2{hDg`^SG{$xj-MhwN)ZD0@ZLVT3G6#+D2-BC?Eqi~PnkQkalsJa#c;G)M6Jk^T@8P;cg>un4pD`_Cr+xr^*{yAZ3QbGLvaE#eSCxiOx zQX}7a^+yPEBR8Z}joK?(P5F|J-Z(P+;a0 zhoFF#U#Mj4pPQPAFF3)~+tqsHmm-kL*FA6HV+0yvJ*n%#wef}_1Mm5+nS?w3&8$YY z#`C8Jc>8VbHI^&e|Lw(zS>%js9DbK1LOJQfRk$VxG;!dS2G(8$ ztSOC16`%MN|02Pk%`)lg3!ZHBIr&Du>F&#!CJr@>IOb>dEDx#R<}`_!3ICECeukj@ z&8FkN2Xct3=K?Qp=kl=dqOMHMc|cMR^YSF{>wTWoICZlAd$g_FA0;x>2i}PV*TNje zXI(z=oTH0*#aGD$oA2&XlJMqWV%ddOb#WEr>5QOYi&@Gio~^g?!)zV2z5=?pT9qQ( z56M0^QhP;(CP%pt;%>iMnf+LqW_MSIugSEP50})FoFsR)l2;!wteuVS$DkjTO9`rI zi&S!+wh!0L{o~+E@RAq_`NZ{65ycNrYVRIOp}6`U#HW7c{uv)dZWT&^HOxl6&_PG_ zXU`cF3>0E3#vYMZFP{FM?pQ6f@IvT}6IZ*lz&iM{`T24mPNyyQHh)==@zqfTdNb@f z_0g~JU?WZ22h$tcz?(>11$1{rbOL zSQJ6J;|%{8jM+Bz2)1p$Szjz5W|x^61yuN18E19{J$Kelg3`>>EdeF=A}k6QA_H zDcn-h)pT~_0AHqcEO;-xT{*wcC3tXMVsx_YV8-}kx1{sPVH>5nqfeFBVZ_?qAizO0 zfdnC3^;$Sp)^BFd?~^;fL4bbz%EG3)XT%!#I6ZJIf=8Tt(F&8krvthiuO)KOW--TN z*YZP#7+9JyARV?%O5~XhUjrlgJiZ@wb2iJ{jsoRl*4i~fB0{rv0Vi$_9QBrt?!h;~ zZ=@80S;RAbu02C8S!c}|0u~5``WLZ~2X&}+S7_QZ_e*bkc&YB3d7S>qFk(iL&!L&2 zw!=mSb33b z$>t#GEw`p%h+o5cG!B|g8A{&ibs6zqM~Y&iU=wL3%A)u(>)i{I$pSOOSxfOq*a}r; zxpAh~QN0tZySLD`y*EU&~sPIhJePRH|>naF1nV^8YPrv@)h0wF1?RtP?-1$I@vq!J$ zhPzU*QyQlRhfXf1`bcipZBuM6kok#CI_*7P2IL5R@*oOo_KnDe{L!bEl~VTo&j`Vr zUeTGXhPu%bl-8A8lV|$z9=UMGt$Ivlxga$V7fG|uCQ0ZA_UNxJrfE&lLP! zu2&JMkl>LKuFAb`l;k{}L5!{O63M+M#)ViXA)=u#<^%>IwKOwuKlM&)U(#iG#n7Vo zRdcb=dt-~amH5|%ULRQMCL(P)pP~&|dzTaG-y#jMxA@?l^``rYNqMJxmk%yzO(jh5 z_sd+s*k-G4%y`|7q!C0v32Skjx?8WNLV#l7?LWU?B45Q9c4$9e7D&H;rtcj;ymNX^ ziNFi-t`P|QQWbV*j`=F83L2KB-y|yAdaF>2j`L61SYEMKZ>LhKCyIoHy1_SoE@n56 z8Z@YlSqNd2rzLUH=-e59Ys@LI%Cr%#`SzFyB1b@Eq_zgNZT%#}`CO|p zodlbnF$xVmI_FGap(Eee!|lu!gvr}TqH2A8+{m8>w=3LT z0Rx#|cx&U-u=;|<9sdyIkETO`=0Q-XrJSJDjuZM0fNMsUG?G&)uN>e1eaYpH9Kk!X zhP?ffTidCnLi8Vko14{|3+9)GKDL>}X602V$O*ziPZa7;rep?JC?1QIWu@A#@N;$^ zcK-&5Tu&NLs=)ZATwVmf2e+Z!;f*(zIG5On$@E=P9J}3)2;j8bB<{dyhOTkWbbW0X zvPCSIIrFbJ=;^ZL@p*1Jhj2t=;7Wgxb0UGK9z-Qy(MFkjl{|FZA;rxDA17gw3dt># zc{;3B))B0$w#JTVPfak>&L{}42n=xb(40C4?OQZr69Y$y0jRrnj+OJZS7l71xtqAllwb){Oy`7)D};`^ zOlK~1$*}enML+t3EMi4pWK)gGhuYXUG2sjG+<1;C&BW)a&;r@f<~YScU2%+$m~*|%%<4ycTyh# z7yxWA1e-qMTw8oBLG--bJMfD@D`Akz@?`S8_vGTsgp=sOLHE0X z8P?)O&hmmYParkSMe{KyuT7K%|&p5*#Eui(q zkB_m4!nFSD(d2o0T>I$Ng_nRnYcl=`IBfUIRjwQ|(>{27FP)M+zoogLWzFO*uuqrU zDx0twH*#Pc09knJ@t|eC7!iPT4bX72OulpRU#tWDi+U95BWfj80`9jU!w*?z zqEPs%I4qJ3FGGd;>`LK7DL@A|cL#0+6!@ieK4)QglY~X~MWG_5n&&okmxW=ODhAF+ z#~LvRw`X$y4*LLz?x5wLXTw%A%G&e15Nc*#7r4x_%!mIm z0*uqIOMhPS_WxkXQ)0sEUurUT{Ow-s?^1SbfRyR?KjatxqhU6Ks!=HeqG}3BpNeEs zl6hgnPVh2SW{T7~%4g$cz)1T$?a7Ezn7_z K<=F}}j`V-gj;(7TMSF8`Bt`EXkIvN%pZXS;Ckk zL}Vvx*|QVL_IBR)`Qv?`bKZNt|J;A>J?Eb9_nr?~G*>k4BG|1$Scwk6X=wW{Fmbj_ z*NEx)G8P$c9CNanFfY~gb-|hWIjf^knLst%-?pxBBL7wD?_k|un!rilx(odUv#ET&}u$Fp36O!W715?JTuUBT#3hX%IFaz??(q zf=qJUR;RIdPKkR++_K@LTuazOuqK=$pa21DEf#-K z|KAcI3A@sx;k5rxJi21aCMY(&lBFJ@-q?A9#PS}Bi8dfP*HW$+E?X64ESkZ2_=RC85 z>AYQ|PvpYmtU{zUmhPqKTI_0>uRUj9HqvtPmX@Tx42wP;Bf;Yj{VB5dU;YPDjrpP~+=Qfdzyf8FByVrgfjc zZ?K|3dorBU?1f6nv}-hlDZk^=;?D(y!Vk{-gc(ec$GoZYC_5of@_`H*doO<#XL=SE zk)Jwe6J%ApH9u1^)S_M+9%uT1MA@vox$de*i9_kcu?3AWC`f5tVXqKfeo? znwglcYY^)(9MlCoI&aT!_m{k4#!AGbGuCP+r$4W;&53p1r zYQe>uNh_1B2p9~mPe+lxLu$zROh^;UuBzOor}gn}p<+!T10OK^m+)?!NHabKhqI*B z^I@}Ezt!5}GKAu8WzNNzq00@3${tR#OxL(YWAdI?=?qxp6y|)9^&NCdb&@TU8+m88 z*twt1ue#zY%fydU4U!G192nIH0;+B1X2)8^tH!gnZ2Q!%B0n3ixtsaR_WkmeUZ0Z>aAM z?W`XxyxZYq%pA%8^zMd*`~K?;xtPsLFEx6kU*}nn!X%0Z?|7$^1-Y{G0|eYrYd)c7 z8IPXGgY@?JexE3b_X^DBVMI{!nn(Cy$zql)I=gTgwmMrGxj-MO)4LohmSzPk8knzT z`aH7fi_gmMcnZmDwtslz*-MIB6*%KY?inzcrlI7*LAALF#q_Pq8NRR`zOY}I7BztQ z=*ANj7@mQUo7}j$+dpBM0YI3C(i3T;A5Z9K`oLtjX`PhX+Tr|1t^h5ux0HiFlcAyX zx@Lc?!CduwPbb!kw~Cfo(p~2H-S}slztPR?oyw8mznUAELV^ zuA8R{3$;v%=$|;c7%QbOW*P^3j5(llnhv*e^es zy0r>*qmm%f!t8+EcxUn?0qI@wKHaBoYtOaiPp%0{bg#U9iv`YKx!~iC$garu;MW-3-Y;>!!^X*)F3YUB9+ z#Zi-BD~O1%7cKVP1-Q9=agyNbw~_FNaf9sw?;7q~Fi^>Kp;7Fgk9&kPDZDN9X(_6` z9-qDX*i>ZsV29m{;08>?TQw$LvZ^$K(;5)X(>|04*}di1*Cy)bN#>S+xP zUJ$ewS&s3fXv&EEJ1sb*+ijco7lW^-6yKattWiH{36En#8-AH9Yze}r_Y>jJDiioVq!9s7Q!DJzPn=$Ez^rb+E~ z-iRzTRfc;1%wk?<9vYBxHyZP$)N{x%bhT+7*TxTcn%?d*8enJEYAL-ltj96D%U5~g5(F$Qp*b;OfIn!i@z6GOL8T% z_R2+25TXurYpF80^HQuuN+8`qf2m!#)^snejpTEulhW#WGayo$z+tQhds{Yry9NAP zIa{}2(INdu)Ii^h(aLVG=zEoXzsvwWVslTKLx0S<_tNW|9sbX#yX%s-viM_4Q=F?X zm=@k0PuhAHV3ZZrjPdV{N%@>M_U2PQZ&}cDZF_Sk%}%*hH;u{1!H5lh#e~;(DIxBqnkHeH#6CN zGI$CK%kC!V7#12DdLCRL0_lID7U-iNQ)FLYw|y)!%rC+G2d`?ds1yLD{0`$bNbFLvxcc62|1m0L4FTv*!QTrG3J=$(74k1I2Vhl=^~Sd2XS#qX05 z5S5-9@w_LfnA5uW4UH}-6${2>AlH|paAs9A5A$J{Qt#5F|Kh#t_ z{r!kZy;y>>;nJds?r1)v;l{nx-yU}d63G1qid{kp2o9eI5st@(4z}3wjyH5E=3H(J z+0M4uklfv!V(?7sSr3m5G2#3`_0RHWK@;goDHTGxpYO-&=4{FgHw&3&R<}lRi7^+fAM zXpYSGXm|wU#f0*;A1j$SH>XN+vk4ptFO8Sk(6YZ<(@H|Vm_qHB+_cf(kzeA&{k*hibMc!DIR0BQlTsBrGG!v?uT-vXhT{niim zpbABdrKg?syH()3-XI_pMI}b}p>Q6CPSN@ayKaYR_f;<8A^y3qJquH=<2chqgx{_$riAAp$;?&tqSESRd)S>M4yhuu6PSAP4X94- zWhwxCbmD5w5y9J5bi5AVOv1!G)ODJo#m0EOT8d>zM)1mlek6(SMH@E=Q$!q-ngr8r z90u7y1$_{T?UUstm$2^x2&%P`vn>v7{=7ua3%pGdig!*nx()CV_F(I|x*%eLM;=0N z?M~1)n%yxm$f~n62TPi&fmwf z{u84O9!*?=MRPlDzyz2LUS30e*tyWCqwsw}#gAO|m8($)k7r~9Ae2%BfqrmnmwZ)l zv=jmT*}U;1xMg3kQ3uo>{rrWV85vIdQkwCJBh$-YjlMj%CPU~5hoG!(qiU?2AAd4LsIkz@TyIM4>ALd45b@asEO_{9+&J*B zL?G~gC;u^;#p*jjN{17g@-s5y!hM=DGEL