A menu to insert special characters. Like the other HTML View menu I shared recently, you could do something similar with the built-in autocomplete functionality. Nonetheless, I’ve found this useful.
…and yes, I know those arrow heads are actually guillemets (quote marks), but they serve well…