Loading article…
ティー（LaTeXでは⊤ ）は、ダウンタック（アップタックとは対照的に）またはベルムとも呼ばれ、[1]次のものを表すために使用される記号です。
\top
- 格子理論における最上位の要素。
- 論理学において真であることの真理値、または無条件に真である文（例えば、命題計算における式）。[2] [3] [4]定義により、すべてのトートロジーは論理的には真である。
- タイプ理論におけるトップタイプ。
- APL プログラミング言語における混合基数エンコーディング。
- 国際音声記号および音声学における低音の 音声。この用法では、通常、主要な IPA 記号の下に表記されます。
似たような上付き文字 T は、行列の 転置を表すために使用されることがあります。
エンコーディング
Unicodeでは、ティー文字はU+22A4 ⊤ DOWN TACK ( ⊤, ⊤ )としてエンコードされています。[5]この記号はLaTeXではとしてエンコードされています。
\top
大きな異形は、Unicode ブロックMiscellaneous Mathematical Symbols-AでU+27D9 ⟙ LARGE DOWN TACKとしてエンコードされます。
参照
注記
- ^ Polkowski, Lech T. (2023). 「ロジック：コンピュータ科学者のためのリファレンスブック」.インテリジェントシステムリファレンスライブラリ. 245 : 180. doi :10.1007/978-3-031-42034-4. ISBN 978-3-031-42033-7. ISSN 1868-4394。
- ^ 「トートロジー | 定義と事実」。ブリタニカ百科事典。2020年8月14日閲覧。
- ^ 「TAUTOLOGYの定義」www.merriam-webster.com . 2020年8月14日閲覧。
- ^ Weisstein, Eric W. 「Tautology」. mathworld.wolfram.com . 2020年8月14日閲覧。
- ^ 「数学演算子 – Unicode」(PDF) 。 2013年7月20日閲覧。