My preference would be to have these symbols selectable from a dropdown box button in the editor, similar to the way that the font size button works.
Is there an existing addon with the functionality to do this? I want to avoid using BBCode tags and just insert the proper character in to the post. If there are no existing addons that do this, is anyone aware of something similar that I could browse to get an idea?
This link looks like it may do what I'm after, but I'm not sure where to put the code: