Conversation
|
(size threshold increased since this takes manual/unicode-input from 778.23 to 965.54 KiB) |
73e21ba to
68cd23d
Compare
|
significantly reduced the extra stuff I was adding in here. been playing around with the added combining names from enabling multi-character emoji and it basically solves the problem that I was trying to fix with the splitting syntax I had. adding I kept the latex reverse-lookup since we really do have a lot of arrows and almost none of them start with the word arrow. I took out the splitting there as well to make things simpler, especially since the behavior is a tad confusing if you have multiple search strings and you happen to get results whose first letter all match the real diff summary is something like +26 -12 |
happy april fools! it's that time of year again‼️
this pr combines changes from #61391 and #60263 into one single update. it:
\?arrowTabmany of the text arrows updated to the
\ufe0fversion already had a latex version, added\*blackarrowto mimic\*whitearrowand new\curvearrow*s for the remaining onessolves #56935