で、結局「#」は右上に字上げするのが正式な書き方なのかどうか

答え: 違います。文字の大きさは「C」といっしょです。

たぶん音楽記号的な発想からきたとのだと思いますが、これは元々はC++のジョークみたいな
発想で「さらに1つ追加」という考えから++++が変形してできました。