3

私は長い間、宿題 (LaTeX) で使用する「一貫した比較」演算子を作成することを夢見ていました。つまり、長い導出では、$a$ が $b$ とどのように比較されるかを知りたい場合があります。これは完全に不自然ですが、例は次のようになります。

\begin{align*}
    a &? b \\
    f(a) &? f(b) \\
    f(a) &= f(b) \text{by assumption} \\
    \implies a &= b
\end{align*}

つまり、「この比較は派生全体で一貫している必要があります」と言って開始し、後でそれを確認します。(比較演算子) = に置き換えることができます。この表記法は明らかにお粗末です。グループ作業を行うことが多くなった今、もう少しグラフィカルに直観的なものがあるとよいでしょう。

小さな円の内側または上にクエスチョン マークが付いている夢を見ました。問題は、LaTeX マクロで個々の文字のサイズ変更/配置を行う方法がわからないことです。これまでのところ、私は思いついた

\def\mycomparator{\circ^{\!\!\!?}\,}
$a \mycomparator b$

(つまり、上付きの疑問符が付いた小さな円を 3 桁後方にシフトし、コンパレータの左側を適切に配置するために右側にパディングを行います)

これは機能しますが、私が探しているものとはまったく異なり、(さらに悪いことに) 才能のない、嫌なハックです。

どうすればこの目標を達成できますか?

ありがとう！

4

3 に答える 3

3

次のことを試してください（テストされていません）。

\newcommand{\mycomparator}{\stackrel{?}{\circ}}

また、\ mathrelを検索します。これを使用して、任意の記号を関係にし、正しい数学の間隔を作ることができます。

数学的には、さまざまな関係がさまざまなルールに従うため、あなたのアイデアはそれほど素晴らしいものではありません。たとえば、不等式の両側に負の数を掛けます。

実際、標準的な方法では、一般的な関係には大文字のRを使用します。つまり、適切な間隔には\mathrel{R}を使用します。複数必要な場合は、後続の文字またはインデックスを使用できます。

一般的な推移的な関係では、反射的であるかどうかに応じて、\preceqや\precなどの非標準の比較記号を使用します。

\ circは通常、一般的な二項演算または関数合成に使用されます。

于 2009-12-03T07:28:57.003 に答える
3

The Comprehensive LaTeX Symbol Listによると、このシンボルに使用できます\textcircled{?}。

于 2009-12-03T06:38:27.637 に答える
2

実際に見栄えのするシンボルが必要な場合は、適切なスケーリングを使用して、何かを適切に設計する必要があると思います。たとえば、疑問符のフォント表現を操作し、円を組み込む必要があります。

metapost またはspiroを見てください。

于 2009-12-03T15:31:41.230 に答える