MathJax, KaTeX 総覧

本稿は MathJax, KaTeX における数式および数式中のテキストの表現能力を確かめることを目的とし、何か完成を目的としたものではない。

また、拙作「TeX コマンド・チートシート」にて紙幅の関係で記せなかった注意事項を漏れなく書き留めておく目的もあり、それは達成されている。もっとも、より進んだ挑戦的な使い方に踏み込んだ文書が「Pages などにおける TeX コマンドのコツ」にてメモとして記してあるが、一部は現状あまり実用的ではないので注意すること。

[2021/11/30] 先ほど MathJax の拡張 mathtools, textmacros を有効にしておく決断に至った。

[2021/12/17] 先ほど KaTeX の拡張 mhchem を常に導入しておく決断に至った。

CMS(Content Management System) 併用時の注意事項

一つめ、CMS では $E = mc^2$ や $$e^{i\theta} = \cos\theta + i\sin\theta$$ のような「$」「$$」ドル記号を数式の開始・終了位置に使うのは、意図しない事態を招きかねないので避けるべきであるし、一端の LaTeX 使いもこのような数式範囲を検索しにくい記号は避けているはずである。よって、これらを設定にて無効化し、かつ、有効化しないようにすべきである。MathJax, MathJax v2, KaTeX では「$$」が既定で有効なようである。

KaTeX と CMS 併用時の注意事項

二つめ、CMS では記事の投稿者がブラウザのコンソールに慣れているとは限らない。よって、数式に誤りがあったり、意図せず数式として識別されてしまったときに、エラーをコンソールではなくウインドウに表されていなければならない。KaTeX では既定値ではそうはならないので、throwOnError オプションを false に指定しておくことは必須となるだろう。

三つめ、CMS には WordPress のように、記事を編集した後に自動的に br タグや p タグを挿入するものも存在する。数式を LaTeX のノリで HTML に記述する場合、CMS そのものはそういった事態を想定していないので問題が生じやすい。以下の例を用いて試験環境の整備と解説を行う。

この数式を含む段落は以下のように記述されている。

<p>すべての素数から１減じた値の総積は、\(p\) をすべての素数として以下のように表される。</p>
\[<br/>
\prod_p(p - 1) = 0<br>
\]
<p>この
\(<br>
\prod_p(p - 1)<br/>
\)
はリーマン球面 \(\RiemannSphere\) 上の解析接続と<a href="https://en.wikipedia.org/wiki/Riemann_zeta_function"
>リーマンゼータ関数</a> \(\zeta(s)\) の特殊値 <br/>\[\zeta(1) = \infty\] から得られる。</p>

見ての通り、数式のつもりの文字列の中に意図せず HTML のタグが混入してしまっている、という状況をここで用意している。

TeX と HTML の書式を混ぜたときの規則などは未定義であるし、そのようなものは物事を複雑にするだけである。よって、MathJax では HTML タグは無視して処理を行うようである（すべてのタグが無視されるわけではないようだ）。

しかし、KaTeX ではまったく異なる結果となり、結論を言えば数式が無視される。

詳しくカラクリを述べれば、HTML タグの DOM ツリーによって数式開始と数式終了の記号が別々のノードに分断され、KaTeX には数式を意図した文字列として認識されなくなるのである。

よって、以上のような、書き手には数式を意図した文字列は、なんら KaTeX のエラーも生じず、無視されるのである。

対処方法

CMS に意図しない br や p タグを挿入しないように修正を施すのも一考だが、そもそも MathJax では数式内の HTML タグは無視するので、KaTeX でも同様な仕様にしてしまってもよいだろう。以下のような KaTeX の renderMathInElement のラッパー関数を用意して、それを代わりに呼び出せばよい。

function preprocessMathInElementForCMS(e)
{
  /*
    Note that "[\s\S]" is used instead of "." because 's' flag of the
    regular expression is not supported by SeaMonkey.
  */
  const ra = [
    [ /<(br|\/?p)\b[^>]*?>/img, '' ],
    [ /[“”]/g, '"' ],
  ];
  e.innerHTML = e.innerHTML.replace(/\\\([\s\S]*?\\\)|\\\[[\s\S]*?\\\]/img, m=>{
    ra.forEach(a=>{
      m = m.replace(a[0], a[1]);
    });
    return m;
  });
}
function renderMathInElementForCMS(e, options)
{ // requires processMathInElementForCMS.js
  preprocessMathInElementForCMS(e);
  renderMathInElement(e, { ...options, throwOnError: false, });
}

MathJax でもこのような方策が必要となる場面があるようである。

[2021/12/21 追記] ダブルククオートを開きと閉じダブルクオートに変換するようなこともするので、数式内ではそれを元に戻すようなことも追加した。本来なら CMS でそういったことを抑止する仕組みを導入すべきであろう。

ギリシャ小文字 delta の確認

Unicode: 𝛅𝐓 𝛿𝑇 𝜹𝑻 𝝳𝗧 𝞭𝙏 ẟ𝖳 (𝛅𝐓 𝛿𝑇 𝜹𝑻 𝝳𝗧 𝞭𝙏 ẟ𝖳)

MathJax or KaTeX: \(\displaystyle\mathit{\delta T}\ \mathrm{\delta T}\ \mathbf{\delta T}\ \mathsf{\delta T}\ \mathtt{\delta T}\ \mathcal{\delta T}\ \mathfrak{\delta T}\ \mathbb{\delta T}\)
\(\mathit{\delta T}\ \mathrm{\delta T}\ \mathbf{\delta T}\ \mathsf{\delta T}\ \mathtt{\delta T}\ \mathcal{\delta T}\ \mathfrak{\delta T}\ \mathbb{\delta T}\)

ちなみに、KaTeX ではサロゲートペアの Unicode 直接入力には問題があり、\char コマンドで回避することもできない。

\boldsymbol の確認

KaTeX の \bm コマンドは \boldsymbol であるようで、さらに MathJax では \bm コマンドは未サポートを謳っているので、\boldsymbol のみを考慮することにする。以下に適当な例をあげておくので太字になるグリフの例として参考にされたい。

ASCII

