\in の垂直方向の配置

Question 1

イプシロン記号とRが垂直にずれていることがわかります

まず、スクリーンショットではない\epsilonまたはを表示します\varepsilon。代わりに、マクロによって TeX および LaTeX で生成される記号を表示します\in。この記号は、読み上げられると、通常 (英語では)「in」(これがマクロの名前の由来です) または「is element of」と発音されます。次に、LaTeX では、一般に「実数の集合」を表す文字をと表記する方が好まれます\mathbb{R}。

余談: {\rm I\!R}1994年ごろ、LaTeX2eがLaTeX2.09に取って代わって以来、書き込み{\rm I\!R}は非推奨となっています。書き込みは、一部のLaTeXドキュメントクラスではまだ機能しますが、他のクラスでは機能しません。コードの移植性と長期的な保守性を重視するのであれば\rm、、、、およびと書くのではなく、(もちろん数学的\itなコンテキストでは) 、、、、およびと書くようにしてください。\bf\sf\tt\mathrm\mathit\mathbf\mathsf\mathttないを使用する場合\mathbb{R}、記号はでは\mathrm{I}\!\mathrm{R}なくと記述する必要があります{\rm I\!R}。

どのように配置するかという問題に戻る\in。結局のところ、TeXとLaTeXが目指すのは優れたタイポグラフィだが、タイポグラフィには別々のタイプセットのルールがある。文字（ラテン語とギリシャ語、小文字と大文字の両方）一方では、タイプセット用文字以外の記号( \in、、、、、など+を含む)\timesをもう一方で使用します。Computer Modern (serif) 数学ファミリーを使用して描画された次の文字および非文字記号のリストを検討してください。\div\sum

文字記号は左側（から\Pi）に表示されます。これらはすべて、ベースライン（さらに重要な2つの線は、xハイト線とキャップハイト線です。）対照的に、文字以外の記号はないベースラインに揃えるのではなく、数式線または数学軸（数式軸とは何か、どこにあるかと疑問に思うかもしれません。これは、ベースラインと x 高さの線の間にある仮想の水平線です。、+（-「マイナス」）、およびの水平部分\divは数式軸上に配置されます。）ギリシャ語の大文字\Sigmaとが\Piベースライン上にあるのに対し、文字以外の記号とはそのベースライン上に\sumないことに注意してください。これは、よりも高いというだけ\prodの問題ではありません。の一部は明らかにベースラインの下に達していますが、の場合は意図的にそうではありません。\sum\Sigma\sum\Sigma

文字以外の記号の中には、最も明らかなように-ベースラインを越えないものもありますが、その他の記号には\in、ベースラインより下に達する部分があります。ところで、+記号の一番下の部分がの一番下の部分よりもさらにベースラインより下に達していることに気付きまし\inたか? だから何? 大したことではありません。

シンボルの大きさは\inフォントデザイナーが決める問題です。私の考えでは、シンボル\inをかなり大きくして一部が（文字の）ベースラインより下にくるようにする優れた（タイポグラフィの）理由は、シンボルの意味に関する視覚的な曖昧さを避けるためです。読者は、見つめているシンボルが「要素である」か「イプシロンである」か迷う必要はありません。同様に、とをと\sumより\prodもかなり大きくする優れたタイポグラフィの理由は\Sigma、\Piシンボルの意味に関する曖昧さを避けるためです。意味シンボルの。

以下のスクリーンショットは、フォントデザインの違いが、さまざまな数式グリフの形状だけでなく、数式軸がベースラインとx-heightラインに対してどこに配置されるかにも影響を与えることを示しています。[ちなみに、線描画コードは、ポール・ガボリットの回答質問に対して、$x \in X$ 内のすべてのシンボルに独自のベースラインがあるのはなぜですか?当然の功績は認めるべきです！

コンピュータモダン（ラテンモダンと非常に似ています）：

Times およびmtpro2数学フォントパッケージ (Times Roman クローン):

newtxtextそしてnewtxmath（もう一つのTimes Romanのクローン）：

newpxtextそしてnewpxmath（パラティーノクローン）：

当然ながら、フォントにはそれぞれ特別な機能があります。ただし、すべての数式フォントに共通しているのは、それぞれの数式軸の垂直方向の中央に配置されていることです。

上記の最初の 2 つのスクリーンショットを生成するコード:

\documentclass[border=1pt]{standalone}
\usepackage{amsfonts} % for "\mathbb"
\newcommand{\myR}{\mathrm{I}\!\mathrm{R}}
\begin{document}
$\mathrm{e}e\epsilon\varepsilon{\in}\ \mathbb{R}\myR$

%$a\alpha e\epsilon\varepsilon X\Sigma\Pi{\subset}{\in}{-}{+}{\times}{\div}{\sum}{\prod}{\int}\displaystyle{\sum}{\prod}{\int}$
\end{document}

さまざまな水平線を含むスクリーンショットを生成するコード:

\documentclass{article}

%% Uncomment as needed:
%\usepackage{times,mtpro2}
%\usepackage{newtxtext,newtxmath}
\usepackage{newpxtext,newpxmath}

\usepackage[margin=0pt,
   paperwidth=3.35cm,paperheight=0.5cm]{geometry}
\usepackage{xcolor,graphicx}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[scaled=0.85]{helvet}

% Draw a line showing a font metric
%  #1 color, #2 vertical position, #3 label
\newcommand{\drawmetric}[3]{%
  \rlap{%
    \color{#1}\rule[#2]{2.9cm}{0.05pt}%
    \raisebox{#2}{\scalebox{0.3}{\tiny\selectfont\sffamily #3}}%
  }%
}
\newcommand\drawallmetrics{%
  \drawmetric{red}{0pt}{baseline}%
  \drawmetric{blue}{1ex}{x-height}%
  \drawmetric{red}{\fontcharht\font`X}{cap-height}%
  \drawmetric{cyan}{\the\fontdimen22\textfont2}{math axis}%
}
\begin{document}

% Draw the metrics and some text
\noindent\rlap{ % 
  $\mathrm{Hx}e\epsilon\varepsilon{\in}{\subset}{\subseteq}{+}{\times}\Sigma{\sum}$}
  \drawallmetrics{}
\end{document}

Answer