android: TextViewの中でHTMLタグ

TextViewの文字列をDBから取得してるんだけど、一部だけ字を大きくとかしたい。
WebViewとかいうのがあるのは知ってるけどちょっとなぁ…

というときにandroid.text.Htmlというクラスがあるのを知った。

使いたいものがそこにあった。
ていうか<sub>とかも使えるんかい!

TextViewじゃ無理だと思ったからU+2080~U+2089だけグリフ持ってる専用のフォントを作っちゃったよ!
なんという無駄な作業…主にライセンス調べる時間…
まあ、おかげで色々勉強になったからいいや。

とりあえず今後の装飾はandroid.text.Htmlでやろうと思う。