\( { ! " \# \$ \% \& ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \\ ] \_ ` a b c d e f g h i j k l m n o p q r s t u v w x y z \{ | \} } \)

ASCII と \boldsymbol

\( \boldsymbol{ ! " \# \$ \% \& ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \\ ] \_ ` a b c d e f g h i j k l m n o p q r s t u v w x y z \{ | \} } \)

コマンド

\( { \dots \cdots \ddots \vdots \| \hbar \hslash \nabla \partial \infty \emptyset \varnothing \top \bot \diagdown \diagup \imath \jmath \Re \Im \wp \Finv \Game \aleph \beth \gimel \daleth \rightangle \angle \measuredangle \sphericalangle \leftarrow \rightarrow \leftrightarrow \downarrow \uparrow \updownarrow \Gamma \Delta \Theta \Lambda \Xi \Pi \Sigma \Upsilon \Phi \Psi \Omega \alpha \beta \gamma \delta \epsilon \varepsilon \zeta \eta \theta \vartheta \iota \kappa \varkappa \lambda \mu \nu \xi \pi \varpi \rho \varrho \sigma \varsigma \tau \upsilon \phi \varphi \chi \psi \omega \digamma \mho \eth \ell \S \P \maltese \And \yen \checkmark \Box \qed } \)

コマンドと \boldsymbol

\( \boldsymbol{ \dots \cdots \ddots \vdots \| \hbar \hslash \nabla \partial \infty \emptyset \varnothing \top \bot \diagdown \diagup \imath \jmath \Re \Im \wp \Finv \Game \aleph \beth \gimel \daleth \rightangle \angle \measuredangle \sphericalangle \leftarrow \rightarrow \leftrightarrow \downarrow \uparrow \updownarrow \Gamma \Delta \Theta \Lambda \Xi \Pi \Sigma \Upsilon \Phi \Psi \Omega \alpha \beta \gamma \delta \epsilon \varepsilon \zeta \eta \theta \vartheta \iota \kappa \varkappa \lambda \mu \nu \xi \pi \varpi \rho \varrho \sigma \varsigma \tau \upsilon \phi \varphi \chi \psi \omega \digamma \mho \eth \ell \S \P \maltese \And \yen \checkmark \Box \qed } \)

Unicode

\( { … ⋯ ⋱ ⋮ ∥ ħ ħ ∇ ∂ ∞ ∅ Ø ⊤ ⊥ ⟍ ⟋ ı 𝚥 R I ℘ Ⅎ ⅁ א ב ג ד ∟ ∠ ∡ ∢ ← → ↔ ↓ ↑ ↕ Γ Δ Θ Λ Ξ Π Σ Υ Φ Ψ Ω α β γ δ ε ε ζ η θ θ ι κ κ λ μ ν ξ π π ρ ρ σ ς τ υ φ φ χ ψ ω ϝ ℧ ð l § ¶ ✠ / ¥ ✓ □ ∎ } \)

Unicode と \boldsymbol

\( \boldsymbol{ … ⋯ ⋱ ⋮ ∥ ħ ħ ∇ ∂ ∞ ∅ Ø ⊤ ⊥ ⟍ ⟋ ı 𝚥 R I ℘ Ⅎ ⅁ א ב ג ד ∟ ∠ ∡ ∢ ← → ↔ ↓ ↑ ↕ Γ Δ Θ Λ Ξ Π Σ Υ Φ Ψ Ω α β γ δ ε ε ζ η θ θ ι κ κ λ μ ν ξ π π ρ ρ σ ς τ υ φ φ χ ψ ω ϝ ℧ ð l § ¶ ✠ / ¥ ✓ □ ∎ } \)

TeX の \text 書体

実のところ \textsl, \textsc, \textmd (MathJax) は未サポートなのだが以下の定義で（欠点はあるものの）使えるようになる。但し、ブラウザと閲覧環境の依存性が高い。

% for MathJax
\newcommand{\textsc}{\style{ font-variant-caps: small-caps; }{\text{#1}}}
\newcommand{\textsl}{\style{ font-style: italic; }{\text{#1}}}
\newcommand{\textup}{\style{ font-style: normal; }{\text{#1}}}
\newcommand{\textmd}{\style{ font-weight: normal; }{\text{#1}}}
% for KaTeX
\newcommand{\textsc}{\htmlStyle{ font-variant-caps: small-caps; }{\text{#1}}}
\newcommand{\textsl}{\htmlStyle{ font-style: oblique; }{\text{#1}}}
\newcommand{\textup}{\htmlStyle{ font-style: normal; }{\text{#1}}}
\newcommand{\textmd}{\htmlStyle{ font-weight: normal; }{\text{#1}}}

それ以外は MathJax, KaTeX ともに問題はない。

長さの単位の確認

MathJax と KaTeX の長さの単位は既定の設定ではまったく異なる。また、サポートされている単位も KaTeX の方が多い。ここでの例は KaTeX を標準として作成したので MathJax との違いがわかるだろう。

以下では、\(\text{–}\rule{1em}{1em}\text{—}\) \text{–}\rule{1em}{1em}\text{—} のように縦横の長さの単位指定による矩形フィルを EN ダーシと EM ダーシで挟んだ様子を、各長さ単位にて 10pt フォントサイズのもと一覧にしている。

関数定義のコツ

TeX で単に \mathrm{atan} とする (\(a\mathrm{atan}x\)) と左右にアキがないので、\operatorname{atan} とするとよい。 \[ a\operatorname{atan}x \] しかし、名前に空白があるとき \mathrm{local min} とする (\(a\mathrm{local min}x\)) と空白が削られてしまうので、\operatorname{local\ min} とするとよい。 \[ a\operatorname{local\ min}x \] しかし、加えて太字にもしたいとなるとこれらは（例は示さないが）両立しないので、自前でアキを実現 \,\mathbf{local\ min}\, しなくてはならない。 \[ a\,\mathbf{local\ min}\,x \] よりエレガントには \mathop{\mathbf{local\ min}} とすると用途が明確で好ましい。 \[ a\mathop{\mathbf{local\ min}}x \]

数式クラスの実際

• \(\displaystyle{x\mathopen{\#}_i^jy}\) … \mathopen
• \(\displaystyle{x\mathclose{\#}_i^jy}\) … \mathclose
• \(\displaystyle{x\mathord{\#}_i^jy}\) … \mathord
• \(\displaystyle{x\mathpunct{\#}_i^jy}\) … \mathpunct
• \(\displaystyle{x\mathinner{\#}_i^jy}\) … \mathinner
• \(\displaystyle{x\mathop{\#}_i^jy}\) … \mathop
• \(\displaystyle{x\mathbin{\#}_i^jy}\) … \mathbin
• \(\displaystyle{x\mathrel{\#}_i^jy}\) … \mathrel

MathJax の数式クラスは、アキの効果は含まないようである。KaTeX と Pages 他などは \mathpunct からアキが広くなっていく。KaTeX では \mathop の積み重ねが未サポートなので注意。

演算子名の実際

\newcommand{\operatornamewithlimits}[1]{\operatorname{#1}\limits}	% for MathJax

• \(\displaystyle{x\operatorname{\#}_i^jy}\) … \operatorname
• \(\displaystyle{x\operatorname{\#}\limits_i^jy}\) … \operatorname\limits
• \(\displaystyle{x\operatorname{\#}\nolimits_i^jy}\) … \operatorname\nolimits
• \(\displaystyle{x\operatornamewithlimits{\#}_i^jy}\) … \operatornamewithlimits
• \(\displaystyle{x\operatornamewithlimits{\#}\limits_i^jy}\) … \operatornamewithlimits\limits
• \(\displaystyle{x\operatornamewithlimits{\#}\nolimits_i^jy}\) … \operatornamewithlimits\nolimits
• \(\displaystyle{x\mathop{\operatorname{\#}}_i^jy}\) … \mathop{\operatorname}
• \(\displaystyle{x\mathop{\operatorname{\#}}\limits_i^jy}\) … \mathop{\operatorname}\limits
• \(\displaystyle{x\mathop{\operatorname{\#}}\nolimits_i^jy}\) … \mathop{\operatorname}\nolimits
• \(\displaystyle{x\mathop{\operatornamewithlimits{\#}}_i^jy}\) … \mathop{\operatornamewithlimits}
• \(\displaystyle{x\mathop{\operatornamewithlimits{\#}}\limits_i^jy}\) … \mathop{\operatornamewithlimits}\limits
• \(\displaystyle{x\mathop{\operatornamewithlimits{\#}}\nolimits_i^jy}\) … \mathop{\operatornamewithlimits}\nolimits

一方で、MathJax では \operatornamewithlimits が未サポートであるので、上記のように \operatornamewithlimits を定義しておけば MathJax と KaTeX の両立した記述は可能である。

\mathinner の使用例）

\Bbb{C}\setminus \Bbb{A}=\left\{a\in\Bbb{C}\bigmid 0\ne \forall p(x)\in\Bbb{Q}[x],\ p(a)\ne 0\right\} \[ \newcommand{\bigmid}{\mathinner{\big|}} \newcommand{\Bigmid}{\mathinner{\Big|}} \newcommand{\bigggmid}{\mathinner{\bigg|}} \newcommand{\Bigggmid}{\mathinner{\Bigg|}} \Bbb{C}\setminus \Bbb{A}=\left\{a\in\Bbb{C}\bigmid 0\ne \forall p(x)\in\Bbb{Q}[x],\ p(a)\ne 0\right\} \] ここで \(\Bbb{A}\) は代数的数の集合、\(\Bbb{Q}\) は有理数係数多項式の集合。さておき、ここで使用している以下の定義が便利かと思われる。

\newcommand{\bigmid}{\mathinner{\big|}}
\newcommand{\Bigmid}{\mathinner{\Big|}}
\newcommand{\bigggmid}{\mathinner{\bigg|}}
\newcommand{\Bigggmid}{\mathinner{\Bigg|}}

もっとも、\left, \middle, \right コマンドの \middle が使えれば大きさ指定は以下のように不要である。

Pages 他では \middle は未サポートである。

KaTeX には定義されているが MathJax, Pages 他にない便利なコマンド

本稿では現状、以下の例に限定しておくが、便利なコマンドが MathJax, Pages 他にはない傾向にある。よって、以下のように定義してしまおう。

%\newcommand{\stackrel}[2]{\mathrel{\overset{#1}{#2}}}	% only for Pages
\newcommand{\coloneq}{\mathrel{:-}}
\newcommand{\Coloneq}{\mathrel{::-}}
\newcommand{\coloneqq}{\mathrel{:=}}
\newcommand{\Coloneqq}{\mathrel{::=}}
\newcommand{\colonsim}{\mathrel{:\sim}}
\newcommand{\Colonsim}{\mathrel{::\sim}}
\newcommand{\colonapprox}{\mathrel{:\approx}}
\newcommand{\Colonapprox}{\mathrel{::\approx}}
\newcommand{\eqcolon}{\mathrel{-:}}
\newcommand{\Eqcolon}{\mathrel{-::}}
\newcommand{\eqqcolon}{\mathrel{=:}}
\newcommand{\Eqqcolon}{\mathrel{=::}}
\newcommand{\simcolon}{\mathrel{\sim:}}
\newcommand{\Simcolon}{\mathrel{\sim::}}
\newcommand{\approxcolon}{\mathrel{\approx:}}
\newcommand{\Approxcolon}{\mathrel{\approx::}}

実はこの中の
「≔」colon equals 「\(\coloneqq\)」 \coloneqq,
「≝」equal to by definition 「\(\eqdef\)」 \eqdef,
「≞」measured by 「\(\measeq\)」 \measeq,
「⩴」double colon equal 「\(\Coloneqq\)」 \Coloneqq,
「∹」excess 「\(\eqcolon\)」 \eqcolon,
「≕」equals colon 「\(\eqqcolon\)」 \eqqcolon,
「≟」questioned equal to 「\(\questeq\)」 \questeq,
などは Unicode として定義されているのだが、どのフォントのデザインもあまり美しくないのである。ゆえに需要はあるのだろう。

\stackrel は流石に MathJax, KaTeX では定義されているのでコメントアウトしてある。Pages ではそれを使えばよいだろう。

[2021/11/30] これらの一部は mathtools パッケージ由来らしく、MathJax でも使用可能。

確認しておきたい数式コマンド

\substack の使用例）

トーシェント関数 \varphi(n)=\sum_{\substack{1\le m\le n\\(m,n)=1}}1 \[ \varphi(n)=\sum_{\substack{1\le m\le n\\(m,n)=1}}1 \]

\newcommand の \text 内での使用例）

MathJax, KaTeX ではフォントに対する配慮は必要だが Unicode が使えるので、以下のようなことも可能である。

\newcommand{\mathvisiblespace}{\mathord{␣}}
\newcommand{\textvisiblespace}{␣}

MathJax では \text 内では \textvisiblespace のようなコマンド一般は展開されないので注意、むしろそのまま書けばよい。[2021/11/30] textmacros で有効になるので、極めて便利なので強くお勧めする。

\overbrace, \underbrace の使用例）

Pages 他では縦方向にアキ過ぎの \underbrace について。

KaTeX では \overbrace では添字が誤る、\underbrace では上付きが印字されないので注意。もし \overbrace には下付き, \underbrace には上付きを添えたければ以下のようにした方が無難である。

\hbox, \text の使用例）

Pages 他では挙動が同じ \hbox, \text について。

MathJax において \text 内は \displaystyle が既定のようだ。

\text 内でのアクセントの使用例）

Pages 他ではそもそも未対応のアクセントについて。

\text 内のアクセントは MathJax ではこれは未サポートである。一方で KaTeX では数式内でも有効となっている。

\small, \large その他の使用例）

Pages 他では未対応のフォントサイズ指定について。

• tiny, 5pt
  \({\tiny xy\times XY}\)
• Tiny, 6pt
  \({\Tiny xy\times XY}\)
• scriptsize, 7pt
  \({\scriptsize xy\times XY}\)
• footnotesize, 8pt
  \({\footnotesize xy\times XY}\)
• small, 9pt
  \({\small xy\times XY}\)
• normalsize, 10pt
  \({\normalsize xy\times XY}\)
• large, 12pt
  \({\large xy\times XY}\)
• Large, 14.4pt
  \({\Large xy\times XY}\)
• LARGE, 17.28pt
  \({\LARGE xy\times XY}\)
• huge, 20.74pt
  \({\huge xy\times XY}\)
• Huge, 24.88pt
  \({\Huge xy\times XY}\)

MathJax では \footnotesize が効かず、KaTeX では \Tiny が効かないが、実は \sixptsize として定義されている。

\color, \colorbox の使用例）

{\color{Black}Black} 及び \colorbox{Black}{{\color{White}Black}} について。

\color, \colorbox については MathJax は LaTeX の色名が揃っている。

KaTeX では MathJax ともに以下の W3C カラーならば揃って定義されている。

但し、MathJax は白抜きは実現できないようなので注意。

ドット関係

いくつかは重複名となりえる未定義なので、別名で定義すればすむ。p という接尾辞は「積 (product)」 という意味のようで、演算子として調整されている。

合字ではないドット

合字によるドット

\dddot, \ddddot は MathJax のみサポートで代替方法が不明につき保留。KaTeX の \newcommand によるマクロ定義では Unicode 文字列の処理の問題で実現はできないのだが、Javascript による設定で以下と同趣旨のマクロを定義すれば実現は可能である。但し、Unicode の合字の仕組みに依存するため、その品質はあまり期待できないかもしれない（末尾の一文字にしか合字されない等）。

%\newcommand{\dot}[1]{#1̇}	% already defined
%\newcommand{\ddot}[1]{#1̈}	% already defined
\newcommand{\dddot}[1]{#1⃛}
\newcommand{\ddddot}[1]{#1⃜}

ちなみに、KaTeX であれば以下のような書き方もでき、意味は同じである。

%\newcommand{\dot}[1]{#1\char"0308}	% already defined
%\newcommand{\ddot}[1]{#1\char"0309}	% already defined
\newcommand{\dddot}[1]{#1\char"20DB}
\newcommand{\ddddot}[1]{#1\char"20DC}

しかし、KaTeX では後述するように、執筆時点では Unicode 文字列サロゲートペア処理が不十分である。

剰余関係

以下はいずれも定義されているようだ。

\stackrel の動作確認

Pages 他では \stackrel が未サポートなので以下を再度提案しておく。

\newcommand{\stackrel}[2]{\mathrel{\overset{#1}{#2}}}
x\stackrel{!}{=}y

定義済み関数と関数定義

よく使われる関数は TeX と同様に定義済みである。稀に略語が慣習と異なるので以下のように定義してもよいだろう。

\newcommand{\cosec}{\operatorname{cosec}}	% original here
\newcommand{\cotan}{\operatorname{cotan}}	% original here
\newcommand{\vers}{\operatorname{vers}}		% original here
\newcommand{\versin}{\operatorname{versin}}	% original here
\newcommand{\covers}{\operatorname{covers}}	% original here
\newcommand{\coversin}{\operatorname{coversin}}	% original here
\newcommand{\sech}{\operatorname{sech}}		% original here
\newcommand{\csch}{\operatorname{csch}}		% original here
\newcommand{\cosech}{\operatorname{cosech}}	% original here
\newcommand{\sgn}{\operatorname{sgn}}		% original here
\newcommand{\rad}{\operatorname{rad}}		% original here
\newcommand{\argmax}{\mathop{\mathrm{arg\ max}}}
\newcommand{\argmin}{\mathop{\mathrm{arg\ min}}}

数式モードとテキストモード

数式モードでは、 \( \# \$ \% \& \{\} \_ \tilde{} \backslash \) は、バックスラッシュでエスケープするか、 \tilde{}, \backslash というコマンドが必要である。

テキストモードでは、 \( \text{ \# \$ \% \& \{\} \_ }\) \(\text{ \textasciitilde \textbackslash \textasciicircum } \) は、同様にバックスラッシュでエスケープするか、 \textasciitilde, \textbackslash, \textasciicircum というコマンドが必要である。

しかし、MathJax ではテキストモードでのコマンドは効かずにやはり不便である。[2021/11/30] textmacros パッケージで便利になる。

文字修飾

MathJax, KaTeX ともに問題はない。但し、KaTeX での \overbrace, \underbrace の上付き、下付きには前述のように十分に注意すること。

字体

MathJax, KaTeX ともに問題はない。

括弧

MathJax, KaTeX ともに問題はない。

括弧付き数式

数式の典型例

上付き・下付き・積み重ね

連分数の例

e = 2 + \cfrac{2}{2 + \cfrac{3}{3 + \cfrac{4}{4 + \cfrac{5}{5 + \cfrac{6}{6 + \cfrac{7}{7 + \cfrac{8}{8 + \cfrac{9}{9 + \cfrac{10}{10 + \ddots}}}}}}}}} \[ e = 2 + \cfrac{2}{2 + \cfrac{3}{3 + \cfrac{4}{4 + \cfrac{5}{5 + \cfrac{6}{6 + \cfrac{7}{7 + \cfrac{8}{8 + \cfrac{9}{9 + \cfrac{10}{10 + \ddots}}}}}}}}} \] これを \cfrac ではなく \dfrac にしてしまうと以下のようになる。 \[ e = 2 + \dfrac{2}{2 + \dfrac{3}{3 + \dfrac{4}{4 + \dfrac{5}{5 + \dfrac{6}{6 + \dfrac{7}{7 + \dfrac{8}{8 + \dfrac{9}{9 + \dfrac{10}{10 + \ddots}}}}}}}}} \] MathJax の方が意図した上下ツメになっているようである。

紙幅の関係で以下のように表すこともある。

\oiint, \oiiint は MathJax は未サポート。\iiiint は KaTeX で未サポート。また、\Bbbsum 以降のすべては Unicode に存在するので本稿で独自に定義したもので、いずれにしても通常は未対応。

表示形式

MathJax, KaTeX ともに問題はない。

演算子

その他の定義済み演算子

以下の演算子も定義されている。

これら Unicode を添えて一部印字してみるが、
「\(\backepsilon\)」\backepsilon 「∍」small contains as member
「\(\because\)」\because 「∵」because
「\(\between\)」\between 「≬」between
「\(\bowtie, \Join\)」\bowtie, \Join 「⋈」 bowtie
「\(\Bumpeq\)」\Bumpeq 「≎」geometrically equivalent to
「\(\bumpeq\)」\bumpeq 「≏」difference between
「\(\doteqdot\)」\doteqdot 「≑」geometrically equal to
「\(\fallingdotseq\)」\fallingdotseq 「≒」approximately equal to or the image of
「\(\models\)」\models 「⊨」true
「\(\risingdotseq\)」\risingdotseq 「≓」image of or approximately equal to
「\(\shortmid\)」\shortmid 「∣」divides
「\(\smallfrown\)」\smallfrown 「⌢」frown
「\(\smallsmile\)」\smallsmile 「⌣」smile
「\(\therefore\)」\therefore 「∴」therefore
は Unicde での意味づけと TeX のコマンド名から推測される意味と、一致しているものと一致していないものがある。グリフの形状を表した説明やコマンド名なら形で判断できるが、何らかの意味づけがなされているとなると TeX と Unicode での用法が異なるものがあると混乱の元であろうが、概ね一致していると思われる。一つだけ、\backepsilon のみコマンド名にグリフのデザインが引っ張られてしまった例かもしれない。

否定演算子

詳しくは後述するが、まずは既定の否定演算子を列挙しておく。

\notni が MathJax ではサポートされない。しかし、演算子への否定は \not と合字されるので、以下のようにすればよい。

\newcommand{\notni}{\not\ni}

しかし、上記のように \not= が MathJax では \ne にならないので注意を要する。

記号と文字

MathJax, KaTeX のために以下を定義している。

\renewcommand{\P}{\mathord{¶}}		% MathJax
\newcommand{\qed}{\rule{1ex}{1.5ex}}
\newcommand{\rightangle}{\mathbin{∟}}

MathJax では \P が未サポート、これは頂けない。他にも多くの演算子が TeX パッケージ等で定義されているので、Symbols defined by unicode-math が参考になるだろう。

\hbar \(\hbar\) ついては \hslash \(\hslash\) が MathJax, KaTeX ともに定義されているが Pages 他にはない。Unicode としては ℎ U+210E がプランク定数であり、ℏ U+210F は換算プランク定数（ディラック定数）である。

字送り

MathJax では \medspace, \thickspace は未サポート。Pages では負の字送りが実現できていないようなので、不用意な使用は現時点では控えた方がいいだろう。

定義済み関数

ここでは以下を追加で定義している。

\newcommand{\cosec}{\operatorname{cosec}}	% original here
\newcommand{\cotan}{\operatorname{cotan}}	% original here
\newcommand{\vers}{\operatorname{vers}}		% original here
\newcommand{\versin}{\operatorname{versin}}	% original here
\newcommand{\covers}{\operatorname{covers}}	% original here
\newcommand{\coversin}{\operatorname{coversin}}	% original here
\newcommand{\sech}{\operatorname{sech}}		% original here
\newcommand{\csch}{\operatorname{csch}}		% original here
\newcommand{\cosech}{\operatorname{cosech}}	% original here
\newcommand{\sgn}{\operatorname{sgn}}		% original here
\newcommand{\rad}{\operatorname{rad}}		% original here

行列・複数行の数式・場合分け

以下は Pages 他で未サポート。

MathJax, KaTeX ともに基本的には問題ないが、KaTeX 独自のものなのか、{matrix*} と {rcases} は MathJax で未対応 だったが mathtools パッケージの導入で対応できた。必要なら以下の定義で事足りる。

\newenvironment{rcases}{\left.\begin{array}{ll}}{\end{array}\right\}}

マクロ定義

ここでは以下をマクロ定義している。\bra, \ket は定義済みなのでコメントアウトされている (MathJax v2 では定義)。

\newcommand{\heiko}{\mathbin{∥}}
\newcommand{\nheiko}{\mathbin{∦}}
%\newcommand{\bra}[1]{\langle #1\rvert}
%\newcommand{\ket}[1]{\lvert #1\rangle}

平行 \vec{A}\heiko\vec{B}\quad\vec{A}\nheiko\vec{B}

Schrödinger 方程式 i\hbar\frac{\mathrm d}{\mathrm dt}\ket{\psi(t)}=\hat{H}\ket{\psi(t)}

MathJax, KaTeX ともに問題ないのだが、ここで意図しているのは「平行」の記号を「日本式の斜め」にすることである。そのような対処には以下の方法がある。但し、KaTeX では trust オプションを true にする必要はある。

% for MathJax
\newcommand{\heiko}{\mathbin{\style{font-family: 'Noto Serif CJK JP', 'Yu Mincho', 'YuMincho', 'Hiragino Mincho ProN';}{\text{∥}}}}
\newcommand{\nheiko}{\mathbin{\style{font-family: 'Noto Serif CJK JP', 'Yu Mincho', 'YuMincho', 'Hiragino Mincho ProN';}{\text{∦}}}}
% for KaTeX
\newcommand{\heiko}{\mathbin{\htmlStyle{font-family: 'Noto Serif CJK JP', 'Yu Mincho', 'YuMincho', 'Hiragino Mincho ProN';}{\text{∥}}}}
\newcommand{\nheiko}{\mathbin{\htmlStyle{font-family: 'Noto Serif CJK JP', 'Yu Mincho', 'YuMincho', 'Hiragino Mincho ProN';}{\text{∦}}}}

左側・右側 ⊗ 上付き・下付き

多段の左側・右側の上付き・下付きの TeX の書き方は、特に左側に関して、悩まれる方はいるのでは無いだろうか。以下に纏めておくのでちょっと混乱したときの助けとしたい。

下付き省略記号の前には \mathstrut コマンドを入れて不自然さを避けているが、MathJax ではそれでよいとして、KaTeX ではそれでも足りない印象ではある。

そして、左側上付き下付きをいちどきに配置するには多少工夫を要する。ここでは拙作 \presupsubscript を使用しているが、本来以下のように左側上付き下付きを右寄せにするための工夫である。

\newcommand{\presupsubscript}[3]{\phantom{{}^{#1}_{#2}}{}^{\mathllap{#1}}_{\mathllap{#2}}#3}

mathtools パッケージには \prescript コマンドがサポートされている。

mathtools パッケージの \prescript について

MathJax での閲覧環境を前提にして、この \prescript の優れたところをみてみよう。

拙作 \presupsubscript だと上付き・下付きをいちどきに配置するときは問題はないが、下付きしかない場合に下付きの \(n\) が基線から下がってしまう欠点がある。流石に私がちょっと思いついただけのマクロは敵わない。しかし、そもそも左側の上付き・下付きをいちどきに配置しようという趣旨なので使い方が間違っているとも言える。同時に、このコマンドには書きやすいとは言い難い左側の上付き・下付きを簡単に書けるという利点がある。よって、以下のマクロを用意した。

\newcommand{\presupscript}[2]{{}^{#1}#2}
\newcommand{\presubscript}[2]{{}_{#1}#2}

こういった用途の発展で tensor パッケージなるものもあるらしい。

右下がり省略記号 \ddots に対する右上がり省略記号 \iddots と \adots については後述している。

Unicode と否定演算子

Unicode, TeX, コマンド名の順で「否定」に関する演算子を列挙する。

表の末尾に集めておいた Unicode「⩽̸⩾̸≦̸≧̸⫅̸⫆̸⪯̸⪰̸」は KaTeX では、そのままでも \text 内でもエラーになってしまう。原因は U+0338 (combining long solidus overlay) にあるようで、\verb 内ならエラーにはならないが合字になっていない上にタイプライタ体になってしまう。MathJax にはそういった問題はないが、そもそもグリフや意味合いが異なっているものもある。つまり、TeX にあって Unicode に無いものを合字で表す際に若干の齟齬が生じている。

以下はすべて Unicode で TeX コマンド名が定義されている否定演算子である。先の例とグリフが同一に見えるもの (\UC*) もあるが、前者は TeX 由来のフォント、後者は Unicode 由来のフォントである。

こちらは合字には無関係なので MathJax はもとより KaTeX でも特に問題はない。

体裁を整えるコマンド

\smash は「スマッシュ (smash)」で引数は表示するものの、引数の幅で高さと深さが零のボックスを配置する。 \mathstrut は高さと深さが「()」と同じボックスを配置する。 \strut は「突っ張り (strut)」で高さが 8.6 pt で深さが 3pt 固定のボックスを配置する。 \smash[t] は深さは残す、\smash[b] は高さは残すボックスを配置する。 KaTeX は \smash[t] は未サポートのようである（\rule[-3pt]{0pt}{3pt} で代用可能）。

これらはベクトルや根号の屋根の高さを揃えるためによく使われる。以下の例が高さを揃えるために小技である。

\mathllap, \mathrlap, \mathclap は「重なり (lap)」で引数は表示するものの、引数の高さと深さで幅が零のボックスを配置する。その際、 \mathllap は右寄せ、 \mathrlap は左寄せ、 \mathclap は中央揃えで表示する。以下に実用例を示す。

MathJax では要 mathtools パッケージ。

\vcenter は引数の縦方向を中央揃えで配置する。

% for MathJax
\newcommand{\mathfbox}[1]{\mathchoice{\fbox{$\displaystyle#1$}}{\fbox{$\textstyle#1$}}{\fbox{$\scriptstyle#1$}}{\fbox{$\scriptscriptstyle#1$}}}
\newcommand{\mathboxed}[1]{\mathchoice{\boxed{\displaystyle#1}}{\boxed{\textstyle#1}}{\boxed{\scriptstyle#1}}{\boxed{\scriptscriptstyle#1}}}
\newcommand{\raisebox}[2]{\raise{#1}{\text{#2}}}
% for KaTeX
\newcommand{\mathmbox}[1]{\mathchoice{\hbox{$\displaystyle#1$}}{\hbox{$\textstyle#1$}}{\hbox{$\scriptstyle#1$}}{\hbox{$\scriptscriptstyle#1$}}}
\newcommand{\raise}[2]{\mathchoice{\raisebox{#1}{$\displaystyle#2$}}{\raisebox{#1}{$\textstyle#2$}}{\raisebox{#1}{$\scriptstyle#2$}}{\raisebox{#1}{$\scriptscriptstyle#2$}}}
\newcommand{\mathfbox}[1]{\mathchoice{\fbox{$\displaystyle#1$}}{\fbox{$\textstyle#1$}}{\fbox{$\scriptstyle#1$}}{\fbox{$\scriptscriptstyle#1$}}}
\newcommand{\mathboxed}[1]{\mathchoice{\boxed{\displaystyle#1}}{\boxed{\textstyle#1}}{\boxed{\scriptstyle#1}}{\boxed{\scriptscriptstyle#1}}}
\newcommand{\lower}[2]{\raise{-#1}{#2}}

伸縮可能な約物

絶対値 \(|x|\) は |x| ではなく \(\lvert x\rvert\) \lvert x\rvert とすべきである。なぜなら \(|\) (| = \vert) は括弧ではない約物だからである。\(||\) (|| = \Vert) も同様である。

面倒なら以下のようにマクロにしておくと、さらに伸縮性も備えて便利である。但し、高さが低くなり過ぎないように \mathstrut を挿入しておくことにした。

\newcommand{\abs}[1]{\left\lvert\mathstrut#1\right\rvert}
\newcommand{\norm}[1]{\left\lVert\mathstrut#1\right\rVert}

このように伸縮性のある（か否かは問わず \left, \right, \middle を前置可能な）開き括弧・閉じ括弧とその他区切りを以下にあげておく。

MathJax, KaTeX 互いに未サポートがあるが、MathJax では \backslash があるのに \mathslash がない。

水平矢印

水平方向に伸縮可能な矢印は以下の通りである。

MathJax と比べて KaTeX が既定で大変充実しているが、MathJax に mathtools パッケージを拡張することでかなり補うことができる。

矢印

以下は TeX コマンド名による矢印である。

フォントの様子

MathJax と KaTeX で装備されているフォントには違いがある。以下に表示しておこう。

MathJax の方が充実していることが、小文字の対応済みの様子でわかる。

演算子

他にも多くの演算子が TeX パッケージ等で定義されているので、Symbols defined by unicode-math が参考になるだろう。いくつか定義しておく。

\newcommand{\curvearrowleftplus}{\mathbin{⤽}}
\newcommand{\doubleplus}{\mathbin{⧺}}
\newcommand{\tripleplus}{\mathbin{⧻}}
\newcommand{\triangleplus}{\mathbin{⨹}}
\newcommand{\subsetplus}{\mathbin{⪿}}
\newcommand{\supsetplus}{\mathbin{⫀}}

\newcommand{\dotminus}{\mathbin{∸}}
\newcommand{\curvearrowrightminus}{\mathbin{⤼}}
\newcommand{\commaminus}{\mathbin{⨩}}
\newcommand{\minusdot}{\mathbin{⨪}}
\newcommand{\minusfdots}{\mathbin{⨫}}
\newcommand{\minusrdots}{\mathbin{⨬}}
\newcommand{\triangleminus}{\mathbin{⨺}}
\newcommand{\uminus}{\mathbin{⩁}}
\newcommand{\simminussim}{\mathbin{⩬}}
\newcommand{\lozengeminus}{\mathbin{⟠}}

\newcommand{\lftimes}{\mathbin{⧔}}
\newcommand{\rftimes}{\mathbin{⧕}}
\newcommand{\btimes}{\mathbin{⨲}}
\newcommand{\shuffle}{\mathbin{⧢}}
\newcommand{\intprod}{\mathbin{⨼}}
\newcommand{\intprodr}{\mathbin{⨽}}
\newcommand{\smashtimes}{\mathbin{⨳}}
\newcommand{\closedvarcupsmashprod}{\mathbin{⩐}}
\newcommand{\dottimes}{\mathbin{⨰}}
\newcommand{\timesbar}{\mathbin{⨱}}
\newcommand{\triangletimes}{\mathbin{⨻}}
\newcommand{\submult}{\mathbin{⫁}}
\newcommand{\supmult}{\mathbin{⫂}}

\newcommand{\obot}{\mathbin{⦺}}
\newcommand{\odotslashdot}{\mathbin{⦼}}
\newcommand{\odiv}{\mathbin{⨸}}

上付き・下付き括弧

MathJax では \*group は未サポート。KaTeX では \*bracket は未サポート。

これらはレイアウトは別として Unicode でコードポイントに割り当てられているので、一応コマンド名を付けておいた。

• U+023B4 ⎴ \(\UCoverbracket\) \UCoverbracket top square bracket
• U+023B5 ⎵ \(\UCunderbracket\) \UCunderbracket bottom square bracket
• U+023DC ⏜ \(\UCoverparen\) \UCoverparen top parenthesis (mathematical use)
• U+023DD ⏝ \(\UCunderparen\) \UCunderparen bottom parenthesis (mathematical use)
• U+023DE ⏞ \(\UCoverbrace\) \UCoverbrace top curly bracket (mathematical use)
• U+023DF ⏟ \(\UCunderbrace\) \UCunderbrace bottom curly bracket (mathematical use)
• U+023E0 ⏠ \(\UCoverrbrbraket\) \UCoverrbrbraket top tortoise shell bracket (mathematical use)
• U+023E1 ⏡ \(\UCunderrbrbraket\) \UCunderrbrbraket bottom tortoise shell bracket (mathematical use)

合字

これは理屈の上では、Unicode の合字を使えば TeX のコマンドとして実現可能であるが、合字の結果をみると、KaTeX ではなぜか所々成功しない。これは現時点で謎である。KaTeX サポートの \char コマンドで回避できることが判り、サロゲートペア以外の Unicode 問題は解決したと思われる。品質はどうあれとにかく、以下の合字のコマンド名をすべて TeX の命名慣習に倣って定義しておいた。

上記は非常に長いので、文献「Will Robertson, “Symbols defined by unicode-math,” 2019」にて定義されているもののみ以下に再掲する。

• U+00300 𝑥̀ \(\grave{x}\) \grave grave accent
• U+00300 𝑥̀ \(\UCgrave{x}\) \UCgrave grave accent
• U+00301 𝑥́ \(\acute{x}\) \acute acute accent
• U+00301 𝑥́ \(\UCacute{x}\) \UCacute acute accent
• U+00302 𝑥̂ \(\hat{x}\) \hat circumflex accent
• U+00302 𝑥̂ \(\UChat{x}\) \UChat circumflex accent
• U+00303 𝑥̃ \(\tilde{x}\) \tilde tilde
• U+00303 𝑥̃ \(\UCtilde{x}\) \UCtilde tilde
• U+00304 𝑥̄ \(\bar{x}\) \bar macron
• U+00304 𝑥̄ \(\UCbar{x}\) \UCbar macron
• U+00305 𝑥̅ \(\overbar{x}\) \overbar overbar embellishment
• U+00306 𝑥̆ \(\breve{x}\) \breve breve
• U+00306 𝑥̆ \(\UCbreve{x}\) \UCbreve breve
• U+00307 𝑥̇ \(\dot{x}\) \dot dot above
• U+00307 𝑥̇ \(\UCdot{x}\) \UCdot dot above
• U+00308 𝑥̈ \(\ddot{x}\) \ddot dieresis
• U+00308 𝑥̈ \(\UCddot{x}\) \UCddot dieresis
• U+00309 𝑥̉ \(\ovhook{x}\) \ovhook hook above
• U+0030A 𝑥̊ \(\ocirc{x}\) \ocirc ring
• U+0030C 𝑥̌ \(\check{x}\) \check caron
• U+0030C 𝑥̌ \(\UCcheck{x}\) \UCcheck caron
• U+00310 𝑥̐ \(\candra{x}\) \candra candrabindu (non-spacing)
• U+00312 𝑥̒ \(\oturnedcomma{x}\) \oturnedcomma turned comma above
• U+00315 𝑥̕ \(\ocommatopright{x}\) \ocommatopright comma above right
• U+0031A 𝑥̚ \(\droang{x}\) \droang left angle above (non-spacing)
• U+020D0 𝑥⃐ \(\leftharpoonaccent{x}\) \leftharpoonaccent left harpoon above
• U+020D1 𝑥⃑ \(\rightharpoonaccent{x}\) \rightharpoonaccent right harpoon above
• U+020D2 𝑥⃒ \(\vertoverlay{x}\) \vertoverlay long vertical line overlay
• U+020D7 𝑥⃗ \(\vec{x}\) \vec right arrow above
• U+020D7 𝑥⃗ \(\UCvec{x}\) \UCvec right arrow above
• U+020DB 𝑥⃛ \(\dddot{x}\) \dddot three dots above
• U+020DB 𝑥⃛ \(\UCdddot{x}\) \UCdddot three dots above
• U+020DC 𝑥⃜ \(\ddddot{x}\) \ddddot four dots above
• U+020DC 𝑥⃜ \(\UCddddot{x}\) \UCddddot four dots above
• U+020E7 𝑥⃧ \(\annuity{x}\) \annuity annuity symbol
• U+020E9 𝑥⃩ \(\widebridgeabove{x}\) \widebridgeabove wide bridge above
• U+020F0 𝑥⃰ \(\asteraccent{x}\) \asteraccent asterisk above
• U+020E8 𝑥⃨ \(\threeunderdot{x}\) \threeunderdot triple underdot

以下に、コマンド名が定義されているほぼすべてのグリフを Unicode を利用して印字してみる。ちなみに、現時点では KaTeX において印字内容が大幅に削られている。それは、Unicode の UTF-16 のサロゲートペアを用いたグリフの処理に問題があるようで、以下のようなエラーで処理が中断されてしまうからである。

Uncaught Error: Font metrics not found for font: .
LaTeX-incompatible input and strict mode is set to 'warn': Unrecognized Unicode character "U+D835" (55349) [unknownSymbol]

開き括弧・閉じ括弧

• U+00021 ! \(\mathexclam\) \mathexclam exclamation mark
• U+00028 ( \(\lparen\) \lparen left parenthesis
• U+00029 ) \(\rparen\) \rparen right parenthesis
• U+0005B [ \(\lbrack\) \lbrack left square bracket
• U+0005D ] \(\rbrack\) \rbrack right square bracket
• U+0007B { \(\lbrace\) \lbrace left curly bracket
• U+0007D } \(\rbrace\) \rbrace right curly bracket
• U+0221A √ \(\sqrt{}\) \sqrt{} radical
• U+0221B ∛ \(\cuberoot\) \cuberoot cube root
• U+0221C ∜ \(\fourthroot\) \fourthroot fourth root
• U+02308 ⌈ \(\lceil\) \lceil left ceiling
• U+02309 ⌉ \(\rceil\) \rceil right ceiling
• U+0230A ⌊ \(\lfloor\) \lfloor left floor
• U+0230B ⌋ \(\rfloor\) \rfloor right floor
• U+0231C ⌜ \(\ulcorner\) \ulcorner upper left corner
• U+0231D ⌝ \(\urcorner\) \urcorner upper right corner
• U+0231E ⌞ \(\llcorner\) \llcorner lower left corner
• U+0231F ⌟ \(\lrcorner\) \lrcorner lower right corner
• U+023B0 ⎰ \(\lmoustache\) \lmoustache upper left or lower right curly bracket section
• U+023B1 ⎱ \(\rmoustache\) \rmoustache upper right or lower left curly bracket section
• U+02772 ❲ \(\lbrbrak\) \lbrbrak light left tortoise shell bracket ornament
• U+02773 ❳ \(\rbrbrak\) \rbrbrak light right tortoise shell bracket ornament
• U+027C5 ⟅ \(\lbag\) \lbag left s-shaped bag delimiter
• U+027C6 ⟆ \(\rbag\) \rbag right s-shaped bag delimiter
• U+027CC ⟌ \(\longdivision\) \longdivision long division
• U+027E6 ⟦ \(\lBrack\) \lBrack mathematical left white square bracket
• U+027E7 ⟧ \(\rBrack\) \rBrack mathematical right white square bracket
• U+027E8 ⟨ \(\langle\) \langle mathematical left angle bracket
• U+027E9 ⟩ \(\rangle\) \rangle mathematical right angle bracket
• U+027EA ⟪ \(\lAngle\) \lAngle mathematical left double angle bracket
• U+027EB ⟫ \(\rAngle\) \rAngle mathematical right double angle bracket
• U+027EC ⟬ \(\Lbrbrak\) \Lbrbrak mathematical left white tortoise shell bracket
• U+027ED ⟭ \(\Rbrbrak\) \Rbrbrak mathematical right white tortoise shell bracket
• U+027EE ⟮ \(\lgroup\) \lgroup mathematical left flattened parenthesis
• U+027EF ⟯ \(\rgroup\) \rgroup mathematical right flattened parenthesis
• U+02983 ⦃ \(\lBrace\) \lBrace left white curly bracket
• U+02984 ⦄ \(\rBrace\) \rBrace right white curly bracket
• U+02985 ⦅ \(\lParen\) \lParen left white parenthesis
• U+02986 ⦆ \(\rParen\) \rParen right white parenthesis
• U+02987 ⦇ \(\llparenthesis\) \llparenthesis z notation left image bracket
• U+02988 ⦈ \(\rrparenthesis\) \rrparenthesis z notation right image bracket
• U+02989 ⦉ \(\llangle\) \llangle z notation left binding bracket
• U+0298A ⦊ \(\rrangle\) \rrangle z notation right binding bracket
• U+0298B ⦋ \(\lbrackubar\) \lbrackubar left square bracket with underbar
• U+0298C ⦌ \(\rbrackubar\) \rbrackubar right square bracket with underbar
• U+0298D ⦍ \(\lbrackultick\) \lbrackultick left square bracket with tick in top corner
• U+0298E ⦎ \(\rbracklrtick\) \rbracklrtick right square bracket with tick in bottom corner
• U+0298F ⦏ \(\lbracklltick\) \lbracklltick left square bracket with tick in bottom corner
• U+02990 ⦐ \(\rbrackurtick\) \rbrackurtick right square bracket with tick in top corner
• U+02991 ⦑ \(\langledot\) \langledot left angle bracket with dot
• U+02992 ⦒ \(\rangledot\) \rangledot right angle bracket with dot
• U+02993 ⦓ \(\lparenless\) \lparenless left arc less-than bracket
• U+02994 ⦔ \(\rparengtr\) \rparengtr right arc greater-than bracket
• U+02995 ⦕ \(\Lparengtr\) \Lparengtr double left arc greater-than bracket
• U+02996 ⦖ \(\Rparenless\) \Rparenless double right arc less-than bracket
• U+02997 ⦗ \(\lblkbrbrak\) \lblkbrbrak left black tortoise shell bracket
• U+02998 ⦘ \(\rblkbrbrak\) \rblkbrbrak right black tortoise shell bracket
• U+029D8 ⧘ \(\lvzigzag\) \lvzigzag left wiggly fence
• U+029D9 ⧙ \(\rvzigzag\) \rvzigzag right wiggly fence
• U+029DA ⧚ \(\Lvzigzag\) \Lvzigzag left double wiggly fence
• U+029DB ⧛ \(\Rvzigzag\) \Rvzigzag right double wiggly fence
• U+029FC ⧼ \(\lcurvyangle\) \lcurvyangle left pointing curved angle bracket
• U+029FD ⧽ \(\rcurvyangle\) \rcurvyangle right pointing curved angle bracket

フェンス・句読点

• U+0007C | \(\vert\) \vert vertical bar
• U+02016 ‖ \(\Vert\) \Vert double vertical bar
• U+02980 ⦀ \(\Vvert\) \Vvert triple vertical bar delimiter
• U+0002C , \(\mathcomma\) \mathcomma comma
• U+0003A : \(\mathcolon\) \mathcolon colon
• U+0003B ; \(\mathsemicolon\) \mathsemicolon semicolon

２項演算子

• U+0002B + \(x\mathplus y\) \mathplus plus sign b:
• U+000B1 ± \(x\pm y\) \pm plus-or-minus sign
• U+000B7 · \(x\cdotp y\) \cdotp /centerdot b: middle dot
• U+000D7 × \(x\times y\) \times multiply sign
• U+000F7 ÷ \(x\div y\) \div divide sign
• U+02020 † \(x\dagger y\) \dagger dagger relation
• U+02021 ‡ \(x\ddagger y\) \ddagger double dagger relation
• U+02022 • \(x\smblkcircle y\) \smblkcircle /bullet b: round bullet, filled
• U+02040 ⁀ \(x\tieconcat y\) \tieconcat character tie, z notation sequence concatenation
• U+02044 ⁄ \(x\fracslash y\) \fracslash fraction slash
• U+0214B ⅋ \(x\upand y\) \upand turned ampersand
• U+02212 − \(x\minus y\) \minus minus sign
• U+02213 ∓ \(x\mp y\) \mp minus-or-plus sign
• U+02214 ∔ \(x\dotplus y\) \dotplus plus sign, dot above
• U+02215 ∕ \(x\divslash y\) \divslash division slash
• U+02216 ∖ \(x\smallsetminus y\) \smallsetminus small set minus (cf. reverse solidus)
• U+02217 ∗ \(x\ast y\) \ast centered asterisk
• U+02218 ∘ \(x\vysmwhtcircle y\) \vysmwhtcircle composite function (small circle)
• U+02219 ∙ \(x\vysmblkcircle y\) \vysmblkcircle bullet operator
• U+02227 ∧ \(x\wedge y\) \wedge /wedge /land b: logical and
• U+02228 ∨ \(x\vee y\) \vee /vee /lor b: logical or
• U+02229 ∩ \(x\cap y\) \cap intersection
• U+0222A ∪ \(x\cup y\) \cup union or logical sum
• U+02238 ∸ \(x\dotminus y\) \dotminus minus sign, dot above
• U+0223E ∾ \(x\invlazys y\) \invlazys most positive [inverted lazy s]
• U+02240 ≀ \(x\wr y\) \wr wreath product
• U+0228C ⊌ \(x\cupleftarrow y\) \cupleftarrow multiset
• U+0228D ⊍ \(x\cupdot y\) \cupdot union, with dot
• U+0228E ⊎ \(x\uplus y\) \uplus plus sign in union
• U+02293 ⊓ \(x\sqcap y\) \sqcap square intersection
• U+02294 ⊔ \(x\sqcup y\) \sqcup square union
• U+02295 ⊕ \(x\oplus y\) \oplus plus sign in circle
• U+02296 ⊖ \(x\ominus y\) \ominus minus sign in circle
• U+02297 ⊗ \(x\otimes y\) \otimes multiply sign in circle
• U+02298 ⊘ \(x\oslash y\) \oslash solidus in circle
• U+02299 ⊙ \(x\odot y\) \odot middle dot in circle
• U+0229A ⊚ \(x\circledcirc y\) \circledcirc small circle in circle
• U+0229B ⊛ \(x\circledast y\) \circledast asterisk in circle
• U+0229C ⊜ \(x\circledequal y\) \circledequal equal in circle
• U+0229D ⊝ \(x\circleddash y\) \circleddash hyphen in circle
• U+0229E ⊞ \(x\boxplus y\) \boxplus plus sign in box
• U+0229F ⊟ \(x\boxminus y\) \boxminus minus sign in box
• U+022A0 ⊠ \(x\boxtimes y\) \boxtimes multiply sign in box
• U+022A1 ⊡ \(x\boxdot y\) \boxdot /dotsquare /boxdot b: small dot in box
• U+022BA ⊺ \(x\intercal y\) \intercal intercal
• U+022BB ⊻ \(x\veebar y\) \veebar logical or, bar below (large vee); exclusive disjunction
• U+022BC ⊼ \(x\barwedge y\) \barwedge bar, wedge (large wedge)
• U+022BD ⊽ \(x\barvee y\) \barvee bar, vee (large vee)
• U+022C4 ⋄ \(x\smwhtdiamond y\) \smwhtdiamond white diamond
• U+022C5 ⋅ \(x\cdot y\) \cdot small middle dot
• U+022C6 ⋆ \(x\star y\) \star small star, filled, low
• U+022C7 ⋇ \(x\divideontimes y\) \divideontimes division on times
• U+022C9 ⋉ \(x\ltimes y\) \ltimes times sign, left closed
• U+022CA ⋊ \(x\rtimes y\) \rtimes times sign, right closed
• U+022CB ⋋ \(x\leftthreetimes y\) \leftthreetimes left semidirect product
• U+022CC ⋌ \(x\rightthreetimes y\) \rightthreetimes right semidirect product
• U+022CE ⋎ \(x\curlyvee y\) \curlyvee curly logical or
• U+022CF ⋏ \(x\curlywedge y\) \curlywedge curly logical and
• U+022D2 ⋒ \(x\Cap y\) \Cap /cap /doublecap b: double intersection
• U+022D3 ⋓ \(x\Cup y\) \Cup /cup /doublecup b: double union
• U+02305 ⌅ \(x\varbarwedge y\) \varbarwedge /barwedge b: logical and, bar above
• U+02306 ⌆ \(x\vardoublebarwedge y\) \vardoublebarwedge /doublebarwedge b: logical and, double bar above [perspective (double bar over small wedge)]
• U+0233D ⌽ \(x\obar y\) \obar circle with vertical bar
• U+025B3 △ \(x\bigtriangleup y\) \bigtriangleup big up triangle, open
• U+025B7 ▷ \(x\triangleright y\) \triangleright (large) right triangle, open; z notation range restriction
• U+025C1 ◁ \(x\triangleleft y\) \triangleleft (large) left triangle, open; z notation domain restriction
• U+025CB ○ \(x\mdlgwhtcircle y\) \mdlgwhtcircle medium large circle
• U+025EB ◫ \(x\boxbar y\) \boxbar vertical bar in box
• U+027C7 ⟇ \(x\veedot y\) \veedot or with dot inside
• U+027D1 ⟑ \(x\wedgedot y\) \wedgedot and with dot
• U+027E0 ⟠ \(x\lozengeminus y\) \lozengeminus lozenge divided by horizontal rule
• U+027E1 ⟡ \(x\concavediamond y\) \concavediamond white concave-sided diamond
• U+027E2 ⟢ \(x\concavediamondtickleft y\) \concavediamondtickleft white concave-sided diamond with leftwards tick
• U+027E3 ⟣ \(x\concavediamondtickright y\) \concavediamondtickright white concave-sided diamond with rightwards tick
• U+027E4 ⟤ \(x\whitesquaretickleft y\) \whitesquaretickleft white square with leftwards tick
• U+027E5 ⟥ \(x\whitesquaretickright y\) \whitesquaretickright white square with rightwards tick
• U+029B5 ⦵ \(x\circlehbar y\) \circlehbar circle with horizontal bar
• U+029B6 ⦶ \(x\circledvert y\) \circledvert circled vertical bar
• U+029B7 ⦷ \(x\circledparallel y\) \circledparallel circled parallel
• U+029B8 ⦸ \(x\obslash y\) \obslash circled reverse solidus
• U+029B9 ⦹ \(x\operp y\) \operp circled perpendicular
• U+029C0 ⧀ \(x\olessthan y\) \olessthan circled less-than
• U+029C1 ⧁ \(x\ogreaterthan y\) \ogreaterthan circled greater-than
• U+029C4 ⧄ \(x\boxdiag y\) \boxdiag squared rising diagonal slash
• U+029C5 ⧅ \(x\boxbslash y\) \boxbslash squared falling diagonal slash
• U+029C6 ⧆ \(x\boxast y\) \boxast squared asterisk
• U+029C7 ⧇ \(x\boxcircle y\) \boxcircle squared small circle
• U+029C8 ⧈ \(x\boxbox y\) \boxbox squared square
• U+029CD ⧍ \(x\triangleserifs y\) \triangleserifs triangle with serifs at bottom
• U+029D6 ⧖ \(x\hourglass y\) \hourglass white hourglass
• U+029D7 ⧗ \(x\blackhourglass y\) \blackhourglass black hourglass
• U+029E2 ⧢ \(x\shuffle y\) \shuffle shuffle product
• U+029EB ⧫ \(x\mdlgblklozenge y\) \mdlgblklozenge black lozenge
• U+029F5 ⧵ \(x\setminus y\) \setminus reverse solidus operator
• U+029F6 ⧶ \(x\dsol y\) \dsol solidus with overbar
• U+029F7 ⧷ \(x\rsolbar y\) \rsolbar reverse solidus with horizontal stroke
• U+029FA ⧺ \(x\doubleplus y\) \doubleplus double plus
• U+029FB ⧻ \(x\tripleplus y\) \tripleplus triple plus
• U+029FE ⧾ \(x\tplus y\) \tplus tiny
• U+029FF ⧿ \(x\tminus y\) \tminus miny
• U+02A22 ⨢ \(x\ringplus y\) \ringplus plus sign with small circle above
• U+02A23 ⨣ \(x\plushat y\) \plushat plus sign with circumflex accent above
• U+02A24 ⨤ \(x\simplus y\) \simplus plus sign with tilde above
• U+02A25 ⨥ \(x\plusdot y\) \plusdot plus sign with dot below
• U+02A26 ⨦ \(x\plussim y\) \plussim plus sign with tilde below
• U+02A27 ⨧ \(x\plussubtwo y\) \plussubtwo plus sign with subscript two
• U+02A28 ⨨ \(x\plustrif y\) \plustrif plus sign with black triangle
• U+02A29 ⨩ \(x\commaminus y\) \commaminus minus sign with comma above
• U+02A2A ⨪ \(x\minusdot y\) \minusdot minus sign with dot below
• U+02A2B ⨫ \(x\minusfdots y\) \minusfdots minus sign with falling dots
• U+02A2C ⨬ \(x\minusrdots y\) \minusrdots minus sign with rising dots
• U+02A2D ⨭ \(x\opluslhrim y\) \opluslhrim plus sign in left half circle
• U+02A2E ⨮ \(x\oplusrhrim y\) \oplusrhrim plus sign in right half circle
• U+02A2F ⨯ \(x\vectimes y\) \vectimes vector or cross product
• U+02A30 ⨰ \(x\dottimes y\) \dottimes multiplication sign with dot above
• U+02A31 ⨱ \(x\timesbar y\) \timesbar multiplication sign with underbar
• U+02A32 ⨲ \(x\btimes y\) \btimes semidirect product with bottom closed
• U+02A33 ⨳ \(x\smashtimes y\) \smashtimes smash product
• U+02A34 ⨴ \(x\otimeslhrim y\) \otimeslhrim multiplication sign in left half circle
• U+02A35 ⨵ \(x\otimesrhrim y\) \otimesrhrim multiplication sign in right half circle
• U+02A36 ⨶ \(x\otimeshat y\) \otimeshat circled multiplication sign with circumflex accent
• U+02A37 ⨷ \(x\Otimes y\) \Otimes multiplication sign in double circle
• U+02A38 ⨸ \(x\odiv y\) \odiv circled division sign
• U+02A39 ⨹ \(x\triangleplus y\) \triangleplus plus sign in triangle
• U+02A3A ⨺ \(x\triangleminus y\) \triangleminus minus sign in triangle
• U+02A3B ⨻ \(x\triangletimes y\) \triangletimes multiplication sign in triangle
• U+02A3C ⨼ \(x\intprod y\) \intprod interior product
• U+02A3D ⨽ \(x\intprodr y\) \intprodr righthand interior product
• U+02A3E ⨾ \(x\fcmp y\) \fcmp z notation relational composition
• U+02A3F ⨿ \(x\amalg y\) \amalg amalgamation or coproduct
• U+02A40 ⩀ \(x\capdot y\) \capdot intersection with dot
• U+02A41 ⩁ \(x\uminus y\) \uminus union with minus sign
• U+02A42 ⩂ \(x\barcup y\) \barcup union with overbar
• U+02A43 ⩃ \(x\barcap y\) \barcap intersection with overbar
• U+02A44 ⩄ \(x\capwedge y\) \capwedge intersection with logical and
• U+02A45 ⩅ \(x\cupvee y\) \cupvee union with logical or
• U+02A46 ⩆ \(x\cupovercap y\) \cupovercap union above intersection
• U+02A47 ⩇ \(x\capovercup y\) \capovercup intersection above union
• U+02A48 ⩈ \(x\cupbarcap y\) \cupbarcap union above bar above intersection
• U+02A49 ⩉ \(x\capbarcup y\) \capbarcup intersection above bar above union
• U+02A4A ⩊ \(x\twocups y\) \twocups union beside and joined with union
• U+02A4B ⩋ \(x\twocaps y\) \twocaps intersection beside and joined with intersection
• U+02A4C ⩌ \(x\closedvarcup y\) \closedvarcup closed union with serifs
• U+02A4D ⩍ \(x\closedvarcap y\) \closedvarcap closed intersection with serifs
• U+02A4E ⩎ \(x\Sqcap y\) \Sqcap double square intersection
• U+02A4F ⩏ \(x\Sqcup y\) \Sqcup double square union
• U+02A50 ⩐ \(x\closedvarcupsmashprod y\) \closedvarcupsmashprod closed union with serifs and smash product
• U+02A51 ⩑ \(x\wedgeodot y\) \wedgeodot logical and with dot above
• U+02A52 ⩒ \(x\veeodot y\) \veeodot logical or with dot above
• U+02A53 ⩓ \(x\Wedge y\) \Wedge double logical and
• U+02A54 ⩔ \(x\Vee y\) \Vee double logical or
• U+02A55 ⩕ \(x\wedgeonwedge y\) \wedgeonwedge two intersecting logical and
• U+02A56 ⩖ \(x\veeonvee y\) \veeonvee two intersecting logical or
• U+02A57 ⩗ \(x\bigslopedvee y\) \bigslopedvee sloping large or
• U+02A58 ⩘ \(x\bigslopedwedge y\) \bigslopedwedge sloping large and
• U+02A5A ⩚ \(x\wedgemidvert y\) \wedgemidvert logical and with middle stem
• U+02A5B ⩛ \(x\veemidvert y\) \veemidvert logical or with middle stem
• U+02A5C ⩜ \(x\midbarwedge y\) \midbarwedge ogical and with horizontal dash
• U+02A5D ⩝ \(x\midbarvee y\) \midbarvee logical or with horizontal dash
• U+02A5E ⩞ \(x\doublebarwedge y\) \doublebarwedge logical and with double overbar
• U+02A5F ⩟ \(x\wedgebar y\) \wedgebar logical and with underbar
• U+02A60 ⩠ \(x\wedgedoublebar y\) \wedgedoublebar logical and with double underbar
• U+02A61 ⩡ \(x\varveebar y\) \varveebar small vee with underbar
• U+02A62 ⩢ \(x\doublebarvee y\) \doublebarvee logical or with double overbar
• U+02A63 ⩣ \(x\veedoublebar y\) \veedoublebar logical or with double underbar
• U+02A64 ⩤ \(x\dsub y\) \dsub z notation domain antirestriction
• U+02A65 ⩥ \(x\rsub y\) \rsub z notation range antirestriction
• U+02A71 ⩱ \(x\eqqplus y\) \eqqplus equals sign above plus sign
• U+02A72 ⩲ \(x\pluseqq y\) \pluseqq plus sign above equals sign
• U+02AF4 ⫴ \(x\interleave y\) \interleave triple vertical bar binary relation
• U+02AF5 ⫵ \(x\nhVvert y\) \nhVvert triple vertical bar with horizontal stroke
• U+02AF6 ⫶ \(x\threedotcolon y\) \threedotcolon triple colon operator
• U+02AFB ⫻ \(x\trslash y\) \trslash triple solidus binary relation
• U+02AFD ⫽ \(x\sslash y\) \sslash double solidus operator
• U+02AFE ⫾ \(x\talloblong y\) \talloblong white vertical bar

総演算子

• U+0213F ℿ \(\displaystyle\Bbbprod_{n=0}^\infty\) \Bbbprod double-struck capital pi
• U+02140 ⅀ \(\displaystyle\Bbbsum_{n=0}^\infty\) \Bbbsum double-struck n-ary summation
• U+0220F ∏ \(\displaystyle\prod_{n=0}^\infty\) \prod product operator
• U+02210 ∐ \(\displaystyle\coprod_{n=0}^\infty\) \coprod coproduct operator
• U+02211 ∑ \(\displaystyle\sum_{n=0}^\infty\) \sum summation operator
• U+0222B ∫ \(\displaystyle\int_0^\infty\) \int integral operator
• U+0222C ∬ \(\displaystyle\iint_0^\infty\) \iint double integral operator
• U+0222D ∭ \(\displaystyle\iiint_0^\infty\) \iiint triple integral operator
• U+0222E ∮ \(\displaystyle\oint_0^\infty\) \oint contour integral operator
• U+0222F ∮ \(\displaystyle\oiint_0^\infty\) \oiint double contour integral operator
• U+02230 ∮ \(\displaystyle\oiiint_0^\infty\) \oiiint triple contour integral operator
• U+02231 ∱ \(\displaystyle\intclockwise_0^\infty\) \intclockwise clockwise integral
• U+02232 ∲ \(\displaystyle\varointclockwise_0^\infty\) \varointclockwise contour integral, clockwise
• U+02233 ∳ \(\displaystyle\ointctrclockwise_0^\infty\) \ointctrclockwise contour integral, anticlockwise
• U+022C0 ⋀ \(\displaystyle\bigwedge_{n=0}^\infty\) \bigwedge logical and operator
• U+022C1 ⋁ \(\displaystyle\bigvee_{n=0}^\infty\) \bigvee logical or operator
• U+022C2 ⋂ \(\displaystyle\bigcap_{n=0}^\infty\) \bigcap intersection operator
• U+022C3 ⋃ \(\displaystyle\bigcup_{n=0}^\infty\) \bigcup union operator
• U+027D5 ⟕ \(\displaystyle\leftouterjoin_{n=0}^\infty\) \leftouterjoin left outer join
• U+027D6 ⟖ \(\displaystyle\rightouterjoin_{n=0}^\infty\) \rightouterjoin right outer join
• U+027D7 ⟗ \(\displaystyle\fullouterjoin_{n=0}^\infty\) \fullouterjoin full outer join
• U+027D8 ⟘ \(\displaystyle\bigbot_{n=0}^\infty\) \bigbot large up tack
• U+027D9 ⟙ \(\displaystyle\bigtop_{n=0}^\infty\) \bigtop large down tack
• U+029F8 ⧸ \(\displaystyle\xsol_{n=0}^\infty\) \xsol big solidus
• U+029F9 ⧹ \(\displaystyle\xbsol_{n=0}^\infty\) \xbsol big reverse solidus
• U+02A00 ⨀ \(\displaystyle\bigodot_{n=0}^\infty\) \bigodot n-ary circled dot operator
• U+02A01 ⨁ \(\displaystyle\bigoplus_{n=0}^\infty\) \bigoplus n-ary circled plus operator
• U+02A02 ⨂ \(\displaystyle\bigotimes_{n=0}^\infty\) \bigotimes n-ary circled times operator
• U+02A03 ⨃ \(\displaystyle\bigcupdot_{n=0}^\infty\) \bigcupdot n-ary union operator with dot
• U+02A04 ⨄ \(\displaystyle\biguplus_{n=0}^\infty\) \biguplus n-ary union operator with plus
• U+02A05 ⨅ \(\displaystyle\bigsqcap_{n=0}^\infty\) \bigsqcap n-ary square intersection operator
• U+02A06 ⨆ \(\displaystyle\bigsqcup_{n=0}^\infty\) \bigsqcup n-ary square union operator
• U+02A07 ⨇ \(\displaystyle\conjquant_{n=0}^\infty\) \conjquant two logical and operator
• U+02A08 ⨈ \(\displaystyle\disjquant_{n=0}^\infty\) \disjquant two logical or operator
• U+02A09 ⨉ \(\displaystyle\bigtimes_{n=0}^\infty\) \bigtimes n-ary times operator
• U+02A0A ⨊ \(\displaystyle\modtwosum_{n=0}^\infty\) \modtwosum modulo two sum
• U+02A0B ⨋ \(\displaystyle\sumint_0^\infty\) \sumint summation with integral
• U+02A0C ⨌ \(\displaystyle\iiiint_0^\infty\) \iiiint quadruple integral operator
• U+02A0D ⨍ \(\displaystyle\intbar_0^\infty\) \intbar finite part integral
• U+02A0E ⨎ \(\displaystyle\intBar_0^\infty\) \intBar integral with double stroke
• U+02A0F ⨏ \(\displaystyle\fint_0^\infty\) \fint integral average with slash
• U+02A10 ⨐ \(\displaystyle\cirfnint_0^\infty\) \cirfnint circulation function
• U+02A11 ⨑ \(\displaystyle\awint_0^\infty\) \awint anticlockwise integration
• U+02A12 ⨒ \(\displaystyle\rppolint_0^\infty\) \rppolint line integration with rectangular path around pole
• U+02A13 ⨓ \(\displaystyle\scpolint_0^\infty\) \scpolint line integration with semicircular path around pole
• U+02A14 ⨔ \(\displaystyle\npolint_0^\infty\) \npolint line integration not including the pole
• U+02A15 ⨕ \(\displaystyle\pointint_0^\infty\) \pointint integral around a point operator
• U+02A16 ⨖ \(\displaystyle\sqint_0^\infty\) \sqint quaternion integral operator
• U+02A17 ⨗ \(\displaystyle\intlarhk_0^\infty\) \intlarhk integral with leftwards arrow with hook
• U+02A18 ⨘ \(\displaystyle\intx_0^\infty\) \intx integral with times sign
• U+02A19 ⨙ \(\displaystyle\intcap_0^\infty\) \intcap integral with intersection
• U+02A1A ⨚ \(\displaystyle\intcup_0^\infty\) \intcup integral with union
• U+02A1B ⨛ \(\displaystyle\upint_0^\infty\) \upint integral with overbar
• U+02A1C ⨜ \(\displaystyle\lowint_0^\infty\) \lowint integral with underbar
• U+02A1D ⨝ \(\displaystyle\UCJoin_{n=0}^\infty\) \UCJoin join
• U+02A1E ⨞ \(\displaystyle\bigtriangleleft_{n=0}^\infty\) \bigtriangleleft large left triangle operator
• U+02A1F ⨟ \(\displaystyle\zcmp_{n=0}^\infty\) \zcmp z notation schema composition
• U+02A20 ⨠ \(\displaystyle\zpipe_{n=0}^\infty\) \zpipe z notation schema piping
• U+02A21 ⨡ \(\displaystyle\zproject_{n=0}^\infty\) \zproject z notation schema projection
• U+02AFC ⫼ \(\displaystyle\biginterleave_{n=0}^\infty\) \biginterleave large triple vertical bar operator
• U+02AFF ⫿ \(\displaystyle\bigtalloblong_{n=0}^\infty\) \bigtalloblong n-ary white vertical bar

通常の数式記号

• U+00023 # \(\mathoctothorpe\) \mathoctothorpe number sign
• U+00024 $ \(\mathdollar\) \mathdollar dollar sign
• U+00025 % \(\mathpercent\) \mathpercent percent sign
• U+00026 & \(\mathampersand\) \mathampersand ampersand
• U+0002E . \(\mathperiod\) \mathperiod full stop, period
• U+0002F / \(\mathslash\) \mathslash solidus
• U+0003F ? \(\mathquestion\) \mathquestion question mark
• U+00040 @ \(\mathatsign\) \mathatsign commercial at
• U+0005C \ \(\backslash\) \backslash reverse solidus
• U+000A3 £ \(\mathsterling\) \mathsterling pound sign
• U+000A5 ¥ \(\mathyen\) \mathyen yen sign
• U+000A7 § \(\mathsection\) \mathsection section symbol
• U+000AC ¬ \(\neg\) \neg /neg /lnot not sign
• U+000B6 ¶ \(\mathparagraph\) \mathparagraph paragraph symbol
• U+001B5 Ƶ \(\Zbar\) \Zbar impedance (latin capital letter z with stroke)
• U+003F6 ϶ \(\upbackepsilon\) \upbackepsilon greek reversed lunate epsilon symbol
• U+02015 ― \(\horizbar\) \horizbar horizontal bar
• U+02017 ‗ \(\twolowline\) \twolowline double low line (spacing)
• U+02025 ‥ \(\enleadertwodots\) \enleadertwodots double baseline dot (en leader)
• U+02026 … \(\unicodeellipsis\) \unicodeellipsis ellipsis (horizontal)
• U+02032 ′ \(\prime\) \prime prime or minute, not superscripted
• U+02033 ″ \(\dprime\) \dprime double prime or second, not superscripted
• U+02034 ‴ \(\trprime\) \trprime triple prime (not superscripted)
• U+02035 ‵ \(\backprime\) \backprime reverse prime, not superscripted
• U+02036 ‶ \(\backdprime\) \backdprime double reverse prime, not superscripted
• U+02037 ‷ \(\backtrprime\) \backtrprime triple reverse prime, not superscripted
• U+02038 ‸ \(\caretinsert\) \caretinsert caret (insertion mark)
• U+0203C ‼ \(\Exclam\) \Exclam double exclamation mark
• U+02043 ⁃ \(\hyphenbullet\) \hyphenbullet rectangle, filled (hyphen bullet)
• U+02047 ⁇ \(\Question\) \Question double question mark
• U+02057 ⁗ \(\qprime\) \qprime quadruple prime, not superscripted
• U+020AC € \(\euro\) \euro euro sign
• U+020DD ⃝ \(\enclosecircle\) \enclosecircle enclosing circle
• U+020DE ⃞ \(\enclosesquare\) \enclosesquare enclosing square
• U+020DF ⃟ \(\enclosediamond\) \enclosediamond enclosing diamond
• U+020E4 ⃤ \(\enclosetriangle\) \enclosetriangle enclosing upward pointing triangle
• U+02107 Ɛ \(\Eulerconst\) \Eulerconst euler constant
• U+0210E ℎ \(\Planckconst\) \Planckconst planck constant
• U+02127 ℧ \(\mho\) \mho conductance
• U+02132 Ⅎ \(\Finv\) \Finv turned capital f
• U+0213C ℼ \(\Bbbpi\) \Bbbpi double-struck small pi
• U+02141 ⅁ \(\Game\) \Game turned sans-serif capital g
• U+02142 ⅂ \(\sansLturned\) \sansLturned turned sans-serif capital l
• U+02143 ⅃ \(\sansLmirrored\) \sansLmirrored reversed sans-serif capital l
• U+02144 ⅄ \(\Yup\) \Yup turned sans-serif capital y
• U+02145 ⅅ \(\mitBbbD\) \mitBbbD double-struck italic capital d
• U+02146 ⅆ \(\mitBbbd\) \mitBbbd double-struck italic small d
• U+02147 ⅇ \(\mitBbbe\) \mitBbbe double-struck italic small e
• U+02148 ⅈ \(\mitBbbi\) \mitBbbi double-struck italic small i
• U+02149 ⅉ \(\mitBbbj\) \mitBbbj double-struck italic small j
• U+0214A ⅊ \(\PropertyLine\) \PropertyLine property line
• U+021A8 ↨ \(\updownarrowbar\) \updownarrowbar up down arrow with base (perpendicular)
• U+021B4 ↴ \(\linefeed\) \linefeed rightwards arrow with corner downwards
• U+021B5 ↵ \(\carriagereturn\) \carriagereturn downwards arrow with cornerleftward = carriage return
• U+021B8 ↸ \(\barovernorthwestarrow\) \barovernorthwestarrow north west arrow to long bar
• U+021B9 ↹ \(\barleftarrowrightarrowbar\) \barleftarrowrightarrowbar leftwards arrow to bar over rightwards arrow to bar
• U+021BA ↺ \(\acwopencirclearrow\) \acwopencirclearrow anticlockwise open circle arrow
• U+021BB ↻ \(\cwopencirclearrow\) \cwopencirclearrow clockwise open circle arrow
• U+021DE ⇞ \(\nHuparrow\) \nHuparrow upwards arrow with double stroke
• U+021DF ⇟ \(\nHdownarrow\) \nHdownarrow downwards arrow with doublestroke
• U+021E0 ⇠ \(\leftdasharrow\) \leftdasharrow leftwards dashed arrow
• U+021E1 ⇡ \(\updasharrow\) \updasharrow upwards dashed arrow
• U+021E2 ⇢ \(\rightdasharrow\) \rightdasharrow rightwards dashed arrow
• U+021E3 ⇣ \(\downdasharrow\) \downdasharrow downwards dashed arrow
• U+021E6 ⇦ \(\leftwhitearrow\) \leftwhitearrow leftwards white arrow
• U+021E7 ⇧ \(\upwhitearrow\) \upwhitearrow upwards white arrow
• U+021E8 ⇨ \(\rightwhitearrow\) \rightwhitearrow rightwards white arrow
• U+021E9 ⇩ \(\downwhitearrow\) \downwhitearrow downwards white arrow
• U+021EA ⇪ \(\whitearrowupfrombar\) \whitearrowupfrombar upwards white arrow from bar
• U+02200 ∀ \(\forall\) \forall for all
• U+02201 ∁ \(\complement\) \complement complement sign
• U+02203 ∃ \(\exists\) \exists at least one exists
• U+02204 ∄ \(\nexists\) \nexists negated exists
• U+02205 ∅ \(\varnothing\) \varnothing circle, slash
• U+02206 ∆ \(\increment\) \increment laplacian (delta; nabla^2)
• U+0220E ∎ \(\QED\) \QED end of proof
• U+0221A √ \(\surd\) \surd radical
• U+0221E ∞ \(\infty\) \infty infinity
• U+0221F ∟ \(\rightangle\) \rightangle right (90 degree) angle
• U+02220 ∠ \(\angle\) \angle angle
• U+02221 ∡ \(\measuredangle\) \measuredangle angle-measured
• U+02222 ∢ \(\sphericalangle\) \sphericalangle angle-spherical
• U+02234 ∴ \(\therefore\) \therefore therefore
• U+02235 ∵ \(\because\) \because because
• U+0223F ∿ \(\sinewave\) \sinewave sine wave
• U+022A4 ⊤ \(\top\) \top top
• U+022A5 ⊥ \(\bot\) \bot bottom
• U+022B9 ⊹ \(\hermitmatrix\) \hermitmatrix hermitian conjugate matrix
• U+022BE ⊾ \(\measuredrightangle\) \measuredrightangle right angle-measured [with arc]
• U+022BF ⊿ \(\varlrtriangle\) \varlrtriangle right triangle
• U+022EF ⋯ \(\unicodecdots\) \unicodecdots three dots, centered
• U+02300 ⌀ \(\diameter\) \diameter diameter sign
• U+02302 ⌂ \(\house\) \house house
• U+02310 ⌐ \(\invnot\) \invnot reverse not
• U+02311 ⌑ \(\sqlozenge\) \sqlozenge square lozenge
• U+02312 ⌒ \(\profline\) \profline profile of a line
• U+02313 ⌓ \(\profsurf\) \profsurf profile of a surface
• U+02317 ⌗ \(\viewdata\) \viewdata viewdata square
• U+02319 ⌙ \(\turnednot\) \turnednot turned not sign
• U+02320 ⌠ \(\inttop\) \inttop top half integral
• U+02321 ⌡ \(\intbottom\) \intbottom bottom half integral
• U+0232C ⌬ \(\varhexagonlrbonds\) \varhexagonlrbonds six carbon ring, corner down, double bonds lower right etc
• U+02332 ⌲ \(\conictaper\) \conictaper conical taper
• U+02336 ⌶ \(\topbot\) \topbot top and bottom
• U+02340 ⍀ \(\APLnotbackslash\) \APLnotbackslash apl functional symbol backslash bar
• U+02353 ⍓ \(\APLboxupcaret\) \APLboxupcaret boxed up caret
• U+02370 ⍰ \(\APLboxquestion\) \APLboxquestion boxed question mark
• U+0237C ⍼ \(\rangledownzigzagarrow\) \rangledownzigzagarrow right angle with downwards zigzagarrow
• U+02394 ⎔ \(\hexagon\) \hexagon horizontal benzene ring [hexagon flat open]
• U+0239B ⎛ \(\lparenuend\) \lparenuend left parenthesis upper hook
• U+0239C ⎜ \(\lparenextender\) \lparenextender left parenthesis extension
• U+0239D ⎝ \(\lparenlend\) \lparenlend left parenthesis lower hook
• U+0239E ⎞ \(\rparenuend\) \rparenuend right parenthesis upper hook
• U+0239F ⎟ \(\rparenextender\) \rparenextender right parenthesis extension
• U+023A0 ⎠ \(\rparenlend\) \rparenlend right parenthesis lower hook
• U+023A1 ⎡ \(\lbrackuend\) \lbrackuend left square bracket upper corner
• U+023A2 ⎢ \(\lbrackextender\) \lbrackextender left square bracket extension
• U+023A3 ⎣ \(\lbracklend\) \lbracklend left square bracket lower corner
• U+023A4 ⎤ \(\rbrackuend\) \rbrackuend right square bracket upper corner
• U+023A5 ⎥ \(\rbrackextender\) \rbrackextender right square bracket extension
• U+023A6 ⎦ \(\rbracklend\) \rbracklend right square bracket lower corner
• U+023A7 ⎧ \(\lbraceuend\) \lbraceuend left curly bracket upper hook
• U+023A8 ⎨ \(\lbracemid\) \lbracemid left curly bracket middle piece
• U+023A9 ⎩ \(\lbracelend\) \lbracelend left curly bracket lower hook
• U+023AA ⎪ \(\vbraceextender\) \vbraceextender curly bracket extension
• U+023AB ⎫ \(\rbraceuend\) \rbraceuend right curly bracket upper hook
• U+023AC ⎬ \(\rbracemid\) \rbracemid right curly bracket middle piece
• U+023AD ⎭ \(\rbracelend\) \rbracelend right curly bracket lower hook
• U+023AE ⎮ \(\intextender\) \intextender integral extension
• U+023AF ⎯ \(\harrowextender\) \harrowextender horizontal line extension (used to extend arrows)
• U+023B2 ⎲ \(\sumtop\) \sumtop summation top
• U+023B3 ⎳ \(\sumbottom\) \sumbottom summation bottom
• U+023B6 ⎶ \(\bbrktbrk\) \bbrktbrk bottom square bracket over top square bracket
• U+023B7 ⎷ \(\sqrtbottom\) \sqrtbottom radical symbol bottom
• U+023B8 ⎸ \(\lvboxline\) \lvboxline left vertical box line
• U+023B9 ⎹ \(\rvboxline\) \rvboxline right vertical box line
• U+023CE ⏎ \(\varcarriagereturn\) \varcarriagereturn return symbol
• U+023E0 ⏠ \(\obrbrak\) \obrbrak top tortoise shell bracket (mathematical use)
• U+023E1 ⏡ \(\ubrbrak\) \ubrbrak bottom tortoise shell bracket (mathematical use)
• U+023E2 ⏢ \(\trapezium\) \trapezium white trapezium
• U+023E3 ⏣ \(\benzenr\) \benzenr benzene ring with circle
• U+023E4 ⏤ \(\strns\) \strns straightness
• U+023E5 ⏥ \(\fltns\) \fltns flatness
• U+023E6 ⏦ \(\accurrent\) \accurrent ac current
• U+023E7 ⏧ \(\elinters\) \elinters electrical intersection
• U+02422 ␢ \(\blanksymbol\) \blanksymbol blank symbol
• U+02423 ␣ \(\mathvisiblespace\) \mathvisiblespace open box
• U+02506 ┆ \(\bdtriplevdash\) \bdtriplevdash doubly broken vert
• U+02580 ▀ \(\blockuphalf\) \blockuphalf upper half block
• U+02584 ▄ \(\blocklowhalf\) \blocklowhalf lower half block
• U+02588 █ \(\blockfull\) \blockfull full block
• U+0258C ▌ \(\blocklefthalf\) \blocklefthalf left half block
• U+02590 ▐ \(\blockrighthalf\) \blockrighthalf right half block
• U+02591 ░ \(\blockqtrshaded\) \blockqtrshaded 25% shaded block
• U+02592 ▒ \(\blockhalfshaded\) \blockhalfshaded 50% shaded block
• U+02593 ▓ \(\blockthreeqtrshaded\) \blockthreeqtrshaded 75% shaded block
• U+025A0 ■ \(\mdlgblksquare\) \mdlgblksquare square, filled
• U+025A1 □ \(\mdlgwhtsquare\) \mdlgwhtsquare square, open
• U+025A2 ▢ \(\squoval\) \squoval white square with rounded corners
• U+025A3 ▣ \(\blackinwhitesquare\) \blackinwhitesquare white square containing black small square
• U+025A4 ▤ \(\squarehfill\) \squarehfill square, horizontal rule filled
• U+025A5 ▥ \(\squarevfill\) \squarevfill square, vertical rule filled
• U+025A6 ▦ \(\squarehvfill\) \squarehvfill square with orthogonal crosshatch fill
• U+025A7 ▧ \(\squarenwsefill\) \squarenwsefill square, nw-to-se rule filled
• U+025A8 ▨ \(\squareneswfill\) \squareneswfill square, ne-to-sw rule filled
• U+025A9 ▩ \(\squarecrossfill\) \squarecrossfill square with diagonal crosshatch fill
• U+025AA ▪ \(\smblksquare\) \smblksquare /blacksquare - sq bullet, filled
• U+025AB ▫ \(\smwhtsquare\) \smwhtsquare white small square
• U+025AC ▬ \(\hrectangleblack\) \hrectangleblack black rectangle
• U+025AD ▭ \(\hrectangle\) \hrectangle horizontal rectangle, open
• U+025AE ▮ \(\vrectangleblack\) \vrectangleblack black vertical rectangle
• U+025AF ▯ \(\vrectangle\) \vrectangle rectangle, white (vertical)
• U+025B0 ▰ \(\parallelogramblack\) \parallelogramblack black parallelogram
• U+025B1 ▱ \(\parallelogram\) \parallelogram parallelogram, open
• U+025B2 ▲ \(\bigblacktriangleup\) \bigblacktriangleup black up-pointing triangle
• U+025B4 ▴ \(\blacktriangle\) \blacktriangle up triangle, filled
• U+025B6 ▶ \(\blacktriangleright\) \blacktriangleright (large) right triangle, filled
• U+025B8 ▸ \(\smallblacktriangleright\) \smallblacktriangleright right triangle, filled
• U+025B9 ▹ \(\smalltriangleright\) \smalltriangleright right triangle, open
• U+025BA ► \(\blackpointerright\) \blackpointerright black right-pointing pointer
• U+025BB ▻ \(\whitepointerright\) \whitepointerright white right-pointing pointer
• U+025BC ▼ \(\bigblacktriangledown\) \bigblacktriangledown big down triangle, filled
• U+025BD ▽ \(\bigtriangledown\) \bigtriangledown big down triangle, open
• U+025BE ▾ \(\blacktriangledown\) \blacktriangledown down triangle, filled
• U+025BF ▿ \(\triangledown\) \triangledown down triangle, open
• U+025C0 ◀ \(\blacktriangleleft\) \blacktriangleleft (large) left triangle, filled
• U+025C2 ◂ \(\smallblacktriangleleft\) \smallblacktriangleleft left triangle, filled
• U+025C3 ◃ \(\smalltriangleleft\) \smalltriangleleft left triangle, open
• U+025C4 ◄ \(\blackpointerleft\) \blackpointerleft black left-pointing pointer
• U+025C5 ◅ \(\whitepointerleft\) \whitepointerleft white left-pointing pointer
• U+025C6 ◆ \(\mdlgblkdiamond\) \mdlgblkdiamond black diamond
• U+025C7 ◇ \(\mdlgwhtdiamond\) \mdlgwhtdiamond white diamond; diamond, open
• U+025C8 ◈ \(\blackinwhitediamond\) \blackinwhitediamond white diamond containing black small diamond
• U+025C9 ◉ \(\fisheye\) \fisheye fisheye
• U+025CA ◊ \(\mdlgwhtlozenge\) \mdlgwhtlozenge lozenge or total mark
• U+025CC ◌ \(\dottedcircle\) \dottedcircle dotted circle
• U+025CD ◍ \(\circlevertfill\) \circlevertfill circle with vertical fill
• U+025CE ◎ \(\bullseye\) \bullseye bullseye
• U+025CF ● \(\mdlgblkcircle\) \mdlgblkcircle circle, filled
• U+025D0 ◐ \(\circlelefthalfblack\) \circlelefthalfblack circle, filled left half [harvey ball]
• U+025D1 ◑ \(\circlerighthalfblack\) \circlerighthalfblack circle, filled right half
• U+025D2 ◒ \(\circlebottomhalfblack\) \circlebottomhalfblack circle, filled bottom half
• U+025D3 ◓ \(\circletophalfblack\) \circletophalfblack circle, filled top half
• U+025D4 ◔ \(\circleurquadblack\) \circleurquadblack circle with upper right quadrant black
• U+025D5 ◕ \(\blackcircleulquadwhite\) \blackcircleulquadwhite circle with all but upper left quadrant black
• U+025D6 ◖ \(\blacklefthalfcircle\) \blacklefthalfcircle left half black circle
• U+025D7 ◗ \(\blackrighthalfcircle\) \blackrighthalfcircle right half black circle
• U+025D8 ◘ \(\inversebullet\) \inversebullet inverse bullet
• U+025D9 ◙ \(\inversewhitecircle\) \inversewhitecircle inverse white circle
• U+025DA ◚ \(\invwhiteupperhalfcircle\) \invwhiteupperhalfcircle upper half inverse white circle
• U+025DB ◛ \(\invwhitelowerhalfcircle\) \invwhitelowerhalfcircle lower half inverse white circle
• U+025DC ◜ \(\ularc\) \ularc upper left quadrant circular arc
• U+025DD ◝ \(\urarc\) \urarc upper right quadrant circular arc
• U+025DE ◞ \(\lrarc\) \lrarc lower right quadrant circular arc
• U+025DF ◟ \(\llarc\) \llarc lower left quadrant circular arc
• U+025E0 ◠ \(\topsemicircle\) \topsemicircle upper half circle
• U+025E1 ◡ \(\botsemicircle\) \botsemicircle lower half circle
• U+025E2 ◢ \(\lrblacktriangle\) \lrblacktriangle lower right triangle, filled
• U+025E3 ◣ \(\llblacktriangle\) \llblacktriangle lower left triangle, filled
• U+025E4 ◤ \(\ulblacktriangle\) \ulblacktriangle upper left triangle, filled
• U+025E5 ◥ \(\urblacktriangle\) \urblacktriangle upper right triangle, filled
• U+025E6 ◦ \(\smwhtcircle\) \smwhtcircle white bullet
• U+025E7 ◧ \(\squareleftblack\) \squareleftblack square, filled left half
• U+025E8 ◨ \(\squarerightblack\) \squarerightblack square, filled right half
• U+025E9 ◩ \(\squareulblack\) \squareulblack square, filled top left corner
• U+025EA ◪ \(\squarelrblack\) \squarelrblack square, filled bottom right corner
• U+025EC ◬ \(\trianglecdot\) \trianglecdot triangle with centered dot
• U+025ED ◭ \(\triangleleftblack\) \triangleleftblack up-pointing triangle with left half black
• U+025EE ◮ \(\trianglerightblack\) \trianglerightblack up-pointing triangle with right half black
• U+025EF ◯ \(\lgwhtcircle\) \lgwhtcircle large circle
• U+025F0 ◰ \(\squareulquad\) \squareulquad white square with upper left quadrant
• U+025F1 ◱ \(\squarellquad\) \squarellquad white square with lower left quadrant
• U+025F2 ◲ \(\squarelrquad\) \squarelrquad white square with lower right quadrant
• U+025F3 ◳ \(\squareurquad\) \squareurquad white square with upper right quadrant
• U+025F4 ◴ \(\circleulquad\) \circleulquad white circle with upper left quadrant
• U+025F5 ◵ \(\circlellquad\) \circlellquad white circle with lower left quadrant
• U+025F6 ◶ \(\circlelrquad\) \circlelrquad white circle with lower right quadrant
• U+025F7 ◷ \(\circleurquad\) \circleurquad white circle with upper right quadrant
• U+025F8 ◸ \(\ultriangle\) \ultriangle upper left triangle
• U+025F9 ◹ \(\urtriangle\) \urtriangle upper right triangle
• U+025FA ◺ \(\lltriangle\) \lltriangle lower left triangle
• U+025FB ◻ \(\mdwhtsquare\) \mdwhtsquare white medium square
• U+025FC ◼ \(\mdblksquare\) \mdblksquare black medium square
• U+025FD ◽ \(\mdsmwhtsquare\) \mdsmwhtsquare white medium small square
• U+025FE ◾ \(\mdsmblksquare\) \mdsmblksquare black medium small square
• U+025FF ◿ \(\lrtriangle\) \lrtriangle lower right triangle
• U+02605 ★ \(\bigstar\) \bigstar star, filled
• U+02606 ☆ \(\bigwhitestar\) \bigwhitestar star, open
• U+02609 ☉ \(\astrosun\) \astrosun sun
• U+02621 ☡ \(\danger\) \danger dangerous bend (caution sign)
• U+0263B ☻ \(\blacksmiley\) \blacksmiley black smiling face
• U+0263C ☼ \(\sun\) \sun white sun with rays
• U+0263D ☽ \(\rightmoon\) \rightmoon first quarter moon
• U+0263E ☾ \(\leftmoon\) \leftmoon last quarter moon
• U+02640 ♀ \(\female\) \female venus, female
• U+02642 ♂ \(\male\) \male mars, male
• U+02660 ♠ \(\spadesuit\) \spadesuit spades suit symbol
• U+02661 ♡ \(\heartsuit\) \heartsuit heart suit symbol
• U+02662 ♢ \(\diamondsuit\) \diamondsuit diamond suit symbol
• U+02663 ♣ \(\clubsuit\) \clubsuit club suit symbol
• U+02664 ♤ \(\varspadesuit\) \varspadesuit spade, white (card suit)
• U+02665 ♥ \(\varheartsuit\) \varheartsuit filled heart (card suit)
• U+02666 ♦ \(\vardiamondsuit\) \vardiamondsuit filled diamond (card suit)
• U+02667 ♧ \(\varclubsuit\) \varclubsuit club, white (card suit)
• U+02669 ♩ \(\quarternote\) \quarternote music note (sung text sign)
• U+0266A ♪ \(\eighthnote\) \eighthnote eighth note
• U+0266B ♫ \(\twonotes\) \twonotes beamed eighth notes
• U+0266D ♭ \(\flat\) \flat musical flat
• U+0266E ♮ \(\natural\) \natural music natural
• U+0266F ♯ \(\sharp\) \sharp musical sharp
• U+0267E ♾ \(\acidfree\) \acidfree permanent paper sign
• U+02680 ⚀ \(\dicei\) \dicei die face-1
• U+02681 ⚁ \(\diceii\) \diceii die face-2
• U+02682 ⚂ \(\diceiii\) \diceiii die face-3
• U+02683 ⚃ \(\diceiv\) \diceiv die face-4
• U+02684 ⚄ \(\dicev\) \dicev die face-5
• U+02685 ⚅ \(\dicevi\) \dicevi die face-6
• U+02686 ⚆ \(\circledrightdot\) \circledrightdot white circle with dot right
• U+02687 ⚇ \(\circledtwodots\) \circledtwodots white circle with two dots
• U+02688 ⚈ \(\blackcircledrightdot\) \blackcircledrightdot black circle with white dot right
• U+02689 ⚉ \(\blackcircledtwodots\) \blackcircledtwodots black circle with two white dots
• U+026A5 ⚥ \(\Hermaphrodite\) \Hermaphrodite male and female sign
• U+026AA ⚪ \(\mdwhtcircle\) \mdwhtcircle medium white circle
• U+026AB ⚫ \(\mdblkcircle\) \mdblkcircle medium black circle
• U+026AC ⚬ \(\mdsmwhtcircle\) \mdsmwhtcircle medium small white circle
• U+026B2 ⚲ \(\neuter\) \neuter neuter
• U+02713 ✓ \(\checkmark\) \checkmark tick, check mark
• U+02720 ✠ \(\maltese\) \maltese maltese cross
• U+0272A ✪ \(\circledstar\) \circledstar circled white star
• U+02736 ✶ \(\varstar\) \varstar six pointed black star
• U+0273D ✽ \(\dingasterisk\) \dingasterisk heavy teardrop-spoked asterisk
• U+0279B ➛ \(\draftingarrow\) \draftingarrow right arrow with bold head (drafting)
• U+027C0 ⟀ \(\threedangle\) \threedangle three dimensional angle
• U+027C1 ⟁ \(\whiteinwhitetriangle\) \whiteinwhitetriangle white triangle containing small white triangle
• U+027C3 ⟃ \(\subsetcirc\) \subsetcirc open subset
• U+027C4 ⟄ \(\supsetcirc\) \supsetcirc open superset
• U+027D0 ⟐ \(\diamondcdot\) \diamondcdot white diamond with centred dot
• U+0292B ⤫ \(\rdiagovfdiag\) \rdiagovfdiag rising diagonal crossing falling diagonal
• U+0292C ⤬ \(\fdiagovrdiag\) \fdiagovrdiag falling diagonal crossing rising diagonal
• U+0292D ⤭ \(\seovnearrow\) \seovnearrow south east arrow crossing north east arrow
• U+0292E ⤮ \(\neovsearrow\) \neovsearrow north east arrow crossing south east arrow
• U+0292F ⤯ \(\fdiagovnearrow\) \fdiagovnearrow falling diagonal crossing north eastarrow
• U+02930 ⤰ \(\rdiagovsearrow\) \rdiagovsearrow rising diagonal crossing south eastarrow
• U+02931 ⤱ \(\neovnwarrow\) \neovnwarrow north east arrow crossing north west arrow
• U+02932 ⤲ \(\nwovnearrow\) \nwovnearrow north west arrow crossing north east arrow
• U+02934 ⤴ \(\uprightcurvearrow\) \uprightcurvearrow arrow pointing rightwards then curving upwards
• U+02935 ⤵ \(\downrightcurvedarrow\) \downrightcurvedarrow arrow pointing rightwards then curving downwards
• U+02981 ⦁ \(\mdsmblkcircle\) \mdsmblkcircle z notation spot
• U+02999 ⦙ \(\fourvdots\) \fourvdots dotted fence
• U+0299A ⦚ \(\vzigzag\) \vzigzag vertical zigzag line
• U+0299B ⦛ \(\measuredangleleft\) \measuredangleleft measured angle opening left
• U+0299C ⦜ \(\rightanglesqr\) \rightanglesqr right angle variant with square
• U+0299D ⦝ \(\rightanglemdot\) \rightanglemdot measured right angle with dot
• U+0299E ⦞ \(\angles\) \angles angle with s inside
• U+0299F ⦟ \(\angdnr\) \angdnr acute angle
• U+029A0 ⦠ \(\gtlpar\) \gtlpar spherical angle opening left
• U+029A1 ⦡ \(\sphericalangleup\) \sphericalangleup spherical angle opening up
• U+029A2 ⦢ \(\turnangle\) \turnangle turned angle
• U+029A3 ⦣ \(\revangle\) \revangle reversed angle
• U+029A4 ⦤ \(\angleubar\) \angleubar angle with underbar
• U+029A5 ⦥ \(\revangleubar\) \revangleubar reversed angle with underbar
• U+029A6 ⦦ \(\wideangledown\) \wideangledown oblique angle opening up
• U+029A7 ⦧ \(\wideangleup\) \wideangleup oblique angle opening down
• U+029A8 ⦨ \(\measanglerutone\) \measanglerutone measured angle with open arm ending in arrow pointing up and right
• U+029A9 ⦩ \(\measanglelutonw\) \measanglelutonw measured angle with open arm ending in arrow pointing up and left
• U+029AA ⦪ \(\measanglerdtose\) \measanglerdtose measured angle with open arm ending in arrow pointing down and right
• U+029AB ⦫ \(\measangleldtosw\) \measangleldtosw measured angle with open arm ending in arrow pointing down and left
• U+029AC ⦬ \(\measangleurtone\) \measangleurtone measured angle with open arm ending in arrow pointing right andup
• U+029AD ⦭ \(\measangleultonw\) \measangleultonw measured angle with open arm ending in arrow pointing left andup
• U+029AE ⦮ \(\measangledrtose\) \measangledrtose measured angle with open arm ending in arrow pointing right and down
• U+029AF ⦯ \(\measangledltosw\) \measangledltosw measured angle with open arm ending in arrow pointing left and down
• U+029B0 ⦰ \(\revemptyset\) \revemptyset reversed empty set
• U+029B1 ⦱ \(\emptysetobar\) \emptysetobar empty set with overbar
• U+029B2 ⦲ \(\emptysetocirc\) \emptysetocirc empty set with small circle above
• U+029B3 ⦳ \(\emptysetoarr\) \emptysetoarr empty set with right arrow above
• U+029B4 ⦴ \(\emptysetoarrl\) \emptysetoarrl empty set with left arrow above
• U+029BA ⦺ \(\obot\) \obot circle divided by horizontal bar and top half divided by vertical bar
• U+029BB ⦻ \(\olcross\) \olcross circle with superimposed x
• U+029BC ⦼ \(\odotslashdot\) \odotslashdot circled anticlockwise-rotated divi-sion sign
• U+029BD ⦽ \(\uparrowoncircle\) \uparrowoncircle up arrow through circle
• U+029BE ⦾ \(\circledwhitebullet\) \circledwhitebullet circled white bullet
• U+029BF ⦿ \(\circledbullet\) \circledbullet circled bullet
• U+029C2 ⧂ \(\cirscir\) \cirscir circle with small circle to the right
• U+029C3 ⧃ \(\cirE\) \cirE circle with two horizontal strokes tothe right
• U+029C9 ⧉ \(\boxonbox\) \boxonbox two joined squares
• U+029CA ⧊ \(\triangleodot\) \triangleodot triangle with dot above
• U+029CB ⧋ \(\triangleubar\) \triangleubar triangle with underbar
• U+029CC ⧌ \(\triangles\) \triangles s in triangle
• U+029DC ⧜ \(\iinfin\) \iinfin incomplete infinity
• U+029DD ⧝ \(\tieinfty\) \tieinfty tie over infinity
• U+029DE ⧞ \(\nvinfty\) \nvinfty infinity negated with vertical bar
• U+029E0 ⧠ \(\laplac\) \laplac square with contoured outline
• U+029E7 ⧧ \(\thermod\) \thermod thermodynamic
• U+029E8 ⧨ \(\downtriangleleftblack\) \downtriangleleftblack down-pointing triangle with left half black
• U+029E9 ⧩ \(\downtrianglerightblack\) \downtrianglerightblack down-pointing triangle with right half black
• U+029EA ⧪ \(\blackdiamonddownarrow\) \blackdiamonddownarrow black diamond with down arrow
• U+029EC ⧬ \(\circledownarrow\) \circledownarrow white circle with down arrow
• U+029ED ⧭ \(\blackcircledownarrow\) \blackcircledownarrow black circle with down arrow
• U+029EE ⧮ \(\errbarsquare\) \errbarsquare error-barred white square
• U+029EF ⧯ \(\errbarblacksquare\) \errbarblacksquare error-barred black square
• U+029F0 ⧰ \(\errbardiamond\) \errbardiamond error-barred white diamond
• U+029F1 ⧱ \(\errbarblackdiamond\) \errbarblackdiamond error-barred black diamond
• U+029F2 ⧲ \(\errbarcircle\) \errbarcircle error-barred white circle
• U+029F3 ⧳ \(\errbarblackcircle\) \errbarblackcircle error-barred black circle
• U+02AE1 ⫡ \(\perps\) \perps perpendicular with s
• U+02AF1 ⫱ \(\topcir\) \topcir down tack with circle below
• U+02B12 ⬒ \(\squaretopblack\) \squaretopblack square with top half black
• U+02B13 ⬓ \(\squarebotblack\) \squarebotblack square with bottom half black
• U+02B14 ⬔ \(\squareurblack\) \squareurblack square with upper right diagonal half black
• U+02B15 ⬕ \(\squarellblack\) \squarellblack square with lower left diagonal half black
• U+02B16 ⬖ \(\diamondleftblack\) \diamondleftblack diamond with left half black
• U+02B17 ⬗ \(\diamondrightblack\) \diamondrightblack diamond with right half black
• U+02B18 ⬘ \(\diamondtopblack\) \diamondtopblack diamond with top half black
• U+02B19 ⬙ \(\diamondbotblack\) \diamondbotblack diamond with bottom half black
• U+02B1A ⬚ \(\dottedsquare\) \dottedsquare dotted square
• U+02B1B ⬛︎ \(\lgblksquare\) \lgblksquare black large square
• U+02B1C ⬜︎ \(\lgwhtsquare\) \lgwhtsquare white large square
• U+02B1D ⬝ \(\vysmblksquare\) \vysmblksquare black very small square
• U+02B1E ⬞ \(\vysmwhtsquare\) \vysmwhtsquare white very small square
• U+02B1F ⬟ \(\pentagonblack\) \pentagonblack black pentagon
• U+02B20 ⬠ \(\pentagon\) \pentagon white pentagon
• U+02B21 ⬡ \(\varhexagon\) \varhexagon white hexagon
• U+02B22 ⬢ \(\varhexagonblack\) \varhexagonblack black hexagon
• U+02B23 ⬣ \(\hexagonblack\) \hexagonblack horizontal black hexagon
• U+02B24 ⬤ \(\lgblkcircle\) \lgblkcircle black large circle
• U+02B25 ⬥ \(\mdblkdiamond\) \mdblkdiamond black medium diamond
• U+02B26 ⬦ \(\mdwhtdiamond\) \mdwhtdiamond white medium diamond
• U+02B27 ⬧ \(\mdblklozenge\) \mdblklozenge black medium lozenge
• U+02B28 ⬨ \(\mdwhtlozenge\) \mdwhtlozenge white medium lozenge
• U+02B29 ⬩ \(\smblkdiamond\) \smblkdiamond black small diamond
• U+02B2A ⬪ \(\smblklozenge\) \smblklozenge black small lozenge
• U+02B2B ⬫ \(\smwhtlozenge\) \smwhtlozenge white small lozenge
• U+02B2C ⬬ \(\blkhorzoval\) \blkhorzoval black horizontal ellipse
• U+02B2D ⬭ \(\whthorzoval\) \whthorzoval white horizontal ellipse
• U+02B2E ⬮ \(\blkvertoval\) \blkvertoval black vertical ellipse
• U+02B2F ⬯ \(\whtvertoval\) \whtvertoval white vertical ellipse
• U+02B50 ⭐︎ \(\medwhitestar\) \medwhitestar white medium star
• U+02B51 ⭑︎ \(\medblackstar\) \medblackstar black medium star
• U+02B52 ⭒ \(\smwhitestar\) \smwhitestar white small star
• U+02B53 ⭓ \(\rightpentagonblack\) \rightpentagonblack black right-pointing pentagon
• U+02B54 ⭔ \(\rightpentagon\) \rightpentagon white right-pointing pentagon
• U+03012 〒 \(\postalmark\) \postalmark postal mark
• U+03030 〰 \(\hzigzag\) \hzigzag zigzag

関係演算子

• U+0003C < \(\less\) \less less-than sign r:
• U+0003D = \(\equal\) \equal equals sign r:
• U+0003E > \(\greater\) \greater greater-than sign r:
• U+02050 ⁐ \(\closure\) \closure close up
• U+02190 ← \(\leftarrow\) \leftarrow /leftarrow /gets a: leftward arrow
• U+02191 ↑ \(\uparrow\) \uparrow upward arrow
• U+02192 → \(\rightarrow\) \rightarrow /rightarrow /to a: rightward arrow
• U+02193 ↓ \(\downarrow\) \downarrow downward arrow
• U+02194 ↔ \(\leftrightarrow\) \leftrightarrow left and right arrow
• U+02195 ↕ \(\updownarrow\) \updownarrow up and down arrow
• U+02196 ↖ \(\nwarrow\) \nwarrow nw pointing arrow
• U+02197 ↗ \(\nearrow\) \nearrow ne pointing arrow
• U+02198 ↘ \(\searrow\) \searrow se pointing arrow
• U+02199 ↙ \(\swarrow\) \swarrow sw pointing arrow
• U+0219A ↚ \(\nleftarrow\) \nleftarrow not left arrow
• U+0219B ↛ \(\nrightarrow\) \nrightarrow not right arrow
• U+0219C ↜ \(\leftwavearrow\) \leftwavearrow left arrow-wavy
• U+0219D ↝ \(\rightwavearrow\) \rightwavearrow right arrow-wavy
• U+0219E ↞ \(\twoheadleftarrow\) \twoheadleftarrow left two-headed arrow
• U+0219F ↟ \(\twoheaduparrow\) \twoheaduparrow up two-headed arrow
• U+021A0 ↠ \(\twoheadrightarrow\) \twoheadrightarrow right two-headed arrow
• U+021A1 ↡ \(\twoheaddownarrow\) \twoheaddownarrow down two-headed arrow
• U+021A2 ↢ \(\leftarrowtail\) \leftarrowtail left arrow-tailed
• U+021A3 ↣ \(\rightarrowtail\) \rightarrowtail right arrow-tailed
• U+021A4 ↤ \(\mapsfrom\) \mapsfrom maps to, leftward
• U+021A5 ↥ \(\mapsup\) \mapsup maps to, upward
• U+021A6 ↦ \(\mapsto\) \mapsto maps to, rightward
• U+021A7 ↧ \(\mapsdown\) \mapsdown maps to, downward
• U+021A9 ↩ \(\hookleftarrow\) \hookleftarrow left arrow-hooked
• U+021AA ↪ \(\hookrightarrow\) \hookrightarrow right arrow-hooked
• U+021AB ↫ \(\looparrowleft\) \looparrowleft left arrow-looped
• U+021AC ↬ \(\looparrowright\) \looparrowright right arrow-looped
• U+021AD ↭ \(\leftrightsquigarrow\) \leftrightsquigarrow left and right arr-wavy
• U+021AE ↮ \(\nleftrightarrow\) \nleftrightarrow not left and right arrow
• U+021AF ↯ \(\downzigzagarrow\) \downzigzagarrow downwards zigzag arrow
• U+021B0 ↰ \(\Lsh\) \Lsh /lsh a:
• U+021B1 ↱ \(\Rsh\) \Rsh /rsh a:
• U+021B2 ↲ \(\Ldsh\) \Ldsh left down angled arrow
• U+021B3 ↳ \(\Rdsh\) \Rdsh right down angled arrow
• U+021B6 ↶ \(\curvearrowleft\) \curvearrowleft left curved arrow
• U+021B7 ↷ \(\curvearrowright\) \curvearrowright right curved arrow
• U+021BC ↼ \(\leftharpoonup\) \leftharpoonup left harpoon-up
• U+021BD ↽ \(\leftharpoondown\) \leftharpoondown left harpoon-down
• U+021BE ↾ \(\upharpoonright\) \upharpoonright /upharpoonright /restriction a: up harpoon-right
• U+021BF ↿ \(\upharpoonleft\) \upharpoonleft up harpoon-left
• U+021C0 ⇀ \(\rightharpoonup\) \rightharpoonup right harpoon-up
• U+021C1 ⇁ \(\rightharpoondown\) \rightharpoondown right harpoon-down
• U+021C2 ⇂ \(\downharpoonright\) \downharpoonright down harpoon-right
• U+021C3 ⇃ \(\downharpoonleft\) \downharpoonleft down harpoon-left
• U+021C4 ⇄ \(\rightleftarrows\) \rightleftarrows right arrow over left arrow
• U+021C5 ⇅ \(\updownarrows\) \updownarrows up arrow, down arrow
• U+021C6 ⇆ \(\leftrightarrows\) \leftrightarrows left arrow over right arrow
• U+021C7 ⇇ \(\leftleftarrows\) \leftleftarrows two left arrows
• U+021C8 ⇈ \(\upuparrows\) \upuparrows two up arrows
• U+021C9 ⇉ \(\rightrightarrows\) \rightrightarrows two right arrows
• U+021CA ⇊ \(\downdownarrows\) \downdownarrows two down arrows
• U+021CB ⇋ \(\leftrightharpoons\) \leftrightharpoons left harpoon over right
• U+021CC ⇌ \(\rightleftharpoons\) \rightleftharpoons right harpoon over left
• U+021CD ⇍ \(\nLeftarrow\) \nLeftarrow not implied by
• U+021CE ⇎ \(\nLeftrightarrow\) \nLeftrightarrow not left and right double arrows
• U+021CF ⇏ \(\nRightarrow\) \nRightarrow not implies
• U+021D0 ⇐ \(\Leftarrow\) \Leftarrow is implied by
• U+021D1 ⇑ \(\Uparrow\) \Uparrow up double arrow
• U+021D2 ⇒ \(\Rightarrow\) \Rightarrow implies
• U+021D3 ⇓ \(\Downarrow\) \Downarrow down double arrow
• U+021D4 ⇔ \(\Leftrightarrow\) \Leftrightarrow left and right double arrow
• U+021D5 ⇕ \(\Updownarrow\) \Updownarrow up and down double arrow
• U+021D6 ⇖ \(\Nwarrow\) \Nwarrow nw pointing double arrow
• U+021D7 ⇗ \(\Nearrow\) \Nearrow ne pointing double arrow
• U+021D8 ⇘ \(\Searrow\) \Searrow se pointing double arrow
• U+021D9 ⇙ \(\Swarrow\) \Swarrow sw pointing double arrow
• U+021DA ⇚ \(\Lleftarrow\) \Lleftarrow left triple arrow
• U+021DB ⇛ \(\Rrightarrow\) \Rrightarrow right triple arrow
• U+021DC ⇜ \(\leftsquigarrow\) \leftsquigarrow leftwards squiggle arrow
• U+021DD ⇝ \(\rightsquigarrow\) \rightsquigarrow rightwards squiggle arrow
• U+021E4 ⇤ \(\barleftarrow\) \barleftarrow leftwards arrow to bar
• U+021E5 ⇥ \(\rightarrowbar\) \rightarrowbar rightwards arrow to bar
• U+021F4 ⇴ \(\circleonrightarrow\) \circleonrightarrow right arrow with small circle
• U+021F5 ⇵ \(\downuparrows\) \downuparrows downwards arrow leftwards ofupwards arrow
• U+021F6 ⇶ \(\rightthreearrows\) \rightthreearrows three rightwards arrows
• U+021F7 ⇷ \(\nvleftarrow\) \nvleftarrow leftwards arrow with vertical stroke
• U+021F8 ⇸ \(\nvrightarrow\) \nvrightarrow rightwards arrow with vertical stroke
• U+021F9 ⇹ \(\nvleftrightarrow\) \nvleftrightarrow left right arrow with vertical stroke
• U+021FA ⇺ \(\nVleftarrow\) \nVleftarrow leftwards arrow with double verticalstroke
• U+021FB ⇻ \(\nVrightarrow\) \nVrightarrow rightwards arrow with double vertical stroke
• U+021FC ⇼ \(\nVleftrightarrow\) \nVleftrightarrow left right arrow with double vertical stroke
• U+021FD ⇽ \(\leftarrowtriangle\) \leftarrowtriangle leftwards open-headed arrow
• U+021FE ⇾ \(\rightarrowtriangle\) \rightarrowtriangle rightwards open-headed arrow
• U+021FF ⇿ \(\leftrightarrowtriangle\) \leftrightarrowtriangle left right open-headed arrow
• U+02208 ∈ \(\in\) \in set membership, variant
• U+02209 ∉ \(\notin\) \notin negated set membership
• U+0220A ∊ \(\smallin\) \smallin set membership (small set membership)
• U+0220B ∋ \(\ni\) \ni contains, variant
• U+0220C ∌ \(\nni\) \nni negated contains, variant
• U+0220D ∍ \(\smallni\) \smallni /ni /owns r: contains (small contains as member)
• U+0221D ∝ \(\propto\) \propto is proportional to
• U+02223 ∣ \(\mid\) \mid /mid r:
• U+02224 ∤ \(\nmid\) \nmid negated mid
• U+02225 ∥ \(\parallel\) \parallel parallel
• U+02226 ∦ \(\nparallel\) \nparallel not parallel
• U+02236 ∶ \(\mathratio\) \mathratio ratio
• U+02237 ∷ \(\Colon\) \Colon two colons
• U+02239 ∹ \(\dashcolon\) \dashcolon excess (-:)
• U+0223A ∺ \(\dotsminusdots\) \dotsminusdots minus with four dots, geometric properties
• U+0223B ∻ \(\kernelcontraction\) \kernelcontraction homothetic
• U+0223C ∼ \(\sim\) \sim similar
• U+0223D ∽ \(\backsim\) \backsim reverse similar
• U+02241 ≁ \(\nsim\) \nsim not similar
• U+02242 ≂ \(\eqsim\) \eqsim equals, similar
• U+02243 ≃ \(\simeq\) \simeq similar, equals
• U+02244 ≄ \(\nsime\) \nsime not similar, equals
• U+02243 ≃ \(\sime\) \sime similar, equals (alias)
• U+02244 ≄ \(\nsimeq\) \nsimeq not similar, equals (alias)
• U+02245 ≅ \(\cong\) \cong congruent with
• U+02246 ≆ \(\simneqq\) \simneqq similar, not equals [vert only for 9573 entity]
• U+02247 ≇ \(\ncong\) \ncong not congruent with
• U+02248 ≈ \(\approx\) \approx approximate
• U+02249 ≉ \(\napprox\) \napprox not approximate
• U+0224A ≊ \(\approxeq\) \approxeq approximate, equals
• U+0224B ≋ \(\approxident\) \approxident approximately identical to
• U+0224C ≌ \(\backcong\) \backcong all equal to
• U+0224D ≍ \(\asymp\) \asymp asymptotically equal to
• U+0224E ≎ \(\Bumpeq\) \Bumpeq bumpy equals
• U+0224F ≏ \(\bumpeq\) \bumpeq bumpy equals, equals
• U+02250 ≐ \(\doteq\) \doteq equals, single dot above
• U+02251 ≑ \(\Doteq\) \Doteq /doteqdot /doteq r: equals, even dots
• U+02252 ≒ \(\fallingdotseq\) \fallingdotseq equals, falling dots
• U+02253 ≓ \(\risingdotseq\) \risingdotseq equals, rising dots
• U+02254 ≔ \(\coloneq\) \coloneq colon, equals
• U+02255 ≕ \(\eqcolon\) \eqcolon equals, colon
• U+02256 ≖ \(\eqcirc\) \eqcirc circle on equals sign
• U+02257 ≗ \(\circeq\) \circeq circle, equals
• U+02258 ≘ \(\arceq\) \arceq arc, equals; corresponds to
• U+02259 ≙ \(\wedgeq\) \wedgeq corresponds to (wedge, equals)
• U+0225A ≚ \(\veeeq\) \veeeq logical or, equals
• U+0225B ≛ \(\stareq\) \stareq star equals
• U+0225C ≜ \(\triangleq\) \triangleq triangle, equals
• U+0225D ≝ \(\eqdef\) \eqdef equals by definition
• U+0225E ≞ \(\measeq\) \measeq measured by (m over equals)
• U+0225F ≟ \(\questeq\) \questeq equal with questionmark
• U+02260 ≠ \(\ne\) \ne /ne /neq r: not equal
• U+02261 ≡ \(\equiv\) \equiv identical with
• U+02262 ≢ \(\nequiv\) \nequiv not identical with
• U+02263 ≣ \(\Equiv\) \Equiv strict equivalence (4 lines)
• U+02264 ≤ \(\leq\) \leq /leq /le r: less-than-or-equal
• U+02265 ≥ \(\geq\) \geq /geq /ge r: greater-than-or-equal
• U+02266 ≦ \(\leqq\) \leqq less, double equals
• U+02267 ≧ \(\geqq\) \geqq greater, double equals
• U+02268 ≨ \(\lneqq\) \lneqq less, not double equals
• U+02269 ≩ \(\gneqq\) \gneqq greater, not double equals
• U+0226A ≪ \(\ll\) \ll much less than, type 2
• U+0226B ≫ \(\gg\) \gg much greater than, type 2
• U+0226C ≬ \(\between\) \between between
• U+0226D ≭ \(\nasymp\) \nasymp not asymptotically equal to
• U+0226E ≮ \(\nless\) \nless not less-than
• U+0226F ≯ \(\ngtr\) \ngtr not greater-than
• U+02270 ≰ \(\nleq\) \nleq not less-than-or-equal
• U+02271 ≱ \(\ngeq\) \ngeq not greater-than-or-equal
• U+02272 ≲ \(\lesssim\) \lesssim less, similar
• U+02273 ≳ \(\gtrsim\) \gtrsim greater, similar
• U+02274 ≴ \(\nlesssim\) \nlesssim not less, similar
• U+02275 ≵ \(\ngtrsim\) \ngtrsim not greater, similar
• U+02276 ≶ \(\lessgtr\) \lessgtr less, greater
• U+02277 ≷ \(\gtrless\) \gtrless greater, less
• U+02278 ≸ \(\nlessgtr\) \nlessgtr not less, greater
• U+02279 ≹ \(\ngtrless\) \ngtrless not greater, less
• U+0227A ≺ \(\prec\) \prec precedes
• U+0227B ≻ \(\succ\) \succ succeeds
• U+0227C ≼ \(\preccurlyeq\) \preccurlyeq precedes, curly equals
• U+0227D ≽ \(\succcurlyeq\) \succcurlyeq succeeds, curly equals
• U+0227E ≾ \(\precsim\) \precsim precedes, similar
• U+0227F ≿ \(\succsim\) \succsim succeeds, similar
• U+02280 ⊀ \(\nprec\) \nprec not precedes
• U+02281 ⊁ \(\nsucc\) \nsucc not succeeds
• U+02282 ⊂ \(\subset\) \subset subset or is implied by
• U+02283 ⊃ \(\supset\) \supset superset or implies
• U+02284 ⊄ \(\nsubset\) \nsubset not subset, variant [slash negation]
• U+02285 ⊅ \(\nsupset\) \nsupset not superset, variant [slash negation]
• U+02286 ⊆ \(\subseteq\) \subseteq subset, equals
• U+02287 ⊇ \(\supseteq\) \supseteq superset, equals
• U+02288 ⊈ \(\nsubseteq\) \nsubseteq not subset, equals
• U+02289 ⊉ \(\nsupseteq\) \nsupseteq not superset, equals
• U+0228A ⊊ \(\subsetneq\) \subsetneq subset, not equals
• U+0228B ⊋ \(\supsetneq\) \supsetneq superset, not equals
• U+0228F ⊏ \(\sqsubset\) \sqsubset square subset
• U+02290 ⊐ \(\sqsupset\) \sqsupset square superset
• U+02291 ⊑ \(\sqsubseteq\) \sqsubseteq square subset, equals
• U+02292 ⊒ \(\sqsupseteq\) \sqsupseteq square superset, equals
• U+022A2 ⊢ \(\vdash\) \vdash vertical, dash
• U+022A3 ⊣ \(\dashv\) \dashv dash, vertical
• U+022A6 ⊦ \(\assert\) \assert assertion (vertical, short dash)
• U+022A7 ⊧ \(\models\) \models models (vertical, short double dash)
• U+022A8 ⊨ \(\vDash\) \vDash vertical, double dash
• U+022A9 ⊩ \(\Vdash\) \Vdash double vertical, dash
• U+022AA ⊪ \(\Vvdash\) \Vvdash triple vertical, dash
• U+022AB ⊫ \(\VDash\) \VDash double vert, double dash
• U+022AC ⊬ \(\nvdash\) \nvdash not vertical, dash
• U+022AD ⊭ \(\nvDash\) \nvDash not vertical, double dash
• U+022AE ⊮ \(\nVdash\) \nVdash not double vertical, dash
• U+022AF ⊯ \(\nVDash\) \nVDash not double vert, double dash
• U+022B0 ⊰ \(\prurel\) \prurel element precedes under relation
• U+022B1 ⊱ \(\scurel\) \scurel succeeds under relation
• U+022B2 ⊲ \(\vartriangleleft\) \vartriangleleft left triangle, open, variant
• U+022B3 ⊳ \(\vartriangleright\) \vartriangleright right triangle, open, variant
• U+022B4 ⊴ \(\trianglelefteq\) \trianglelefteq left triangle, equals
• U+022B5 ⊵ \(\trianglerighteq\) \trianglerighteq right triangle, equals
• U+022B6 ⊶ \(\origof\) \origof original of
• U+022B7 ⊷ \(\imageof\) \imageof image of
• U+022B8 ⊸ \(\multimap\) \multimap /multimap a:
• U+022C8 ⋈ \(\bowtie\) \bowtie bowtie
• U+022CD ⋍ \(\backsimeq\) \backsimeq reverse similar, equals
• U+022D0 ⋐ \(\Subset\) \Subset double subset
• U+022D1 ⋑ \(\Supset\) \Supset double superset
• U+022D4 ⋔ \(\pitchfork\) \pitchfork pitchfork
• U+022D5 ⋕ \(\equalparallel\) \equalparallel parallel, equal; equal or parallel
• U+022D6 ⋖ \(\lessdot\) \lessdot less than, with dot
• U+022D7 ⋗ \(\gtrdot\) \gtrdot greater than, with dot
• U+022D8 ⋘ \(\lll\) \lll /ll /lll /llless r: triple less-than
• U+022D9 ⋙ \(\ggg\) \ggg /ggg /gg /gggtr r: triple greater-than
• U+022DA ⋚ \(\lesseqgtr\) \lesseqgtr less, equals, greater
• U+022DB ⋛ \(\gtreqless\) \gtreqless greater, equals, less
• U+022DC ⋜ \(\eqless\) \eqless equal-or-less
• U+022DD ⋝ \(\eqgtr\) \eqgtr equal-or-greater
• U+022DE ⋞ \(\curlyeqprec\) \curlyeqprec curly equals, precedes
• U+022DF ⋟ \(\curlyeqsucc\) \curlyeqsucc curly equals, succeeds
• U+022E0 ⋠ \(\npreccurlyeq\) \npreccurlyeq not precedes, curly equals
• U+022E1 ⋡ \(\nsucccurlyeq\) \nsucccurlyeq not succeeds, curly equals
• U+022E2 ⋢ \(\nsqsubseteq\) \nsqsubseteq not, square subset, equals
• U+022E3 ⋣ \(\nsqsupseteq\) \nsqsupseteq not, square superset, equals
• U+022E4 ⋤ \(\sqsubsetneq\) \sqsubsetneq square subset, not equals
• U+022E5 ⋥ \(\sqsupsetneq\) \sqsupsetneq square superset, not equals
• U+022E6 ⋦ \(\lnsim\) \lnsim less, not similar
• U+022E7 ⋧ \(\gnsim\) \gnsim greater, not similar
• U+022E8 ⋨ \(\precnsim\) \precnsim precedes, not similar
• U+022E9 ⋩ \(\succnsim\) \succnsim succeeds, not similar
• U+022EA ⋪ \(\nvartriangleleft\) \nvartriangleleft not left triangle
• U+022EB ⋫ \(\nvartriangleright\) \nvartriangleright not right triangle
• U+022EC ⋬ \(\ntrianglelefteq\) \ntrianglelefteq not left triangle, equals
• U+022ED ⋭ \(\ntrianglerighteq\) \ntrianglerighteq not right triangle, equals
• U+022EE ⋮ \(\vdots\) \vdots vertical ellipsis
• U+022F0 ⋰ \(\adots\) \adots three dots, ascending
• U+022F1 ⋱ \(\ddots\) \ddots three dots, descending
• U+022F2 ⋲ \(\disin\) \disin element of with long horizontal stroke
• U+022F3 ⋳ \(\varisins\) \varisins element of with vertical bar at end ofhorizontal stroke
• U+022F4 ⋴ \(\isins\) \isins small element of with vertical bar atend of horizontal stroke
• U+022F5 ⋵ \(\isindot\) \isindot element of with dot above
• U+022F6 ⋶ \(\varisinobar\) \varisinobar element of with overbar
• U+022F7 ⋷ \(\isinobar\) \isinobar small element of with overbar
• U+022F8 ⋸ \(\isinvb\) \isinvb element of with underbar
• U+022F9 ⋹ \(\isinE\) \isinE element of with two horizontalstrokes
• U+022FA ⋺ \(\nisd\) \nisd contains with long horizontal stroke
• U+022FB ⋻ \(\varnis\) \varnis contains with vertical bar at end ofhorizontal stroke
• U+022FC ⋼ \(\nis\) \nis small contains with vertical bar atend of horizontal stroke
• U+022FD ⋽ \(\varniobar\) \varniobar contains with overbar
• U+022FE ⋾ \(\niobar\) \niobar small contains with overbar
• U+022FF ⋿ \(\bagmember\) \bagmember z notation bag membership
• U+02322 ⌢ \(\frown\) \frown down curve
• U+02323 ⌣ \(\smile\) \smile up curve
• U+0233F ⌿ \(\APLnotslash\) \APLnotslash solidus, bar through (apl functional symbol slash bar)
• U+025B5 ▵ \(\vartriangle\) \vartriangle /triangle - up triangle, open
• U+027C2 ⟂ \(\perp\) \perp perpendicular
• U+027C8 ⟈ \(\bsolhsub\) \bsolhsub reverse solidus preceding subset
• U+027C9 ⟉ \(\suphsol\) \suphsol superset preceding solidus
• U+027D2 ⟒ \(\upin\) \upin element of opening upwards
• U+027D3 ⟓ \(\pullback\) \pullback lower right corner with dot
• U+027D4 ⟔ \(\pushout\) \pushout upper left corner with dot
• U+027DA ⟚ \(\DashVDash\) \DashVDash left and right double turnstile
• U+027DB ⟛ \(\dashVdash\) \dashVdash left and right tack
• U+027DC ⟜ \(\multimapinv\) \multimapinv left multimap
• U+027DD ⟝ \(\vlongdash\) \vlongdash long left tack
• U+027DE ⟞ \(\longdashv\) \longdashv long right tack
• U+027DF ⟟ \(\cirbot\) \cirbot up tack with circle above
• U+027F0 ⟰ \(\UUparrow\) \UUparrow upwards quadruple arrow
• U+027F1 ⟱ \(\DDownarrow\) \DDownarrow downwards quadruple arrow
• U+027F2 ⟲ \(\acwgapcirclearrow\) \acwgapcirclearrow anticlockwise gapped circle arrow
• U+027F3 ⟳ \(\cwgapcirclearrow\) \cwgapcirclearrow clockwise gapped circle arrow
• U+027F4 ⟴ \(\rightarrowonoplus\) \rightarrowonoplus right arrow with circled plus
• U+027F5 ⟵ \(\longleftarrow\) \longleftarrow long leftwards arrow
• U+027F6 ⟶ \(\longrightarrow\) \longrightarrow long rightwards arrow
• U+027F7 ⟷ \(\longleftrightarrow\) \longleftrightarrow long left right arrow
• U+027F8 ⟸ \(\Longleftarrow\) \Longleftarrow long leftwards double arrow
• U+027F9 ⟹ \(\Longrightarrow\) \Longrightarrow long rightwards double arrow
• U+027FA ⟺ \(\Longleftrightarrow\) \Longleftrightarrow long left right double arrow
• U+027FB ⟻ \(\longmapsfrom\) \longmapsfrom long leftwards arrow from bar
• U+027FC ⟼ \(\longmapsto\) \longmapsto long rightwards arrow from bar
• U+027FD ⟽ \(\Longmapsfrom\) \Longmapsfrom long leftwards double arrow from bar
• U+027FE ⟾ \(\Longmapsto\) \Longmapsto long rightwards double arrow from bar
• U+027FF ⟿ \(\longrightsquigarrow\) \longrightsquigarrow long rightwards squiggle arrow
• U+02900 ⤀ \(\nvtwoheadrightarrow\) \nvtwoheadrightarrow rightwards two-headed arrow with vertical stroke
• U+02901 ⤁ \(\nVtwoheadrightarrow\) \nVtwoheadrightarrow rightwards two-headed arrow with double vertical stroke
• U+02902 ⤂ \(\nvLeftarrow\) \nvLeftarrow leftwards double arrow with verticalstroke
• U+02903 ⤃ \(\nvRightarrow\) \nvRightarrow rightwards double arrow with vertical stroke
• U+02904 ⤄ \(\nvLeftrightarrow\) \nvLeftrightarrow left right double arrow with vertical stroke
• U+02905 ⤅ \(\twoheadmapsto\) \twoheadmapsto rightwards two-headed arrow from bar
• U+02906 ⤆ \(\Mapsfrom\) \Mapsfrom leftwards double arrow from bar
• U+02907 ⤇ \(\Mapsto\) \Mapsto rightwards double arrow from bar
• U+02908 ⤈ \(\downarrowbarred\) \downarrowbarred downwards arrow with horizontalstroke
• U+02909 ⤉ \(\uparrowbarred\) \uparrowbarred upwards arrow with horizontal stroke
• U+0290A ⤊ \(\Uuparrow\) \Uuparrow upwards triple arrow
• U+0290B ⤋ \(\Ddownarrow\) \Ddownarrow downwards triple arrow
• U+0290C ⤌ \(\leftbkarrow\) \leftbkarrow leftwards double dash arrow
• U+0290D ⤍ \(\rightbkarrow\) \rightbkarrow rightwards double dash arrow
• U+0290E ⤎ \(\leftdbkarrow\) \leftdbkarrow leftwards triple dash arrow
• U+0290F ⤏ \(\dbkarrow\) \dbkarrow rightwards triple dash arrow
• U+02910 ⤐ \(\drbkarrow\) \drbkarrow rightwards two-headed triple dasharrow
• U+02911 ⤑ \(\rightdotarrow\) \rightdotarrow rightwards arrow with dotted stem
• U+02912 ⤒ \(\baruparrow\) \baruparrow upwards arrow to bar
• U+02913 ⤓ \(\downarrowbar\) \downarrowbar downwards arrow to bar
• U+02914 ⤔ \(\nvrightarrowtail\) \nvrightarrowtail rightwards arrow with tail with vertical stroke
• U+02915 ⤕ \(\nVrightarrowtail\) \nVrightarrowtail rightwards arrow with tail with double vertical stroke
• U+02916 ⤖ \(\twoheadrightarrowtail\) \twoheadrightarrowtail rightwards two-headed arrow with tail
• U+02917 ⤗ \(\nvtwoheadrightarrowtail\) \nvtwoheadrightarrowtail rightwards two-headed arrow with tail with vertical stroke
• U+02918 ⤘ \(\nVtwoheadrightarrowtail\) \nVtwoheadrightarrowtail rightwards two-headed arrow with tail with double vertical stroke
• U+02919 ⤙ \(\lefttail\) \lefttail leftwards arrow-tail
• U+0291A ⤚ \(\righttail\) \righttail rightwards arrow-tail
• U+0291B ⤛ \(\leftdbltail\) \leftdbltail leftwards double arrow-tail
• U+0291C ⤜ \(\rightdbltail\) \rightdbltail rightwards double arrow-tail
• U+0291D ⤝ \(\diamondleftarrow\) \diamondleftarrow leftwards arrow to black diamond
• U+0291E ⤞ \(\rightarrowdiamond\) \rightarrowdiamond rightwards arrow to black diamond
• U+0291F ⤟ \(\diamondleftarrowbar\) \diamondleftarrowbar leftwards arrow from bar to blackdiamond
• U+02920 ⤠ \(\barrightarrowdiamond\) \barrightarrowdiamond rightwards arrow from bar to black diamond
• U+02921 ⤡ \(\nwsearrow\) \nwsearrow north west and south east arrow
• U+02922 ⤢ \(\neswarrow\) \neswarrow north east and south west arrow
• U+02923 ⤣ \(\hknwarrow\) \hknwarrow north west arrow with hook
• U+02924 ⤤ \(\hknearrow\) \hknearrow north east arrow with hook
• U+02925 ⤥ \(\hksearrow\) \hksearrow south east arrow with hook
• U+02926 ⤦ \(\hkswarrow\) \hkswarrow south west arrow with hook
• U+02927 ⤧ \(\tona\) \tona north west arrow and north eastarrow
• U+02928 ⤨ \(\toea\) \toea north east arrow and south eastarrow
• U+02929 ⤩ \(\tosa\) \tosa south east arrow and south westarrow
• U+0292A ⤪ \(\towa\) \towa south west arrow and north westarrow
• U+02933 ⤳ \(\rightcurvedarrow\) \rightcurvedarrow wave arrow pointing directly right
• U+02936 ⤶ \(\leftdowncurvedarrow\) \leftdowncurvedarrow arrow pointing downwards then curving leftwards
• U+02937 ⤷ \(\rightdowncurvedarrow\) \rightdowncurvedarrow arrow pointing downwards then curving rightwards
• U+02938 ⤸ \(\cwrightarcarrow\) \cwrightarcarrow right-side arc clockwise arrow
• U+02939 ⤹ \(\acwleftarcarrow\) \acwleftarcarrow left-side arc anticlockwise arrow
• U+0293A ⤺ \(\acwoverarcarrow\) \acwoverarcarrow top arc anticlockwise arrow
• U+0293B ⤻ \(\acwunderarcarrow\) \acwunderarcarrow bottom arc anticlockwise arrow
• U+0293C ⤼ \(\curvearrowrightminus\) \curvearrowrightminus top arc clockwise arrow with minus
• U+0293D ⤽ \(\curvearrowleftplus\) \curvearrowleftplus top arc anticlockwise arrow with plus
• U+0293E ⤾ \(\cwundercurvearrow\) \cwundercurvearrow lower right semicircular clockwisearrow
• U+0293F ⤿ \(\ccwundercurvearrow\) \ccwundercurvearrow lower left semicircular anticlockwisearrow
• U+02940 ⥀ \(\acwcirclearrow\) \acwcirclearrow anticlockwise closed circle arrow
• U+02941 ⥁ \(\cwcirclearrow\) \cwcirclearrow clockwise closed circle arrow
• U+02942 ⥂ \(\rightarrowshortleftarrow\) \rightarrowshortleftarrow rightwards arrow above short leftwards arrow
• U+02943 ⥃ \(\leftarrowshortrightarrow\) \leftarrowshortrightarrow leftwards arrow above short rightwards arrow
• U+02944 ⥄ \(\shortrightarrowleftarrow\) \shortrightarrowleftarrow short rightwards arrow above leftwards arrow
• U+02945 ⥅ \(\rightarrowplus\) \rightarrowplus rightwards arrow with plus below
• U+02946 ⥆ \(\leftarrowplus\) \leftarrowplus leftwards arrow with plus below
• U+02947 ⥇ \(\rightarrowx\) \rightarrowx rightwards arrow through x
• U+02948 ⥈ \(\leftrightarrowcircle\) \leftrightarrowcircle left right arrow through small circle
• U+02949 ⥉ \(\twoheaduparrowcircle\) \twoheaduparrowcircle upwards two-headed arrow from small circle
• U+0294A ⥊ \(\leftrightharpoonupdown\) \leftrightharpoonupdown left barb up right barb down harpoon
• U+0294B ⥋ \(\leftrightharpoondownup\) \leftrightharpoondownup left barb down right barb up harpoon
• U+0294C ⥌ \(\updownharpoonrightleft\) \updownharpoonrightleft up barb right down barb left harpoon
• U+0294D ⥍ \(\updownharpoonleftright\) \updownharpoonleftright up barb left down barb right harpoon
• U+0294E ⥎ \(\leftrightharpoonupup\) \leftrightharpoonupup left barb up right barb up harpoon
• U+0294F ⥏ \(\updownharpoonrightright\) \updownharpoonrightright up barb right down barb right harpoon
• U+02950 ⥐ \(\leftrightharpoondowndown\) \leftrightharpoondowndown left barb down right barb down harpoon
• U+02951 ⥑ \(\updownharpoonleftleft\) \updownharpoonleftleft up barb left down barb left harpoon
• U+02952 ⥒ \(\barleftharpoonup\) \barleftharpoonup leftwards harpoon with barb up to bar
• U+02953 ⥓ \(\rightharpoonupbar\) \rightharpoonupbar rightwards harpoon with barb up to bar
• U+02954 ⥔ \(\barupharpoonright\) \barupharpoonright upwards harpoon with barb right to bar
• U+02955 ⥕ \(\downharpoonrightbar\) \downharpoonrightbar downwards harpoon with barb right to bar
• U+02956 ⥖ \(\barleftharpoondown\) \barleftharpoondown leftwards harpoon with barb down to bar
• U+02957 ⥗ \(\rightharpoondownbar\) \rightharpoondownbar rightwards harpoon with barb down to bar
• U+02958 ⥘ \(\barupharpoonleft\) \barupharpoonleft upwards harpoon with barb left to bar
• U+02959 ⥙ \(\downharpoonleftbar\) \downharpoonleftbar downwards harpoon with barb left to bar
• U+0295A ⥚ \(\leftharpoonupbar\) \leftharpoonupbar leftwards harpoon with barb up from bar
• U+0295B ⥛ \(\barrightharpoonup\) \barrightharpoonup rightwards harpoon with barb up from bar
• U+0295C ⥜ \(\upharpoonrightbar\) \upharpoonrightbar upwards harpoon with barb right from bar
• U+0295D ⥝ \(\bardownharpoonright\) \bardownharpoonright downwards harpoon with barb right from bar
• U+0295E ⥞ \(\leftharpoondownbar\) \leftharpoondownbar leftwards harpoon with barb down from bar
• U+0295F ⥟ \(\barrightharpoondown\) \barrightharpoondown rightwards harpoon with barb down from bar
• U+02960 ⥠ \(\upharpoonleftbar\) \upharpoonleftbar upwards harpoon with barb left from bar
• U+02961 ⥡ \(\bardownharpoonleft\) \bardownharpoonleft downwards harpoon with barb left from bar
• U+02962 ⥢ \(\leftharpoonsupdown\) \leftharpoonsupdown leftwards harpoon with barb up above leftwards harpoon with barb down
• U+02963 ⥣ \(\upharpoonsleftright\) \upharpoonsleftright upwards harpoon with barb left beside upwards harpoon with barb right
• U+02964 ⥤ \(\rightharpoonsupdown\) \rightharpoonsupdown rightwards harpoon with barb up above rightwards harpoon with barb down
• U+02965 ⥥ \(\downharpoonsleftright\) \downharpoonsleftright downwards harpoon with barb left beside downwards harpoon with barb right
• U+02966 ⥦ \(\leftrightharpoonsup\) \leftrightharpoonsup leftwards harpoon with barb up above rightwards harpoon with barbup
• U+02967 ⥧ \(\leftrightharpoonsdown\) \leftrightharpoonsdown leftwards harpoon with barb down above rightwards harpoon with barb down
• U+02968 ⥨ \(\rightleftharpoonsup\) \rightleftharpoonsup rightwards harpoon with barb up above leftwards harpoon with barbup
• U+02969 ⥩ \(\rightleftharpoonsdown\) \rightleftharpoonsdown rightwards harpoon with barb down above leftwards harpoon with barb down
• U+0296A ⥪ \(\leftharpoonupdash\) \leftharpoonupdash leftwards harpoon with barb up above long dash
• U+0296B ⥫ \(\dashleftharpoondown\) \dashleftharpoondown leftwards harpoon with barb down below long dash
• U+0296C ⥬ \(\rightharpoonupdash\) \rightharpoonupdash rightwards harpoon with barb up above long dash
• U+0296D ⥭ \(\dashrightharpoondown\) \dashrightharpoondown rightwards harpoon with barb down below long dash
• U+0296E ⥮ \(\updownharpoonsleftright\) \updownharpoonsleftright upwards harpoon with barb left beside downwards harpoon with barb right
• U+0296F ⥯ \(\downupharpoonsleftright\) \downupharpoonsleftright downwards harpoon with barb left beside upwards harpoon with barb right
• U+02970 ⥰ \(\rightimply\) \rightimply right double arrow with rounded head
• U+02971 ⥱ \(\equalrightarrow\) \equalrightarrow equals sign above rightwards arrow
• U+02972 ⥲ \(\similarrightarrow\) \similarrightarrow tilde operator above rightwardsarrow
• U+02973 ⥳ \(\leftarrowsimilar\) \leftarrowsimilar leftwards arrow above tilde operator
• U+02974 ⥴ \(\rightarrowsimilar\) \rightarrowsimilar rightwards arrow above tilde operator
• U+02975 ⥵ \(\rightarrowapprox\) \rightarrowapprox rightwards arrow above almost equal to
• U+02976 ⥶ \(\ltlarr\) \ltlarr less-than above leftwards arrow
• U+02977 ⥷ \(\leftarrowless\) \leftarrowless leftwards arrow through less-than
• U+02978 ⥸ \(\gtrarr\) \gtrarr greater-than above rightwards ar-row
• U+02979 ⥹ \(\subrarr\) \subrarr subset above rightwards arrow
• U+0297A ⥺ \(\leftarrowsubset\) \leftarrowsubset leftwards arrow through subset
• U+0297B ⥻ \(\suplarr\) \suplarr superset above leftwards arrow
• U+0297C ⥼ \(\leftfishtail\) \leftfishtail left fish tail
• U+0297D ⥽ \(\rightfishtail\) \rightfishtail right fish tail
• U+0297E ⥾ \(\upfishtail\) \upfishtail up fish tail
• U+0297F ⥿ \(\downfishtail\) \downfishtail down fish tail
• U+02982 ⦂ \(\typecolon\) \typecolon z notation type colon
• U+029CE ⧎ \(\rtriltri\) \rtriltri right triangle above left triangle
• U+029CF ⧏ \(\ltrivb\) \ltrivb left triangle beside vertical bar
• U+029D0 ⧐ \(\vbrtri\) \vbrtri vertical bar beside right triangle
• U+029D1 ⧑ \(\lfbowtie\) \lfbowtie left black bowtie
• U+029D2 ⧒ \(\rfbowtie\) \rfbowtie right black bowtie
• U+029D3 ⧓ \(\fbowtie\) \fbowtie black bowtie
• U+029D4 ⧔ \(\lftimes\) \lftimes left black times
• U+029D5 ⧕ \(\rftimes\) \rftimes right black times
• U+029DF ⧟ \(\dualmap\) \dualmap double-ended multimap
• U+029E1 ⧡ \(\lrtriangleeq\) \lrtriangleeq increases as
• U+029E3 ⧣ \(\eparsl\) \eparsl equals sign and slanted parallel
• U+029E4 ⧤ \(\smeparsl\) \smeparsl equals sign and slanted parallel with tilde above
• U+029E5 ⧥ \(\eqvparsl\) \eqvparsl identical to and slanted parallel
• U+029E6 ⧦ \(\gleichstark\) \gleichstark gleich stark
• U+029F4 ⧴ \(\ruledelayed\) \ruledelayed rule-delayed
• U+02A59 ⩙ \(\veeonwedge\) \veeonwedge logical or overlapping logical and
• U+02A66 ⩦ \(\eqdot\) \eqdot equals sign with dot below
• U+02A67 ⩧ \(\dotequiv\) \dotequiv identical with dot above
• U+02A68 ⩨ \(\equivVert\) \equivVert triple horizontal bar with double vertical stroke
• U+02A69 ⩩ \(\equivVvert\) \equivVvert triple horizontal bar with triple vertical stroke
• U+02A6A ⩪ \(\dotsim\) \dotsim tilde operator with dot above
• U+02A6B ⩫ \(\simrdots\) \simrdots tilde operator with rising dots
• U+02A6C ⩬ \(\simminussim\) \simminussim similar minus similar
• U+02A6D ⩭ \(\congdot\) \congdot congruent with dot above
• U+02A6E ⩮ \(\asteq\) \asteq equals with asterisk
• U+02A6F ⩯ \(\hatapprox\) \hatapprox almost equal to with circumflex accent
• U+02A70 ⩰ \(\approxeqq\) \approxeqq approximately equal or equal to
• U+02A73 ⩳ \(\eqqsim\) \eqqsim equals sign above tilde operator
• U+02A74 ⩴ \(\Coloneq\) \Coloneq double colon equal
• U+02A75 ⩵ \(\eqeq\) \eqeq two consecutive equals signs
• U+02A76 ⩶ \(\eqeqeq\) \eqeqeq three consecutive equals signs
• U+02A77 ⩷ \(\ddotseq\) \ddotseq equals sign with two dots above and two dots below
• U+02A78 ⩸ \(\equivDD\) \equivDD equivalent with four dots above
• U+02A79 ⩹ \(\ltcir\) \ltcir less-than with circle inside
• U+02A7A ⩺ \(\gtcir\) \gtcir greater-than with circle inside
• U+02A7B ⩻ \(\ltquest\) \ltquest less-than with question mark above
• U+02A7C ⩼ \(\gtquest\) \gtquest greater-than with question mark above
• U+02A7D ⩽ \(\leqslant\) \leqslant less-than or slanted equal to
• U+02A7E ⩾ \(\geqslant\) \geqslant greater-than or slanted equal to
• U+02A7F ⩿ \(\lesdot\) \lesdot less-than or slanted equal to with dot inside
• U+02A80 ⪀ \(\gesdot\) \gesdot greater-than or slanted equal to with dot inside
• U+02A81 ⪁ \(\lesdoto\) \lesdoto less-than or slanted equal to with dot above
• U+02A82 ⪂ \(\gesdoto\) \gesdoto greater-than or slanted equal to with dot above
• U+02A83 ⪃ \(\lesdotor\) \lesdotor less-than or slanted equal to with dot above right
• U+02A84 ⪄ \(\gesdotol\) \gesdotol greater-than or slanted equal to with dot above left
• U+02A85 ⪅ \(\lessapprox\) \lessapprox less-than or approximate
• U+02A86 ⪆ \(\gtrapprox\) \gtrapprox greater-than or approximate
• U+02A87 ⪇ \(\lneq\) \lneq less-than and single-line not equal to
• U+02A88 ⪈ \(\gneq\) \gneq greater-than and single-line not equal to
• U+02A89 ⪉ \(\lnapprox\) \lnapprox less-than and not approximate
• U+02A8A ⪊ \(\gnapprox\) \gnapprox greater-than and not approximate
• U+02A8B ⪋ \(\lesseqqgtr\) \lesseqqgtr less-than above double-line equal above greater-than
• U+02A8C ⪌ \(\gtreqqless\) \gtreqqless greater-than above double-line equal above less-than
• U+02A8D ⪍ \(\lsime\) \lsime less-than above similar or equal
• U+02A8E ⪎ \(\gsime\) \gsime greater-than above similar or equal
• U+02A8F ⪏ \(\lsimg\) \lsimg less-than above similar abovegreater-than
• U+02A90 ⪐ \(\gsiml\) \gsiml greater-than above similar above less-than
• U+02A91 ⪑ \(\lgE\) \lgE less-than above greater-than above double-line equal
• U+02A92 ⪒ \(\glE\) \glE greater-than above less-than above double-line equal
• U+02A93 ⪓ \(\lesges\) \lesges less-than above slanted equal above greater-than above slanted equal
• U+02A94 ⪔ \(\gesles\) \gesles greater-than above slanted equal above less-than above slanted equal
• U+02A95 ⪕ \(\eqslantless\) \eqslantless slanted equal to or less-than
• U+02A96 ⪖ \(\eqslantgtr\) \eqslantgtr slanted equal to or greater-than
• U+02A97 ⪗ \(\elsdot\) \elsdot slanted equal to or less-than with dot inside
• U+02A98 ⪘ \(\egsdot\) \egsdot slanted equal to or greater-than with dot inside
• U+02A99 ⪙ \(\eqqless\) \eqqless double-line equal to or less-than
• U+02A9A ⪚ \(\eqqgtr\) \eqqgtr double-line equal to or greater-than
• U+02A9B ⪛ \(\eqqslantless\) \eqqslantless double-line slanted equal to or less-than
• U+02A9C ⪜ \(\eqqslantgtr\) \eqqslantgtr double-line slanted equal to or greater-than
• U+02A9D ⪝ \(\simless\) \simless similar or less-than
• U+02A9E ⪞ \(\simgtr\) \simgtr similar or greater-than
• U+02A9F ⪟ \(\simlE\) \simlE similar above less-than above equals sign
• U+02AA0 ⪠ \(\simgE\) \simgE similar above greater-than above equals sign
• U+02AA1 ⪡ \(\Lt\) \Lt double nested less-than
• U+02AA2 ⪢ \(\Gt\) \Gt double nested greater-than
• U+02AA3 ⪣ \(\partialmeetcontraction\) \partialmeetcontraction double less-than with underbar
• U+02AA4 ⪤ \(\glj\) \glj greater-than overlapping less-than
• U+02AA5 ⪥ \(\gla\) \gla greater-than beside less-than
• U+02AA6 ⪦ \(\ltcc\) \ltcc less-than closed by curve
• U+02AA7 ⪧ \(\gtcc\) \gtcc greater-than closed by curve
• U+02AA8 ⪨ \(\lescc\) \lescc less-than closed by curve above slanted equal
• U+02AA9 ⪩ \(\gescc\) \gescc greater-than closed by curve above slanted equal
• U+02AAA ⪪ \(\smt\) \smt smaller than
• U+02AAB ⪫ \(\lat\) \lat larger than
• U+02AAC ⪬ \(\smte\) \smte smaller than or equal to
• U+02AAD ⪭ \(\late\) \late larger than or equal to
• U+02AAE ⪮ \(\bumpeqq\) \bumpeqq equals sign with bumpy above
• U+02AAF ⪯ \(\preceq\) \preceq precedes above single-line equals sign
• U+02AB0 ⪰ \(\succeq\) \succeq succeeds above single-line equals sign
• U+02AB1 ⪱ \(\precneq\) \precneq precedes above single-line not equal to
• U+02AB2 ⪲ \(\succneq\) \succneq succeeds above single-line not equal to
• U+02AB3 ⪳ \(\preceqq\) \preceqq precedes above equals sign
• U+02AB4 ⪴ \(\succeqq\) \succeqq succeeds above equals sign
• U+02AB5 ⪵ \(\precneqq\) \precneqq precedes above not equal to
• U+02AB6 ⪶ \(\succneqq\) \succneqq succeeds above not equal to
• U+02AB7 ⪷ \(\precapprox\) \precapprox precedes above almost equal to
• U+02AB8 ⪸ \(\succapprox\) \succapprox succeeds above almost equal to
• U+02AB9 ⪹ \(\precnapprox\) \precnapprox precedes above not almost equal to
• U+02ABA ⪺ \(\succnapprox\) \succnapprox succeeds above not almost equal to
• U+02ABB ⪻ \(\Prec\) \Prec double precedes
• U+02ABC ⪼ \(\Succ\) \Succ double succeeds
• U+02ABD ⪽ \(\subsetdot\) \subsetdot subset with dot
• U+02ABE ⪾ \(\supsetdot\) \supsetdot superset with dot
• U+02ABF ⪿ \(\subsetplus\) \subsetplus subset with plus sign below
• U+02AC0 ⫀ \(\supsetplus\) \supsetplus superset with plus sign below
• U+02AC1 ⫁ \(\submult\) \submult subset with multiplication sign below
• U+02AC2 ⫂ \(\supmult\) \supmult superset with multiplication sign below
• U+02AC3 ⫃ \(\subedot\) \subedot subset of or equal to with dot above
• U+02AC4 ⫄ \(\supedot\) \supedot superset of or equal to with dot above
• U+02AC5 ⫅ \(\subseteqq\) \subseteqq subset of above equals sign
• U+02AC6 ⫆ \(\supseteqq\) \supseteqq superset of above equals sign
• U+02AC7 ⫇ \(\subsim\) \subsim subset of above tilde operator
• U+02AC8 ⫈ \(\supsim\) \supsim superset of above tilde operator
• U+02AC9 ⫉ \(\subsetapprox\) \subsetapprox subset of above almost equal to
• U+02ACA ⫊ \(\supsetapprox\) \supsetapprox superset of above almost equal to
• U+02ACB ⫋ \(\subsetneqq\) \subsetneqq subset of above not equal to
• U+02ACC ⫌ \(\supsetneqq\) \supsetneqq superset of above not equal to
• U+02ACD ⫍ \(\lsqhook\) \lsqhook square left open box operator
• U+02ACE ⫎ \(\rsqhook\) \rsqhook square right open box operator
• U+02ACF ⫏ \(\csub\) \csub closed subset
• U+02AD0 ⫐ \(\csup\) \csup closed superset
• U+02AD1 ⫑ \(\csube\) \csube closed subset or equal to
• U+02AD2 ⫒ \(\csupe\) \csupe closed superset or equal to
• U+02AD3 ⫓ \(\subsup\) \subsup subset above superset
• U+02AD4 ⫔ \(\supsub\) \supsub superset above subset
• U+02AD5 ⫕ \(\subsub\) \subsub subset above subset
• U+02AD6 ⫖ \(\supsup\) \supsup superset above superset
• U+02AD7 ⫗ \(\suphsub\) \suphsub superset beside subset
• U+02AD8 ⫘ \(\supdsub\) \supdsub superset beside and joined by dash with subset
• U+02AD9 ⫙ \(\forkv\) \forkv element of opening downwards
• U+02ADA ⫚ \(\topfork\) \topfork pitchfork with tee top
• U+02ADB ⫛ \(\mlcp\) \mlcp transversal intersection
• U+02ADC ⫝̸ \(\forks\) \forks forking
• U+02ADD ⫝ \(\forksnot\) \forksnot nonforking
• U+02ADE ⫞ \(\shortlefttack\) \shortlefttack short left tack
• U+02ADF ⫟ \(\shortdowntack\) \shortdowntack short down tack
• U+02AE0 ⫠ \(\shortuptack\) \shortuptack short up tack
• U+02AE2 ⫢ \(\vDdash\) \vDdash vertical bar triple right turnstile
• U+02AE3 ⫣ \(\dashV\) \dashV double vertical bar left turnstile
• U+02AE4 ⫤ \(\Dashv\) \Dashv vertical bar double left turnstile
• U+02AE5 ⫥ \(\DashV\) \DashV double vertical bar double left turnstile
• U+02AE6 ⫦ \(\varVdash\) \varVdash long dash from left member of double vertical
• U+02AE7 ⫧ \(\Barv\) \Barv short down tack with overbar
• U+02AE8 ⫨ \(\vBar\) \vBar short up tack with underbar
• U+02AE9 ⫩ \(\vBarv\) \vBarv short up tack above short down tack
• U+02AEA ⫪ \(\barV\) \barV double down tack
• U+02AEB ⫫ \(\Vbar\) \Vbar double up tack
• U+02AEC ⫬ \(\Not\) \Not double stroke not sign
• U+02AED ⫭ \(\bNot\) \bNot reversed double stroke not sign
• U+02AEE ⫮ \(\revnmid\) \revnmid does not divide with reversed negation slash
• U+02AEF ⫯ \(\cirmid\) \cirmid vertical line with circle above
• U+02AF0 ⫰ \(\midcir\) \midcir vertical line with circle below
• U+02AF2 ⫲ \(\nhpar\) \nhpar parallel with horizontal stroke
• U+02AF3 ⫳ \(\parsim\) \parsim parallel with tilde operator
• U+02AF7 ⫷ \(\lllnest\) \lllnest stacked very much less-than
• U+02AF8 ⫸ \(\gggnest\) \gggnest stacked very much greater-than
• U+02AF9 ⫹ \(\leqqslant\) \leqqslant double-line slanted less-than orequal to
• U+02AFA ⫺ \(\geqqslant\) \geqqslant double-line slanted greater-than or equal to
• U+02B30 ⬰ \(\circleonleftarrow\) \circleonleftarrow left arrow with small circle
• U+02B31 ⬱ \(\leftthreearrows\) \leftthreearrows three leftwards arrows
• U+02B32 ⬲ \(\leftarrowonoplus\) \leftarrowonoplus left arrow with circled plus
• U+02B33 ⬳ \(\longleftsquigarrow\) \longleftsquigarrow long leftwards squiggle arrow
• U+02B34 ⬴ \(\nvtwoheadleftarrow\) \nvtwoheadleftarrow leftwards two-headed arrow withvertical stroke
• U+02B35 ⬵ \(\nVtwoheadleftarrow\) \nVtwoheadleftarrow leftwards two-headed arrow withdouble vertical stroke
• U+02B36 ⬶ \(\twoheadmapsfrom\) \twoheadmapsfrom leftwards two-headed arrow frombar
• U+02B37 ⬷ \(\twoheadleftdbkarrow\) \twoheadleftdbkarrow leftwards two-headed triple-dasharrow
• U+02B38 ⬸ \(\leftdotarrow\) \leftdotarrow leftwards arrow with dotted stem
• U+02B39 ⬹ \(\nvleftarrowtail\) \nvleftarrowtail leftwards arrow with tail with verti-cal stroke
• U+02B3A ⬺ \(\nVleftarrowtail\) \nVleftarrowtail leftwards arrow with tail with dou-ble vertical stroke
• U+02B3B ⬻ \(\twoheadleftarrowtail\) \twoheadleftarrowtail leftwards two-headed arrow withtail
• U+02B3C ⬼ \(\nvtwoheadleftarrowtail\) \nvtwoheadleftarrowtail leftwards two-headed arrow withtail with vertical stroke
• U+02B3D ⬽ \(\nVtwoheadleftarrowtail\) \nVtwoheadleftarrowtail leftwards two-headed arrow withtail with double vertical stroke
• U+02B3E ⬾ \(\leftarrowx\) \leftarrowx leftwards arrow through x
• U+02B3F ⬿ \(\leftcurvedarrow\) \leftcurvedarrow wave arrow pointing directly left
• U+02B40 ⭀ \(\equalleftarrow\) \equalleftarrow equals sign above leftwards arrow
• U+02B41 ⭁ \(\bsimilarleftarrow\) \bsimilarleftarrow reverse tilde operator above leftwards arrow
• U+02B42 ⭂ \(\leftarrowbackapprox\) \leftarrowbackapprox leftwards arrow above reverse almost equal to
• U+02B43 ⭃ \(\rightarrowgtr\) \rightarrowgtr rightwards arrow through greater-than
• U+02B44 ⭄ \(\rightarrowsupset\) \rightarrowsupset rightwards arrow through subset
• U+02B45 ⭅ \(\LLeftarrow\) \LLeftarrow leftwards quadruple arrow
• U+02B46 ⭆ \(\RRightarrow\) \RRightarrow rightwards quadruple arrow
• U+02B47 ⭇ \(\bsimilarrightarrow\) \bsimilarrightarrow reverse tilde operator above rightwards arrow
• U+02B48 ⭈ \(\rightarrowbackapprox\) \rightarrowbackapprox rightwards arrow above reverse almost equal to
• U+02B49 ⭉ \(\similarleftarrow\) \similarleftarrow tilde operator above leftwards arrow
• U+02B4A ⭊ \(\leftarrowapprox\) \leftarrowapprox leftwards arrow above almost equal to
• U+02B4B ⭋ \(\leftarrowbsimilar\) \leftarrowbsimilar leftwards arrow above reverse tildeoperator
• U+02B4C ⭌ \(\rightarrowbsimilar\) \rightarrowbsimilar righttwards arrow above reverse tilde operator

数式用グリフ

1. Miscellaneous
   • U+000F0 ð \(ð\) \(\matheth\) \matheth eth
   • U+02010 ‐ \(‐\) \(\mathhyphen\) \mathhyphen hyphen
   • U+02102 ℂ \(ℂ\) \(\BbbC\) \BbbC /bbb c, open face c
   • U+0210A ℊ \(ℊ\) \(\mscrg\) \mscrg /scr g, script letter g
   • U+0210B ℋ \(ℋ\) \(\mscrH\) \mscrH hamiltonian (script capital h)
   • U+0210C ℌ \(ℌ\) \(\mfrakH\) \mfrakH /frak h, upper case h
   • U+0210D ℍ \(ℍ\) \(\BbbH\) \BbbH /bbb h, open face h
   • U+0210F ℏ \(ℏ\) \(\hslash\) \hslash /hslash - variant planck’s over 2pi
   • U+02110 ℐ \(ℐ\) \(\mscrI\) \mscrI /scr i, script letter i
   • U+02111 ℑ \(ℑ\) \(\Im\) \Im imaginary part
   • U+02112 ℒ \(ℒ\) \(\mscrL\) \mscrL lagrangian (script capital l)
   • U+02113 ℓ \(ℓ\) \(\ell\) \ell cursive small l
   • U+02115 ℕ \(ℕ\) \(\BbbN\) \BbbN /bbb n, open face n
   • U+02118 ℘ \(℘\) \(\wp\) \wp weierstrass p
   • U+02119 ℙ \(ℙ\) \(\BbbP\) \BbbP /bbb p, open face p
   • U+0211A ℚ \(ℚ\) \(\BbbQ\) \BbbQ /bbb q, open face q
   • U+0211B ℛ \(ℛ\) \(\mscrR\) \mscrR /scr r, script letter r
   • U+0211C ℜ \(ℜ\) \(\Re\) \Re real part
   • U+0211D ℝ \(ℝ\) \(\BbbR\) \BbbR /bbb r, open face r
   • U+02124 ℤ \(ℤ\) \(\BbbZ\) \BbbZ /bbb z, open face z
   • U+02128 ℨ \(ℨ\) \(\mfrakZ\) \mfrakZ /frak z, upper case z
   • U+02129 ℩ \(℩\) \(\turnediota\) \turnediota turned iota
   • U+0212B Å \(Å\) \(\Angstrom\) \Angstrom angstrom capital a, ring
   • U+0212C ℬ \(ℬ\) \(\mscrB\) \mscrB bernoulli function (script capital b)
   • U+0212D ℭ \(ℭ\) \(\mfrakC\) \mfrakC black-letter capital c
   • U+0212F ℯ \(ℯ\) \(\mscre\) \mscre /scr e, script letter e
   • U+02130 ℰ \(ℰ\) \(\mscrE\) \mscrE /scr e, script letter e
   • U+02131 ℱ \(ℱ\) \(\mscrF\) \mscrF /scr f, script letter f
   • U+02133 ℳ \(ℳ\) \(\mscrM\) \mscrM physics m-matrix (script capital m)
   • U+02134 ℴ \(ℴ\) \(\mscro\) \mscro order of (script small o)
   • U+02135 א \(א\) \(\aleph\) \aleph aleph, hebrew
   • U+02136 ב \(ב\) \(\beth\) \beth beth, hebrew
   • U+02137 ג \(ג\) \(\gimel\) \gimel gimel, hebrew
   • U+02138 ד \(ד\) \(\daleth\) \daleth daleth, hebrew
   • U+0213D ℽ \(ℽ\) \(\Bbbgamma\) \Bbbgamma double-struck small gamma
   • U+0213E ℾ \(ℾ\) \(\BbbGamma\) \BbbGamma double-struck capital gamma
   • U+0213F ℿ \(ℿ\) \(\BbbPi\) \BbbPi double-struck capital pi
   • U+02202 ∂ \(∂\) \(\partial\) \partial partial differential
   • U+02207 ∇ \(∇\) \(\nabla\) \nabla nabla, del, hamilton operator
2. Normal weight, Upright Greek, uppercase
   • U+00391 Α \(Α\) \(\mupAlpha\) \mupAlpha capital alpha, greek
   • U+00392 Β \(Β\) \(\mupBeta\) \mupBeta capital beta, greek
   • U+00393 Γ \(Γ\) \(\mupGamma\) \mupGamma capital gamma, greek
   • U+00394 Δ \(Δ\) \(\mupDelta\) \mupDelta capital delta, greek
   • U+00395 Ε \(Ε\) \(\mupEpsilon\) \mupEpsilon capital epsilon, greek
   • U+00396 Ζ \(Ζ\) \(\mupZeta\) \mupZeta capital zeta, greek
   • U+00397 Η \(Η\) \(\mupEta\) \mupEta capital eta, greek
   • U+00398 Θ \(Θ\) \(\mupTheta\) \mupTheta capital theta, greek
   • U+00399 Ι \(Ι\) \(\mupIota\) \mupIota capital iota, greek
   • U+0039A Κ \(Κ\) \(\mupKappa\) \mupKappa capital kappa, greek
   • U+0039B Λ \(Λ\) \(\mupLambda\) \mupLambda capital lambda, greek
   • U+0039C Μ \(Μ\) \(\mupMu\) \mupMu capital mu, greek
   • U+0039D Ν \(Ν\) \(\mupNu\) \mupNu capital nu, greek
   • U+0039E Ξ \(Ξ\) \(\mupXi\) \mupXi capital xi, greek
   • U+0039F Ο \(Ο\) \(\mupOmicron\) \mupOmicron capital omicron, greek
   • U+003A0 Π \(Π\) \(\mupPi\) \mupPi capital pi, greek
   • U+003A1 Ρ \(Ρ\) \(\mupRho\) \mupRho capital rho, greek
   • U+003A3 Σ \(Σ\) \(\mupSigma\) \mupSigma capital sigma, greek
   • U+003A4 Τ \(Τ\) \(\mupTau\) \mupTau capital tau, greek
   • U+003A5 Υ \(Υ\) \(\mupUpsilon\) \mupUpsilon capital upsilon, greek
   • U+003A6 Φ \(Φ\) \(\mupPhi\) \mupPhi capital phi, greek
   • U+003A7 Χ \(Χ\) \(\mupChi\) \mupChi capital chi, greek
   • U+003A8 Ψ \(Ψ\) \(\mupPsi\) \mupPsi capital psi, greek
   • U+003A9 Ω \(Ω\) \(\mupOmega\) \mupOmega capital omega, greek
3. Normal weight, Upright Greek, lowercase
   • U+003B1 α \(α\) \(\mupalpha\) \mupalpha small alpha, greek
   • U+003B2 β \(β\) \(\mupbeta\) \mupbeta small beta, greek
   • U+003B3 γ \(γ\) \(\mupgamma\) \mupgamma small gamma, greek
   • U+003B4 δ \(δ\) \(\mupdelta\) \mupdelta small delta, greek
   • U+003B5 ε \(ε\) \(\mupvarepsilon\) \mupvarepsilon rounded small varepsilon, greek
   • U+003B6 ζ \(ζ\) \(\mupzeta\) \mupzeta small zeta, greek
   • U+003B7 η \(η\) \(\mupeta\) \mupeta small eta, greek
   • U+003B8 θ \(θ\) \(\muptheta\) \muptheta straight theta, small theta, greek
   • U+003B9 ι \(ι\) \(\mupiota\) \mupiota small iota, greek
   • U+003BA κ \(κ\) \(\mupkappa\) \mupkappa small kappa, greek
   • U+003BB λ \(λ\) \(\muplambda\) \muplambda small lambda, greek
   • U+003BC μ \(μ\) \(\mupmu\) \mupmu small mu, greek
   • U+003BD ν \(ν\) \(\mupnu\) \mupnu small nu, greek
   • U+003BE ξ \(ξ\) \(\mupxi\) \mupxi small xi, greek
   • U+003BF ο \(ο\) \(\mupomicron\) \mupomicron small omicron, greek
   • U+003C0 π \(π\) \(\muppi\) \muppi small pi, greek
   • U+003C1 ρ \(ρ\) \(\muprho\) \muprho small rho, greek
   • U+003C2 ς \(ς\) \(\mupvarsigma\) \mupvarsigma terminal sigma, greek
   • U+003C3 σ \(σ\) \(\mupsigma\) \mupsigma small sigma, greek
   • U+003C4 τ \(τ\) \(\muptau\) \muptau small tau, greek
   • U+003C5 υ \(υ\) \(\mupupsilon\) \mupupsilon small upsilon, greek
   • U+003C6 φ \(φ\) \(\mupvarphi\) \mupvarphi curly or open small phi, greek
   • U+003C7 χ \(χ\) \(\mupchi\) \mupchi small chi, greek
   • U+003C8 ψ \(ψ\) \(\muppsi\) \muppsi small psi, greek
   • U+003C9 ω \(ω\) \(\mupomega\) \mupomega small omega, greek
   • U+003D1 θ \(θ\) \(\mupvartheta\) \mupvartheta /vartheta - curly or open theta
   • U+003D5 φ \(φ\) \(\mupphi\) \mupphi /straightphi - small phi, greek
   • U+003D6 π \(π\) \(\mupvarpi\) \mupvarpi rounded small pi (pomega), greek
   • U+003DC Ϝ \(Ϝ\) \(\upDigamma\) \upDigamma capital digamma
   • U+003DD ϝ \(ϝ\) \(\updigamma\) \updigamma old greek small letter digamma
   • U+003F0 κ \(κ\) \(\mupvarkappa\) \mupvarkappa rounded small kappa, greek
   • U+003F1 ρ \(ρ\) \(\mupvarrho\) \mupvarrho rounded small rho, greek
   • U+003F4 Θ \(Θ\) \(\mupvarTheta\) \mupvarTheta greek capital theta symbol
   • U+003F5 ε \(ε\) \(\mupepsilon\) \mupepsilon greek lunate varepsilon symbol

通貨記号

Unicode では通貨記号が充実しているので、MathJax や KaTeX では部分的ウェブフォント回避の観点から、それらで上書きしてしまってもよいと考える。ちなみに、青色は MathJax, KaTeX でサポート。橙色以外は他所で提案済みコマンド名。

• U+00024 $ \(\char"0024\) \(\dollar\) \dollar Dollar sign
• U+020AC € \(\char"20AC\) \(\euro\) \euro Euro sign
• U+000A5 ¥ \(\char"00A5\) \(\yen\) \yen Yen sign
• U+000A2 ¢ \(\char"00A2\) \(\cent\) \cent Cent sign
• U+000A3 £ \(\char"00A3\) \(\pound\) \pound Pound sign
• U+020BD ₽ \(\char"20BD\) \(\ruble\) \ruble Ruble sign
• U+020A8 ₨ \(\char"20A8\) \(\rupee\) \rupee Rupee sign
• U+020A9 ₩ \(\char"20A9\) \(\won\) \won Won sign
• U+00E3F ฿ \(\char"0E3F\) \(\baht\) \baht Thai Currency Symbol Baht
• U+020BA ₺ \(\char"20BA\) \(\turkishlira\) \turkishlira Turkish Lira sign
• U+020AE ₮ \(\char"20AE\) \(\tugrik\) \tugrik Tugrik sign
• U+020B1 ₱ \(\char"20B1\) \(\peso\) \peso Peso sign
• U+020AD ₭ \(\char"20AD\) \(\kip\) \kip Kip sign
• U+020B4 ₴ \(\char"20B4\) \(\hryvnia\) \hryvnia Hryvnia sign
• U+020A6 ₦ \(\char"20A6\) \(\naira\) \naira Naira sign
• U+009F2 ৲ \(\char"09F2\) \(\bengalirupeemark\) \bengalirupeemark Bengali Rupee mark
• U+009F3 ৳ \(\char"09F3\) \(\bengalirupee\) \bengalirupee Bengali Rupee sign
• U+00AF1 ૱ \(\char"0AF1\) \(\gujaratirupee\) \gujaratirupee Gujarati Rupee sign
• U+00BF9 ௹ \(\char"0BF9\) \(\tamilrupee\) \tamilrupee Tamil Rupee sign
• U+0FDFC ﷼ \(\char"FDFC\) \(\rial\) \rial Rial sign
• U+020B9 ₹ \(\char"20B9\) \(\indianrupee\) \indianrupee Indian Rupee sign
• U+020B2 ₲ \(\char"20B2\) \(\guarani\) \guarani Guarani sign
• U+020AA ₪ \(\char"20AA\) \(\sheqel\) \sheqel New Sheqel sign
• U+020A1 ₡ \(\char"20A1\) \(\colonsign\) \colonsign Colon sign
• U+020AB ₫ \(\char"20AB\) \(\dong\) \dong Dong sign
• U+017DB ៛ \(\char"17DB\) \(\khmer\) \khmer Khmer Currency Symbol Riel
• U+020B5 ₵ \(\char"20B5\) \(\cedi\) \cedi Cedi sign
• U+020A2 ₢ \(\char"20A2\) \(\cruzeiro\) \cruzeiro Cruzeiro sign
• U+020B8 ₸ \(\char"20B8\) \(\tenge\) \tenge Tenge sign
• U+020A4 ₤ \(\char"20A4\) \(\lira\) \lira Lira sign
• U+020B3 ₳ \(\char"20B3\) \(\austral\) \austral Austral sign
• U+020A5 ₥ \(\char"20A5\) \(\mill\) \mill Mill sign
• U+020A0 ₠ \(\char"20A0\) \(\eurocurrency\) \eurocurrency Euro-Currency sign
• U+020A3 ₣ \(\char"20A3\) \(\franc\) \franc French Franc sign
• U+020B0 ₰ \(\char"20B0\) \(\penny\) \penny German Penny sign
• U+020A7 ₧ \(\char"20A7\) \(\peseta\) \peseta Peseta sign
• U+020AF ₯ \(\char"20AF\) \(\drachme\) \drachme Drachma sign
• U+020B6 ₶ \(\char"20B6\) \(\livretournois\) \livretournois Livre Tournois sign
• U+020B7 ₷ \(\char"20B7\) \(\spesmilo\) \spesmilo Spesmilo sign
• U+0060B ؋ \(\char"060B\) \(\afghani\) \afghani Afghani sign
• U+00191 Ƒ \(\char"0191\) \(\Florin\) \Florin Aruba Guilder
• U+00192 ƒ \(\char"0192\) \(\florin\) \florin Netherlands Antilles Guilder
• U+020BC ₼ \(\char"20BC\) \(\manat\) \manat Manat sign

但し、あくまで MathJax, KaTeX システムに頼らず Unicode を直接叩くので閲覧環境のフォント次第となることは改めて注意が必要である。例えば、上記の \rupee と \manat は手元では工夫をしなければ表示されなかった。その工夫は以下の通り。

/* HTML の head > style 内に以下を入れておく。*/
/* only for this article. consider better one for the others. */
body		{ font-family: "Source Serif Variable", "Noto Serif", serif; }
mjx-char	{ font-family: STIXGeneral, "Source Serif Variable", "Noto Serif", serif; }
mjx-utext	{ font-family: MJXZERO, "Source Serif Variable", "Noto Serif", serif !important; }
.katex		{ font-family: KaTeX_Main, "Times New Roman", "Source Serif Variable", "Noto Serif", serif; }

MathJax 等でサポートされるコマンド

未サポートなコマンドの実現方法

以下のようなマクロを定義しておけばよい（技術的に似たものは省略）。

\newcommand{\R}{\mathrm{R}}
\newcommand{\Cl}{\mathit{C\ell}}
%\newcommand{\stigma}{\htmlStyle{ font-style: italic; }{ϛ}} % for MathJax
\newcommand{\stigma}{\htmlStyle{ font-style: italic; }{ϛ}} % for KaTeX
\newcommand{\varcoppa}{ϙ}
\newcommand{\strut}{\phantom{\rule[3pt]{}{8.6pt}}}
%\newcommand{\mathstrut}{\vphantom{(}} % already defined in KaTeX
%\newcommand{\iddots}{{\kern3mu\raise1mu{.}\kern3mu\raise6mu{.}\kern3mu\raise12mu{.}}} % for MathJax
\newcommand{\iddots}{{\scriptsize{\cdot\>}^{\scriptsize{\cdot\>}^{\scriptsize{\cdot\>}}}}} % for KaTeX
\newcommand{\idotsint}{\int\!\cdots\!\int}
\newcommand{\bracevert}{\vert}	% use it with \middle
\newcommand{\overparen}{\overgroup}
\newcommand{\underparen}{\undergroup}
\newcommand{\mspace}{\kern}
\newcommand{\lower}[2]{\raise{-#1}{#2}}
\newcommand{\moveleft}[2]{\kern{-#1}\mathrlap{#2}\kern{#1}\phantom{#2}}
\newcommand{\moveright}[2]{\kern{#1}\mathrlap{#2}\kern{-#1}\phantom{#2}}
\newcommand{\prescript}{\phantom{{}^{#1}_{#2}}{}^{\mathllap{#1}}_{\mathllap{#2}}#3}
%\newcommand{\bigominus}{\mathop{\phantom{\rule{1em}{1em}}\moveleft{.5em}{\raise{.1em}{\mathclap{\bigcirc}\mathclap{-}}}}} % for MathJax
\newcommand{\bigominus}{\operatornamewithlimits{\phantom{\rule{1em}{1em}}\moveleft{.5em}{\raise{.1em}{\mathclap{\bigcirc}\mathclap{-}}}}} % for KaTeX
\newcommand{\ang}[1]{#1\degree}
\newcommand{\smiley}{😀}
\newcommand{\splitdfrac}[2]{\displaystyle{#1\hphantom{#2}\atop\hphantom{#1}#2}}
\newcommand{\splitfrac}[2]{\textstyle{\displaystyle{#1\hphantom{#2}}\atop\displaystyle{\hphantom{#1}#2}}}

KaTeX で未サポートの代替方法

以下のように他のコマンドで代替すればよい。

\abovewithdelims	\[{x\abovewithdelims . | 1.5pt y}_z\]		% for MathJax
use \genfrac		\[\genfrac{.}{|}{1.5pt}{}{x}{y}_z\]		% for KaTeX

\atopwithdelims		\[{x\atopwithdelims . | y}_z\]			% for MathJax
use \genfrac		\[\genfrac{.}{|}{0pt}{}{x}{y}_z\]		% for KaTeX

\buildrel		\[\buildrel \rm def \over {:=}\]		% for MathJax
use \stackrel		\[\stackrel{\rm def}{:=}\]			% for KaTeX

\overwithdelims		\[{x\overwithdelims . | y}_z\]			% for MathJax
use \genfrac		\[\genfrac{.}{|}{}{}{x}{y}_z\]			% for KaTeX

\skew{n}		\[\dot{Ŭ}.\implies\skew{7}\dot{Ŭ}.\]		% for MathJax
use \kern{-1mu}		\[\dot{Ŭ}.\implies\dot{\kern{-1mu}Ŭ}.\]		% for KaTeX

\unicode{x9ABC}	\[\unicode{x9ABC}\]				% for MathJax
use \char"9ABC	\[\char"9ABC\]					% for KaTeX

KaTeX の minRuleThickness オプションの試験

この KaTeX オプションは以下にあげる棒線が太い MathJax v2 に似せるか、細い MathJax に似せるかのためにあるものと想像するが、試験環境として残しておく。

既定値だと、言われてみれば少し細すぎるのかもしれない。ここでは KaTeX にて 0.06 あたりにしてある。

KaTeX の rule コマンドの試験

KaTeX では幅ゼロの \rule は可能だが、 \[\therefore\rule[.5em]{0em}{1em}\because\qquad\verb|\therefore\rule[.5em]{0em}{1em}\because|\] 高さゼロの \rule は実現できない。KaTeX だと以下は細い横棒が見えてしまう。 \[\therefore\rule[.5em]{1em}{0em}\because\qquad\verb|\therefore\rule[.5em]{1em}{0em}\because|\] とは言え、幅ゼロの活用はよくあるが、高さゼロの活用はなぜか見たことがないので問題ないのかもしれない。必要なら以下のように \phantom で囲って見えなくしてしまえばいいだろう。 \[\therefore\phantom{\rule[.5em]{1em}{0em}}\because\qquad\verb|\therefore\rule[.5em]{1em}{0em}\because|\]

MathJax v2 の設定

数式コマンドを揃える

\cancel コマンド

\color, \colorbox コマンド

MathJax では白抜きができないと思っていたが、もしかしたら勘違いかもしれない。そして少なくとも MathJax v2 では白抜きができていない。

\xtwoheadrightarrow, \xtwoheadleftarrow, \xlongequal, \xmapsto, \xtofrom 及び、非公式 \Newextarrow コマンド

\ce コマンド

{CD} 環境

足りないと思ったけど AMSmath.js, AMSsymbols.js あたりは既定で導入されているのだと思う。よって、以下のようにすればよい。

MathJax.Hub.Config({
  TeX: {
    extensions: [
      /*"AMSmath.js",
      "AMSsymbols.js",*/
      "AMScd.js",
      "cancel.js",
      "color.js",
      "extpfeil.js",
      "mhchem.js",
      "mediawiki-texvc.js",
    ],
	:

その他の MathJax v2 で実現可能なコマンド

既に述べてあることに重複するので例は示さないが、以下のコマンドで「*」アスタリスクのついていないものは実現可能である。

1. \coloneq
2. \Coloneq
3. \coloneqq
4. \Coloneqq
5. \colonsim
6. \Colonsim
7. \colonapprox
8. \Colonapprox
9. \eqcolon
10. \Eqcolon
11. \eqqcolon
12. \Eqqcolon
13. \bigtimes
14. \bra
15. \ket
16. \mathllap
17. \mathrlap
18. \mathclap*
19. \mathmbox
20. \ndownarrow
21. \nuparrow
22. \prescript
23. \splitdfrac
24. \splitfrac
25. \textup
26. {matrix*}*
27. {rcases}*

具体的にはマウスホバーして得られるマクロ定義を参照のこと。

フォントが日本語向きじゃない

以下のようにすればよい。

MathJax.Hub.Config({
  'SVG': { // config=TeX-AMS_SVG
    undefinedFamily:	`\
'Hiragino Mincho ProN', \
'Hiragino Mincho Pro', \
'Noto Serif Japanese', \
'Source Han Serif JP', \
'Noto Serif CJK JP', \
'Noto Serif JP', \
'YuMincho', \
'TakaoMjMincho', \
'IPAmjMincho', \
'TakaoExMincho', \
'IPAexMincho', \
'BIZ UDPMincho', \
'Yu Mincho', \
'TakaoPMincho', \
'IPAPMincho', \
'MS PMincho', \
STIXGeneral, \
'Source Serif Variable', \
'Noto Serif', \
serif`,
  },
  'HTML-CSS': { // config=TeX-AMS_HTML
    availableFonts: [ /*'STIXGeneral', */'TeX', ],
    undefinedFamily:	`\
'Hiragino Mincho ProN', \
'Hiragino Mincho Pro', \
'Noto Serif Japanese', \
'Source Han Serif JP', \
'Noto Serif CJK JP', \
'Noto Serif JP', \
'YuMincho', \
'TakaoMjMincho', \
'IPAmjMincho', \
'TakaoExMincho', \
'IPAexMincho', \
'BIZ UDPMincho', \
'Yu Mincho', \
'TakaoPMincho', \
'IPAPMincho', \
'MS PMincho', \
STIXGeneral, \
'Source Serif Variable', \
'Noto Serif', \
serif`,
  },
  CommonHTML: { // config=TeX-MML-AM_CHTML
    undefinedFamily:	`\
'Hiragino Mincho ProN', \
'Hiragino Mincho Pro', \
'Noto Serif Japanese', \
'Source Han Serif JP', \
'Noto Serif CJK JP', \
'Noto Serif JP', \
'YuMincho', \
'TakaoMjMincho', \
'IPAmjMincho', \
'TakaoExMincho', \
'IPAexMincho', \
'BIZ UDPMincho', \
'Yu Mincho', \
'TakaoPMincho', \
'IPAPMincho', \
'MS PMincho', \
STIXGeneral, \
'Source Serif Variable', \
'Noto Serif', \
serif`,
  },
	:

矢印などの記号が着色絵文字になってしまう

厄介なことに WordPress では絵文字をなんとしてでも表示させようとして、VS16 (Variation Selector 16) が付記されていなくても文字を絵文字画像にしてしまうお節介な機能がある。数式では矢印などは多用することから \updownallow, \blacktriangleleft, \blacktriangleright, \swarrow などが絵文字になってしまうのは極めて不自然な事態となる。

そこで、数式中の VS15〜16 が明示的に付記されていないこれらの文字には VS15 を明示的に付記する処理が必要になる。

モノクロ絵文字がカラー絵文字になってしまう

前節と結果は同じなのだが、VS15 (Variation Selector 15) が付記されているのに着色絵文字になってしまう問題が KaTeX には存在する。これは VS15 を除去してしまうことに起因する。

真っ当な対処としては KaTeX を修正することであるが、拙速には数式のレンダリング後に VS15 を付記してしまうことも一考かもしれない。

「⋱」U+22F1 の右下がり省略記号 \ddots と「⋰」U+22F0 の右上がり省略記号 \adots

右下がり省略記号は行列の要素によく使われるが、他のこれらの具体的な使用場面を紹介する。

この \(\iddots\) \iddots の実装は MathJax では以下の通りである。

\newcommand{\iddots}{{\kern3mu\raise1mu{.}\kern3mu\raise6mu{.}\kern3mu\raise12mu{.}}}

これを KaTeX で実装しようとすると未サポートの \raise コマンドの代わりに \raisebox を使うしかない。

\newcommand{\iddots}{{\kern{3mu}\raisebox{1mu}{.}\kern{3mu}\raisebox{6mu}{.}\kern{3mu}\raisebox{12mu}{.}}}

しかし、KaTeX の \raisebox は \scriptstyle などの表示形式に追従しない問題がある。では、表示形式に対応した先の拙作 \raise で実現してみよう。

\newcommand{\iddots}{{\kern{3mu}\raise{1mu}{.}\kern{3mu}\raise{6mu}{.}\kern{3mu}\raise{12mu}{.}}}

すると、em, ex, mu の単位にカレントのフォントサイズに応じていない問題が顕になる。これは流石に治したいバグだ。よって、次の泥臭いマクロを使う。

\newcommand{\iddots}{{\scriptsize{\cdot\>}^{\scriptsize{\cdot\>}^{\scriptsize{\cdot\>}}}}}

実際にはさらに泥臭く調整をしている。

前者はかつて提案された TeX の機能でピリオドの組み合わせで構成された記号「\(\iddots\)」\iddots で、後者は Unicode で定義されている「⋰」U+22F0 (up right diagonal ellipsis) である。unicode-math では \(\adots\) \adots として定義されている。

各々に右肩上付きと左肩上付きのパターンがあり、さらに MathJax, KaTeX それぞれに微調整が必要になるが、一応許容範囲のタイプセットができているように思われる。ここでは他にも Unicode で代替した記号を試みており、以下にそれらをまとめておく。

ブラウザフォントにシビアなグリフ

ブラウザのフォント設定によって、むしろ大抵の場合、表示されないであろうグリフの一部をここにまとめておく。この他にも Unicode の追加多言語面の絵文字の後ろに定義されている記号などは対応しているフォントは稀である。

• U+20BD ₽ \(\ruble\) \ruble ruble sign

流石に通貨記号はどのフォントでも安定して定義しておいて欲しいものである。

紛らわしいグリフ

TeX の古にはフォントのグリフにも不自由していたので、似た形状のグリフで代用して紙媒体に印刷して凌ぐことは当たり前だった。しかし、昨今は紙媒体ではなく例えば PDF 形式のまま情報伝達され、かつ、「コピペ」した段階でも「形状」ではなく「意味」として情報交換用コードが維持される時代である。よって、グリフの代用は意味づけが誤ったまま伝達され続ける恐れがあり、グリフの「意味」を極力配慮する必要があると考える。以下に紛らわしいグリフをあげておくので形が似ているからといって適当に凌ごうとせずに正しいグリフを選ぶことを心掛けよう。その見地では TeX コマンド名には「意味」が込められていることが多いので良い命名のコマンドはその一助となると言える。但し、ほぼ同じ意味のグリフもあげているので局所にはいずれかに統一して使うことにも配慮できるだろう。

• U+00D8 Ø \(\O\) \O Latin capital letter o with stroke, not \(\emptyset\) \emptyset, also
  U+00F8 ø \(\o\) \o Latin small letter o with stroke, nor below
  U+2205 ∅ \(\varnothing\) \varnothing empty set
• U+00B0 ° \(\degree\) \degree degree sign, not below
  U+02DA ˚ \(\symbol{02DA}\) \symbol{02DA} ring above
• U+00A6 ¦ \(\brokenbar\) \brokenbar broken bar, not below
  U+007C | \(\textbar\) \textbar vertical line, nor below
  U+2223 ∣ \(|\) | divides
• U+203E ‾ \(\symbol{203E}\) \symbol{203E} overline, not below
  U+00AF ¯ \(\textasciimacron\) \textasciimacron macron
• U+2A3F ⨿ \(\amalg\) \amalg amalgamation or coproduct, not below
  U+2210 ⨿ \(\coprod\) \coprod n-ary coproduct, nor \(\bigsqcup\) \bigsqcup, nor ⨆ \symbol{2A06} n-ary square union operator
• U+29BC ⦼ \(\odotslashdot\) \odotslashdot circled anticlockwise-rotated division sign, not below
  U+2A38 ⨸ \(\odiv\) \odiv circled division sign
• U+24B8 Ⓒ \(\circledC\) \circledC circled Latin capital letter c, not below
  U+1F12B 🄫 \(\symbol{1F12B}\) \symbol{1F12B} circled italic Latin capital letter c, nor below
  U+00A9 © \(\copyright\) \copyright copyright sign
• U+24C7 Ⓡ \(\circledR\) \circledR circled Latin capital letter r, not below
  U+1F12C 🄬 \(\symbol{1F12C}\) \symbol{1F12C} circled italic Latin capital letter r, nor below
  U+00AE ® \(\registered\) \registered registered sign
• U+24C5 Ⓟ \(\circledP\) \circledP circled Latin capital letter p, not below
  U+2117 ℗ \(\phonogram\) \phonogram sound recording copyright
• U+24C2 Ⓜ \(\circledM\) \circledM circled Latin capital letter m, not below
  U+1F1AD 🆭 \(\maskwork\) \maskwork mask work symbol
• U+0251 ɑ \(\htit{\symbol{0251}}\) \symbol{0251} Latin small letter alpha, not below
  U+03B1 α \(\alpha\) \alpha Greek small letter alpha
• U+03D0 ϐ \(\htit{\symbol{03D0}}\) \symbol{03D0} Greek beta symbol, not below
  U+03B2 β \(\beta\) \beta Greek small letter beta
• U+1D26 ᴦ \(\htit{\symbol{1D26}}\) \symbol{1D26} Greek letter small capital gamma, not below
  U+03B3 γ \(\gamma\) \gamma Greek small letter gamma
• U+1E9F ẟ \(\htit{\symbol{1E9F}}\) \symbol{1E9F} Latin small letter delta, not below
  U+03B4 δ \(\delta\) \delta Greek small letter delta
• U+01B1 Ʊ \(\htit{\symbol{01B1}}\) \symbol{01B1} Latin capital letter upsilon, not below
  U+2127 ℧ \(\mho\) \mho inverted ohm sign
• U+1D2A ᴪ \(\htit{\symbol{1D2A}}\) \symbol{1D2A} Greek letter small capital psi, not below
  U+03C8 ψ \(\psi\) \psi Greek small letter psi, nor ⫝̸ \symbol{2ADC} forking, ⫝ \symbol{2ADD} nonforking, nor \(\pitchfork\), \(\topfork\) \pitchfork, \topfork
• U+03F6 ϶ \(\backepsilon\) \backepsilon Greek reversed lunate epsilon symbol, not below
  U+220D ∍ \(\smallni\) \smallni small contains as member, nor below U+2108 ℈ \(\scruple\) \scruple scruple, nor \(\ni\) \ni contains as member
• U+2107 ℇ \(\Eulerconst\) \Eulerconst Euler constant, not below
  U+03B5 ε \(\varepsilon\) \varepsilon Greek small letter epsilon, nor below
  U+220A ∊ \(\smallin\) \smallin small element of, nor \(\in\) \in
• U+00B5 µ \(\micro\) \micro micro sign
  U+03BC μ \(\mu\) \mu Greek small letter mu
• U+210E ℎ \(\Planckconst\) \Planckconst Planck constant, not below
  U+0068 h \(h\) h Latin small letter h
• U+039F Ο \(\Omicron\) \Omicron Greek capital letter omicron, not below
  U+004F O \(O\) O Latin capital letter o
• U+03BF ο \(\omicron\) \omicron Greek small letter omicron, not below
  U+006F o \(o\) o Latin small letter o

ここで、MathJax, KaTeX で Unicode のコードポイントの指定方法が異なり煩わしいので、以下を双方に定義しておくとよいかもしれない。

\newcommand{\symbol}[1]{\unicode{x#1}} % for MathJax
\newcommand{\symbol}[1]{\char"#1} % for KaTeX

混同しても許容範囲のグリフもあるが、閲覧環境のフォントによっても、ほとんど見分けがつかないグリフもあるので、特に「コピペ」などしたときには誤りを継承しないように注意されたい。

但し、TeX において例えば \(\epsilon\) \epsilon に対する \(\varepsilon\) \varepsilon などは \var* による命名により区別しやすいので、ここには載せていない。

稀に必要になり探すことになるグリフ

以上のすべてを踏まえた上で、多少重なる事項はあるものの、稀に使い分けたり必要になったり明確に区別して使用したりするグリフを列挙しておく。使用する TeX システムで未定義グリフであれば必要に応じてマクロ等で活用されたい。

ここでは、以下のマクロでフォントのスタイルをそれぞれ明示している。

\newcommand{\htit}[1]{\htmlStyle{ font-style: italic; }{#1}}
\newcommand{\htrm}[1]{\htmlStyle{ font-style: normal; }{#1}}

まとめ

MathJax よりも KaTeX の方が軽快であるし、コマンドのサポートも充実していると思っていたが、改めて KaTeX の方が優れていると感じている。

しかし、よく比較してみると MathJax の方が手堅く実装されており一日の長が確かにある、という印象も得られている。

そもそも、例えば、Pages でたまたま上手く表現できていた数式をそのまま TeX などにペーストしても、意図した通りにならないことが往々にしてあり得ることに注意すべきだ。

最後に、MathJax, KaTeX ともに本稿を執るにあたって大変な数のマクロを定義している。意図した通りに定義されているのか、定義を敢えて外してあるのか、すべてを確認するために緑色で実際に定義されているマクロをマウスホバーでポップアップするようにしておいたが、本稿の記述と敢えて多少異なっている箇所もあるかもしれない。

参考文献

1. D. Harvey and G. V. Assche, “\blah{TeX},” http://gva.noekeon.org/blahtexml/blahtexml-0.9-doc.pdf, 2010. Pages 他で内部で使用されている.
2. W. Robertson, “Symbols defined by unicode-math,” https://ftp.kddilabs.jp/CTAN/macros/unicodetex/latex/unicode-math/unimath-symbols.pdf, 2020.
3. Publications Technical Group, “User’s Guide to AMSFonts,” https://ftp.yz.yamagata-u.ac.jp/pub/CTAN/fonts/amsfonts/doc/amsfndoc.pdf, AMS, 2002.
4. The MathJax Consortium, “MathJax TeX and LaTeX support,” https://docs.mathjax.org/en/v2.7-latest/tex.html, 2018.
5. Khan Academy et al., KaTeX, “Supported Functions,” https://katex.org/docs/supported.html, 2021.
6. Carol JVF Burns, 日本語訳「MathJax で利用可能な TeX コマンド（非公式）」, 日本語訳「MathJax で使用できる TeX コマンドの構文」2017.
7. Wikipedia Help, 「数式の表示」, https://meta.wikimedia.org/wiki/Help:Displaying_a_formula/ja, 2021 閲覧.
8. アメリカ数学会, 「はやわかり LaTeX で数式組版（日本語訳）」, https://www.latex-project.org/help/documentation/short-math-guide_jpn.pdf, 2018.
9. Taiji Yamada, 「TeX コマンド・チートシート」, https://www.aihara.co.jp/~taiji/lecture/TeX-commands.pdf, 2021.
10. Taiji Yamada, 「Pages などにおける TeX コマンドのコツ」, https://www.icloud.com/pages/0sT9BCSfmlfgVik79iTMHQwCA#TipsPagesTeX, 2021.
11. Taiji Yamada, “Unix Tips,” https://www.aihara.co.jp/~taiji/unix-tips/, 2021. 左肩上付きの数式について.
12. Taiji Yamada, “Converters,” https://www.aihara.co.jp/~taiji/browser-security/js/converters/index.ja.html, 2021. 単位換算について.
13. Taiji Yamada, 「グリフ」, https://www.aihara.co.jp/~taiji/browser-security/js/glyphs.html, 2021.
14. NetAdvance Inc., 「国際単位系 (SI)」, https://japanknowledge.com/contents/common/si.html, JapanKnowledge, 2021.
15. 森口 重一, 宇田川 銈久, 一松 信, 「数学公式 Ⅱ 級数・フーリエ解析」, 岩波書店, 1957.
16. The MathJax Consortium, “mathtools Commands,” https://docs.mathjax.org/en/latest/input/tex/extensions/mathtools.html#mathtools-commands, 2021.
17. M. Høgholm, L. Madsen and the LATEX3 project, “The mathtools package,” https://texdoc.org/serve/mathtools.pdf/0, 2021.
18. The MathJax Consortium, “textmacros,” https://docs.mathjax.org/en/latest/input/tex/extensions/textmacros.html, 2021.
19. M. Frank and M. Goossens, “The LaTeX Companion,” https://books.google.co.jp/books?id=iX9MAQAAQBAJ, 2003.
20. P. G. Ratcliffe, “The tensor package for LaTeX2ε,” https://ftp.yz.yamagata-u.ac.jp/pub/CTAN/macros/latex/contrib/tensor/tensor.pdf, 2004.
21. M. Schubotz, “The texvc package,” https://ftp.kddilabs.jp/CTAN/macros/latex/contrib/texvc/texvc.pdf, 2018.
22. S. Pakin, “The Comprehensive LaTeX Symbol List,” http://tug.ctan.org/info/symbols/comprehensive/symbols-a4.pdf, 2021.
23. The MathJax Consortium, “output/chtml/fonts/tex.ts,” https://github.com/mathjax/MathJax-src/blob/master/ts/output/chtml/fonts/tex.ts, 2021 閲覧.
24. CTAN, “lm-math,” https://ctan.org/tex-archive/fonts/lm-math, 2021 閲覧.
25. Microsoft, “Cambria font family,” https://docs.microsoft.com/en-us/typography/font-list/cambria, 2021 閲覧.
26. Microsoft, “Cambria Math font family,” https://docs.microsoft.com/en-us/typography/font-list/cambria-math, 2021 閲覧.
27. Google Fonts, “Caladea,” https://fonts.google.com/specimen/Caladea, 2021 閲覧.
28. CTAN, “stix,” https://ctan.org/pkg/stix/, 2021 閲覧.
29. CTAN, “stix2-otf,” https://ctan.org/pkg/stix2-otf/, 2021 閲覧.
30. CTAN, “xits,” https://ctan.org/pkg/xits/, 2021 閲覧.
31. CTAN, “tex-gyre,” https://ctan.org/pkg/tex-gyre/, 2021 閲覧.