Update default symbol list

domschrei / krunner-symbols

A lightweight KRunner plugin (Plasma 5) to retrieve unicode symbols, or any other string, based on a corresponding keyword.

GNU General Public License v3.0

118 stars 12 forks source link

Update default symbol list #24

Closed TomFryers closed 2 years ago

TomFryers commented 2 years ago

I’ve added some more mathematical symbols. I also renamed ≤ for consistency with the other symbols. The symbol for ‘micro’ has been changed to U+03BC, which is preferred.

domschrei commented 2 years ago

Thanks for the contribution! Is there any reason for why you removed the definition for muchgreaterthan? Apart from that the changes are looking good.

TomFryers commented 2 years ago

No, I think that was a typo. I’ve re-added it now.