This doesn't need a new symbol, just directly output the letter is fine. Currently it's rendered this way: <img width="574" alt="Image" src="https://github.com/user-attachments/assets/62d15450-3779-432b-8805-561e2f1874b4" />