Don't change the cursor on hover unless the user is holding ctrl. Also, when the user is holding ctrl, underline and darken the symbol. <img width="629" height="92" alt="Image" src="https://github.com/user-attachments/assets/3db1f622-c869-4114-b345-b4f7c8bb986a" /> <img width="843" height="129" alt="Image" src="https://github.com/user-attachments/assets/337dc9f0-0f01-48ab-a482-07e52ef938f2" />