Hm, that’s a good question. For the moment, I believe that this is the only solution. In the future, we may have an “html renderer” option for dropdowns which would all you to specify something like [10, html.Sup(9)] or maybe even 10<sup>9</sup>. This <sup> (“superscript”) syntax is what we use in plotly.js (https://help.plot.ly/adding-HTML-and-links-to-charts/)
@chriddyp I think this should be added (some way to properly format strings, either use HTML entities or maybe allow markdown or something [best option would be to allow any HTML element inside obviously] )
Inserting unicode characters makes it show up very small and unreadable.