None of those are superscripted at all, except for the doubled daggers, and few people will recognize any of them as signifying footnotes. You're not wrong that

None of those are superscripted at all, except for the doubled daggers, and few people will recognize any of them as signifying footnotes. You're not wrong that they're what typesetters would use, but for a post on HN, I'd personally just use ^^^^ instead of ¶. I'm really sad Unicode chose not to allow superscript ZWJ. ^ one ^^ two ^^^ three ^^^^ four