TeX とはドナルド・クヌース氏の著書「TeXbook」の理論に基づく数学および科学文献のレイアウト用言語の総称で,主に学術論文など数式が配された文書の見栄えを良くする目的で作られ,数学記号の配置位置や間隔など様々なルールが盛り込まれています。つまりは,この言語を用いると印刷所の写植に出した際のような理想的な数式表示が期待できることから,組版もしくは清書言語とも呼ばれます。実に簡潔かつ平易なスタイルの言語で,特に専門的なコンピュータの知識やプログラム言語の知識を必要としないことから,パソコンは初心者という方でも習得するのはさして難しいことではありません。ドナルド・クヌース氏が自身の理論を具現化したのが,Plain TeX と呼ばれるフォーマットです。Plain TeX はフォントサイズに制限があるなど,実用性の面で難点がありました。このため,今日主流となっているLaTeX
などの発展型フォーマットが登場しました。しばしばTeX にはマクロが無く,LaTeX
で初めてマクロが追加されたかのように言われていますが,クヌース氏のPlain TeX にもマクロは組み込まれており,それは他のTeX フォーマットにも踏襲されています。
TeX の読み
TeX はギリシャ文字のタウ,イプシロン,カイの組み合わせのため,日本では一般的にギリシャ語読みの「テフ」と呼ばれていますが,英語圏では大多数が「テック」と呼びます。Plain-,AmS-,La- といった非ギリシャ語との組み合わせにおいては,後者の呼び名が自然に感じられますし,とりわけ海外での学術交流の際も役立つはずです。
LaTeX
TeX のフォーマットで最も普及しているのがLaTeX
で,一般的にTeX のコードといえば,おおかたLaTeX
のそれを指しています。またLaTeX
にはバージョンがあり,多くのケースで2.0.9 が使用されています。実は最新バージョンはLaTeX
2.0.9 をベースにした部分改良型のLaTeX
2e で,これが近く発表が予定されているLaTeX
3 までの繋ぎと考えられています。したがってLaTeX
2e はMathType の[切り取り/コピーの設定]ダイアログの[LaTeX
2.0.9 and later]にも該当します。一時は独自の規格を打ち出したアメリカ数学会もLaTeX
2e への切り換えを推奨しています。(ちなみに英語圏では一般的に「ラテック」あるいは「レイテック」と呼ばれます。)
TeX の数学記号
数学は古典ではなく,進化を続ける学問なので,それに用いられる記号も新たに作り出されてもいます。多くの研究者はTeX を使用しているので,それらの記号の大多数がTeX を使って表現できます。簡単に表現できない独創的な記号は,METAFONT というプログラムで,TeX 用の外字として作成することも可能ですが,簡単な合字であれば,通常のTeX の構文だけで表現できるものもあります。MathType には,数式に用いられるほとんどの記号をフォントとして有していますが,TeX による直接入力にも対応しているので,フォントの中にない記号も(TeX で表現できる限り)使用することができます。
記号 (右はMathJax での表示用)
|
意 味
|
TeX
|
|
![](images/apprch_lmt.png) \(\doteq\)
|
同形(ほぼ等しい)
|
\doteq
|
![](images/asymp_eql.png) \(\simeq\)
|
漸進的に等しい
|
\simeq
|
![](images/because_snc.png) \(\because\)
|
理由・根拠
|
\because
|
![](images/blackboard_C.gif) \(\mathbb{C}\)
|
シー(複素数の全体)
|
\mathbb{C}
|
![](images/blackboard_n.png) \(\mathbb{N}\)
|
エヌ(自然数の全体)
|
\mathbb{N}
|
![](images/blackboard_q.png) \(\mathbb{Q}\)
|
キュー(有理数の全体)
|
\mathbb{Q}
|
![](images/blackboard_r.png) \(\mathbb{R}\)
|
アール(実数の全体)
|
\mathbb{R}
|
![](images/blackboard_z.png) \(\mathbb{Z}\)
|
整数の全体
|
\mathbb{Z}
|
![](images/circle_dot.png) \(\odot\)
|
丸中点演算子
|
\odot
|
![](images/composition.png) \(\circ\)
|
まる(合成写像)
|
\circ
|
![](images/contain_subgr.png) \(\vartriangleright\)
|
正規部分群として含む
|
\vartriangleright
|
![](images/delta_eql.png) \(\triangleq\)
|
〜として定義する
|
\triangleq
|
![](images/w_intrsctn.gif) \(\Cap\)
|
二重インターセクション
|
\Cap
|
![](images/w_union.gif) \(\Cup\)
|
二重ユニオン
|
\Cup
|
![](images/dwn_r_ellips.png) \(\ddots\)
|
ドット右下がり
|
\ddots
|
![](images/horiz_ellips.png) \(\dots\)
|
ドット下
|
\dots
|
![](images/intersection.png) \(\bigcap\)
|
かつ, インターセクション, 積集合
|
\bigcap
|
![](images/intersection2.png) \(\cap\)
|
かつ, インターセクション, 積集合
|
\cap
|
![](images/invert_ohm.png) \(\mho\)
|
モー
|
\mho
|
![](images/math_axis_ellips.png) \(\cdots\)
|
ドット中央
|
\cdots
|
![](images/msrd_angl.png) \(\measuredangle\)
|
計測済角
|
\measuredangle
|
![](images/mid_dot.png) \(\cdot\)
|
ミディアムドット演算子, 乗法
|
\cdot
|
![](images/minus_plus.png) \(\mp\)
|
負または正符号
|
\mp
|
![](images/much_greater.png) \(\gg\)
|
非常に大きい
|
\gg
|
![](images/much_less.png) \(\ll\)
|
非常に小さい, 絶対連続
|
\ll
|
![](images/n_ary_copro.png) \(\coprod\)
|
集合としての直和
|
\coprod
|
![](images/normal_subgr.png) \(\vartriangleleft\)
|
〜の正規部分群
|
\vartriangleleft
|
![](images/ne_arrow.png) \(\nearrow\)
|
右上向矢印
|
\nearrow
|
![](images/nw_arrow.png) \(\nwarrow\)
|
左上向矢印
|
\nwarrow
|
![](images/parallel_to.png) \(\parallel\)
|
並行
|
\parallel
|
![](images/planck_2_pi.png) \(\hbar\)
|
エイチバー
|
\hbar
|
![](images/precedes.png) \(\prec\)
|
〜より好まれない
|
\prec
|
![](images/r_harpoon_l.png) \(\rightleftharpoons\)
|
銛型右矢印・銛型左矢印
|
\rightleftharpoons
|
![](images/rws_arrow_bar.png) \(\mapsto\)
|
〜から(元の対応)
|
\mapsto
|
![](images/rws_arrow_lws.png) \(\rightleftarrows\)
|
右矢印左矢印
|
\rightleftarrows
|
![](images/small_l.png) \(\ell\)
|
エル, リットル
|
\ell
|
![](images/se_arrow.png) \(\searrow\)
|
右下向矢印
|
\searrow
|
![](images/sw_arrow.png) \(\swarrow\)
|
左下向矢印
|
\swarrow
|
![](images/spherical_angl.png) \(\sphericalangle\)
|
スヘリカルアングル
|
\sphericalangle
|
![](images/succeeds.png) \(\succ\)
|
〜より好まれる
|
\succ
|
![](images/tilde.png) \(\sim\)
|
ティルド演算子, 相似
|
\sim
|
![](images/up_dwn_arrow.png) \(\updownarrow\)
|
上下矢印
|
\updownarrow
|
![](images/up_dwn_w_arrow.png) \(\Updownarrow\)
|
上下両矢印
|
\Updownarrow
|
![](images/vertical_ellips.png) \(\vdots\)
|
ドット縦
|
\vdots
|
![](images/wht_circle.png) \(\bigcirc\)
|
円
|
\bigcirc
|
![](images/wht_square.png) \(\square\)
|
正方形
|
\square
|
![](images/wht_up_triangle.png) \(\triangle\)
|
三角形, デルタ
|
\triangle
|
![](images/alef.png) \(\aleph\)
|
アレフ(連続体濃度)
|
\aleph
|
![](images/almost_eql.png) \(\approx\)
|
同形(ほぼ等しい)
|
\approx
|
![](images/angle.png) \(\angle\)
|
角
|
\angle
|
![](images/approx_eql.png) \(\cong\)
|
同形(ほぼ等しい)
|
\cong
|
![](images/asterisk.png) \(\ast\)
|
アスタリスク演算子, 乗法
|
\ast
|
![](images/bullet.png) \(\bullet\)
|
ビュレット
|
\bullet
|
![](images/circled_plus.png) \(\oplus\)
|
直和
|
\oplus
|
![](images/circled_times.png) \(\otimes\)
|
テンソル積, 直積
|
\otimes
|
![](images/degree.png) \(^\circ\)
|
度
|
^\circ
|
![](images/diamond.png) \(\diamond\)
|
ダイヤモンド演算子
|
\diamond
|
![](images/division.png) \(\div\)
|
割る(除算)
|
\div
|
![](images/dot.png) \(\cdot\)
|
ドット演算子
|
\cdot
|
![](images/dwnws_arrow.png) \(\downarrow\)
|
下向矢印
|
\downarrow
|
![](images/dwnwds_w_arrow.png) \(\Downarrow\)
|
下向二重矢印
|
\Downarrow
|
![](images/element_of.png) \(\in\)
|
〜に属する
|
\in
|
![](images/empty_set.png) \(\varnothing\)
|
空集合
|
\varnothing
|
![](images/for_all.png) \(\forall\)
|
普通限定子
|
\forall
|
![](images/fraktur_i.png) \(\Im\)
|
イマジナリーパート(虚部)
|
\Im
|
![](images/fraktur_r.png) \(\Re\)
|
リアルパート(実部)
|
\Re
|
![](images/gradient.png) \(\nabla\)
|
ナブラ
|
\nabla
|
![](images/greater_or_eql.png) \(\geq\)
|
大なりイコール(大きいか, 等しい)
|
\geq
|
![](images/identical_to.png) \(\equiv\)
|
合同, 恒等的に等しい
|
\equiv
|
![](images/infinity.png) \(\infty\)
|
無限
|
\infty
|
![](images/integral.png) \(\int\)
|
インテグラル(積分)
|
\int
|
![](images/l_r_arrow.png) \(\leftrightarrow\)
|
同等
|
\leftrightarrow
|
![](images/l_r_w_arrow.png) \(\Leftrightarrow\)
|
同値
|
\Leftrightarrow
|
![](images/l_angl_brckt.png) \(\langle\)
|
左山括弧(アングルブラケット)
|
\langle
|
![](images/lftws_arrow.png) \(\leftarrow\)
|
左作用
|
\leftarrow
|
![](images/lftws_w_arrow.png) \(\Leftarrow\)
|
〜のために...
|
\Leftarrow
|
![](images/less_or_eql.png) \(\leq\)
|
小なりイコール(小さいか, 等しい)
|
\leq
|
![](images/logical_and.png) \(\wedge\)
|
ウエッヂ, 合接, 論理積
|
\wedge
|
![](images/logical_or.png) \(\vee\)
|
隣接, 論理和
|
\vee
|
![](images/multiplication.png) \(\times\)
|
かける(乗法)
|
\times
|
![](images/n-ary_prdct.png) \(\prod\)
|
パイ(総乗)
|
\prod
|
![](images/n-ary_summation.png) \(\sum\)
|
シグマ(総和)
|
\sum
|
![](images/not_a_subset.png) \(\not\subset\)
|
部分集合の否定
|
\not\subset
|
![](images/not_a_element.png) \(\notin\)
|
〜に属さない
|
\notin
|
![](images/not_eql_to.png) \(\neq\)
|
不一致
|
\neq
|
![](images/not.png) \(\neg\)
|
否定
|
\neg
|
![](images/partial_diffrntl.png) \(\partial\)
|
デル, 境界(偏微分)
|
\partial
|
![](images/perpendicular.png) \(\bot\)
|
垂直
|
\bot
|
![](images/plus_minus.png) \(\pm\)
|
加法と減法
|
\pm
|
![](images/proportional.png) \(\propto\)
|
比例
|
\propto
|
![](images/r_angl_brckt.png) \(\rangle\)
|
右山括弧(アングルブラケット)
|
\rangle
|
![](images/rws_arrow.png) \(\rightarrow\)
|
右向矢印
|
\rightarrow
|
![](images/rws_w_arrow.png) \(\Rightarrow\)
|
ならば(合意)
|
\Rightarrow
|
![](images/sm_contains_mmbr.gif) \(\backepsilon\)
|
リバースイプシロン
|
\backepsilon
|
![](images/subset_of.png) \(\subset\)
|
〜に含まれる
|
\subset
|
![](images/subset_or_eql.png) \(\subseteq\)
|
包含されるか, または同等
|
\subseteq
|
![](images/superset_of.png) \(\supset\)
|
〜に含む
|
\supset
|
![](images/superset_or_eql.png) \(\supseteq\)
|
包含するか, または同等
|
\supseteq
|
![](images/there_exists.png) \(\exists\)
|
存在限定子
|
\exists
|
![](images/therefore.png) \(\therefore\)
|
結論
|
\therefore
|
![](images/union2.png) \(\cup\)
|
または, ユニオン
|
\cup
|
![](images/upws_arrow.png) \(\uparrow\)
|
上向矢印
|
\uparrow
|
![](images/upws_w_arrow.png) \(\Uparrow\)
|
上向二重矢印
|
\Uparrow
|
![](images/weierstrass.png) \(\wp\)
|
ワイエルシュトラスのP
|
\wp
|
|
WYSIWYG
WYSIWYG(ウィジウィグ)とはWhat You See Is What You Get の略で,TeX やhtml のエディターに多く見られる表現です。TeX は他の言語に比べ平易とはいえ,それで数式の個々の数字や記号の位置決めしなければならず,複雑化すると全体像を見失ってしまい,どの部分を作っているのかもわからなくなりがちです。それゆえ実際に印刷物上で表示される姿をモニターを通して確認できると作業もはかどりますが,それこそがWYSIWYG をうたったソフトウェアの存在意義でもあるのです。MathType の場合も,実際の数式の表示に変わってゆくのを観察しながら,直接ウインドウにTeX 入力できます。ただし数式以外のTeX コードは認識しません。またTeX においてWYSIWYG の表現については、DVI エディターが引き合いに出されがちです。DVIとはTeX の出力フォーマットで,PostScript やPDF への変換の際に用いますが,このコードはもはやTeX の原形をとどめない意味不明な文字の羅列と化します。
ちなみにMathType でDVI ファイルの表示はできません。
|