はてなダイアリーだと、TeX記法で数学記号を表します。例えば、テンソル積の記号だと [tex:\otimes] と書きます。TeX記法はサーバー側で処理されて次のような画像に置換されます。（最近だと、MathJaxを使ったクライアント側レンダリングが多いですね。）
<img src="http://d.hatena.ne.jp/cgi-bin/mimetex.cgi?\otimes" class="tex" alt="￥otimes">
画像は文字ではないのでレイアウトがうまくいかないことがあります。例えば、VV はテンソル積の意味で二乗だから、Vの右肩に
2を乗せたいとします。やってみます。
- V
2
レンダリング環境にもよると思いますが、テンソル積記号が大きすぎる気がします。テンソル積記号は文字としても存在しています。U+2297 'CIRCLED TIMES' です。HTMLの文字実体参照記法で ⊗ と書きます。文字のテンソル積記号を使うと：
- V⊗2
小さくなりました、小さすぎるかな？ 通常の演算子として使うと明らかに小さすぎ…
- V⊗V
それと、記号じゃなくて英字なんですが、小文字エル、これが困るんです。普通のグリフだと1（イチ）やI（アイ）と間違いやすい。Unicodeレパートリを探したら、U+2113 'SCRIPT SMALL L' てのがありました。
- ℓ
このエルなら間違いにくいでしょう。k, ℓ, m, n … ウーン、バンランス悪いな。
それとまた全然話が別ですが、ソフトウェアが認識するマークアップをエスケープしたいけど、その手段がないときがあります。僕は、DoxygenのMarkdown記法（コードブロック）内でDoxygenコマンドをエスケープする方法がないので困ったことがあります。そんなときは、次の不可視文字が役に立ちます。
- U+200B 'ZERO WIDTH SPACE'
- U+200C 'ZERO WIDTH NON-JOINER'
文字コードレベル（バイナリイメージ）では文字なのでマークアップを壊すことができます。しかし、不可視なので表示は壊しません。任意のUnicode文字を生で入れられるエディタで入力します。
あんまり褒められた方法じゃない（弊害もある）ので推奨しませんが、どうにもならないときの最後の手段にはなります。
以下に、ひょっとして使えるかも知れない数学記号のUnicode文字をリストしておきます。フォントやレイアウトエンジンによりけりですが、僕の環境では記号文字のサイズやデザインがいまいち。タブ区切りのデータは、http://d.hatena.ne.jp/m-hiyama-memo/20170713/1499933314 にあります。
[追記]文字の名前は、Unicodeスタンダードが定めている名前と違うものがあります。例えば、黒板文字のアルファベットは、'DOUBLE-STRUCK CAPITAL ホゲ'がUnicodeにおける名前です。[/追記]
集合論
| 文字 | 名前 | HTML 16進 |
|---|---|---|
| ∅ | EMPTY SET | ∅ |
| ∖ | SET MINUS | ∖ |
| ∋ | CONTAINS AS MEMBER | ∋ |
| ℵ | ALEF INFINITY SYMBOL | ℵ |
論理（モデル論を含む）
| 文字 | 名前 | HTML 16進 |
|---|---|---|
| ¬ | NOT SYMBOL | ¬ |
| ⊦ | ASSERTION | ⊦ |
| ⊧ | MODELS | ⊧ |
| ⊨ | TRUE | ⊨ |
| ⊬ | DOES NOT PROVE | ⊬ |
| ⊭ | NOT TRUE | ⊭ |
特別な集合・構造
| 文字 | 名前 | HTML 16進 |
|---|---|---|
| ℕ | NATURAL NUMBERS | ℕ |
| ℤ | INTEGERS | ℤ |
| ℚ | RATIONAL NUMBERS | ℚ |
| ℝ | REAL NUMBERS | ℝ |
| ℂ | COMPLEX NUMBERS | ℂ |
演算子記号
| 文字 | 名前 | HTML 16進 |
|---|---|---|
| ∘ | RING OPERATOR | ∘ |
| ⊕ | CIRCLED PLUS | ⊕ |
| ⊖ | CIRCLED MINUS | ⊖ |
| ⊗ | CIRCLED TIMES | ⊗ |
| ⊘ | CIRCLED DIVISION SLASH | ⊘ |
| ⊙ | CIRCLED DOT OPERATOR | ⊙ |
| ⊚ | CIRCLED RING OPERATOR | ⊚ |
| ⊛ | CIRCLED ASTERISK OPERATOR | ⊛ |
| ⊓ | SQUARE CAP | ⊓ |
| ⊔ | SQUARE CUP | ⊔ |
| ∔ | DOT PLUS | ∔ |
| ∸ | DOT MINUS | ∸ |
| ⊍ | MULTISET MULTIPLICATION | ⊍ |
| ⊎ | MULTISET UNION | ⊎ |
| ⋉ | LEFT NORMAL FACTOR SEMIDIRECT PRODUCT | ⋉ |
| ⋊ | RIGHT NORMAL FACTOR SEMIDIRECT PRODUCT | ⋊ |
| ⋔ | PITCHFORK | ⋔ |
関係記号
| 文字 | 名前 | HTML 16進 |
|---|---|---|
| ⊏ | SQUARE IMAGE OF | ⊏ |
| ⊐ | SQUARE ORIGINAL OF | ⊐ |
| ⊑ | SQUARE IMAGE OF OR EQUAL TO | ⊑ |
| ⊒ | SQUARE ORIGINAL OF OR EQUAL TO | ⊒ |
| ≺ | PRECEDES | ≺ |
| ≻ | SUCCEEDS | ≻ |
| ≼ | PRECEDES OR EQUAL TO | ≼ |
| ≽ | SUCCEEDS OR EQUAL TO | ≽ |
| ≜ | DELTA EQUAL TO | ≜ |
| ≔ | COLON EQUALS | ≔ |
| ≍ | EQUIVALENT TO | ≍ |
| ≃ | ASYMPTOTICALLY EQUAL TO | ≃ |
| ≐ | APPROACHES THE LIMIT | ≐ |
| ≅ | APPROXIMATELY EQUAL | ≅ |
