Viewing a single comment thread. View all comments

ragnrikr t1_jcd39fw wrote on March 15, 2023 at 11:30 PM

Pretty nifty, thanks. A bit hit or miss though. E.g. I can't for the life of me make it find the square root symbol 🤔

cranberrydarkmatter t1_jcdq3jj wrote on March 16, 2023 at 2:15 AM

Square root is in the standard ANSI character set, no need for Unicode