「Up tack 」は、 Unicode記号 ( LaTeX では⊥ 、Unicode では U+22A5 [ 1 ] Unicode名で、文脈によっては「 bottom 」[ 2 ] [ 3 ] falsum 」[ 4 ] absurdum 」[ 5 ] absurdity 」[ 6 ] [ 7 ] [ 3 ] \bot
同様に
アップタックのグリフは 逆さまのティー記号 として現れ、そのため、イート （「ティー」という単語を逆にしたもの）と呼ばれることもあります。[ 8 ] [ 9 ] 二重の 役割を果たしています。
垂直記号 （⟂ 、\perpLaTeXでは、UnicodeではU+27C2）は、次のものを表すために使用される二項関係 記号です。
歴史的に、Unicode 4.1 (2005 年 3 月) より前の文字セット、例えば Unicode 4.0 [ 10 ] [ 11 ] この重複は、 HTML エンティティ リスト & perp;& bot;[ 12 ]
二重タックアップ 記号（Unicode [ 1 ] では⫫ 、U+2AEB ）は、以下を表すために使用される二項関係 記号です。
注記 1 2 「数学演算子 – Unicode」（PDF） 。 2013年7月20日 取得 。 ↑ Giunchiglia, Enrico; Tacchella, Armando (2004-02-24). Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers . Springer. p. 507. ISBN 978-3-540-24605-3 。1 2 ゴブル、ルー (2007)。 『ブラックウェル哲学論理学ガイド』 ブラックウェル。p. 10。 ↑ リベイロ、エンリケ・ジャレス（2012年4月25日）。 『議論の内側：論理と議論の研究 』ケンブリッジ・スカラーズ・パブリッシング、 382ページ 。ISBN 978-1-4438-3931-0 。↑ガリエ、ジャン （ 2011年2月1日）。 離散数学 。シュプリンガー・サイエンス＆ビジネス・メディア。p. 4。ISBN 978-1-4419-8047-2 。↑ マクリディス、オデュッセウス (2022)。 「記号論理学」 。 パルグレイブ ・ フィロソフィー・トゥデイ ： 207。doi ： 10.1007/978-3-030-67396-3。ISSN 2947-9339 。 ↑ テナント、ニール（2015年2月11日）。 『哲学入門：神、心、世界、論理』 。ラウトレッジ。179 ページ 。ISBN 978-1-317-56087-6 。↑ Church, Alonzo; Langford, Cooper Harold (1957). The Journal of Symbolic Logic . Association for Symbolic Logic. p. 41. ↑ スムリアン、レイモンド・M. (1987). 永遠に未決定：ゲーデルのパズルガイド （第1 版）. ニューヨーク、NY：クノップフ. p. 57. ISBN 978-0-394-54943-9 。↑ 「Unicode標準、バージョン4.0（アーカイブされたコードチャート）」 （PDF） 。 2025年 4月25日 取得 。 ↑ Unicode 4.0では「UP TACK = 直交 = 垂直 = 底辺、下辺」と定義されていました。 ↑ 「その他の数学記号-A、範囲: 27C0–27EF – Unicode 標準、バージョン 4.1」 （PDF） 。2025 年 4 月 25 日 取得 。 ↑ 「条件付き独立性の表記法」 。2020年3月27日。
