トリプルバー

論理学では、これは2つの異なるが関連する意味で使用されます。これは、実質的同値とも呼ばれる「～である」という結合子を指す場合があります。 ^{[ 3 ]}これは、 2つの引数が互いに同じ値を持つ場合に真となる二項演算です。 ^{[ 4 ]}あるいは、一部のテキストでは、⇔ はこの意味で使用され、≡ は、すべてのモデルが同じ値を与える場合に2つの式が論理的に同値であるという、より高次のメタ論理的概念である論理的同値に使用されます。 ^{[ 5 ]}ゴットロープ・フレーゲは、2つの命題（必ずしも数学や形式論理ではない）が意味を変えることなく自由に置き換えることができる場合に同一であるという、より哲学的な同一性の概念に三重線を使用しました。^{[ 6 ]}

数学では、三重線は、同一性または同値関係の記号として使用されることがあります（ただし、唯一の記号ではありません。他の一般的な選択肢には、~ や ≈ があります）。^{[ 7 ] [ 8 ]}特に、幾何学では、2 つの図形が合同であるか、または同一であることを示すために使用されることがあります。^{[ 9 ]}数論では、カール・フリードリヒ・ガウス（1801 年にこの意味で初めて使用）以来、モジュラー合同を意味するために使用されてきました。${\displaystyle a\equiv b{\pmod {N}}}$Nがa − bを割り切る場合。^{[ 10 ] [ 11 ]}

圏論では、可換図式内のオブジェクトを接続するために三重線が使用されることがあり、これはそれらが圏の矢印で接続されているのではなく、実際には同じオブジェクトであることを示しています。^{[ 12 ]}

この記号は、等式の左辺で記号を定義する等式において、等号の代わりに用いられることもあり、等式の両辺の項が既に定義されている等式と区別するために用いられる。^{[ 13 ]}この用法の別の表記法としては、通常の等号の上に「def」という文字を組版する方法がある。${\displaystyle a\mathrel {\stackrel {\scriptscriptstyle \mathrm {def} }{=}} b}$^{[ 14 ]}同様に、この用法の別の表記法としては、等号の前にコロンを付けることがあり、${\displaystyle a:=b}$コロン表記の利点は、既に定義されたオブジェクトから別のオブジェクトを定義する際に生じる固有の非対称性を反映できる点にある。

植物命名法では、三重線は同型同義語（同じタイプ標本に基づくもの）を示し、異なるタイプ標本に基づく異型同義語（等号で示されるもの）と区別する。^{[ 15 ]}

化学では、三重線は原子間の三重結合を表すために使用できます。たとえば、HC≡CHはアセチレン^{[ 16 ]}（系統名：エチン）の一般的な略記です。

APLプログラミング言語では、≡と の≢記号は、それぞれ2つの配列を等しいか等しくないかを比較するために使用されます。これは、 と の記号とは対照的です。 と の記号は=、≠順序付き配列の個々の要素を別の配列の要素と比較します。

モバイル、ウェブ、および一般的なアプリケーションデザインでは、同様のシンボルがインターフェース要素として使用されることがあります。これはハンバーガーアイコンと呼ばれます。この要素は通常、要素がアクティブになるとナビゲーションメニューにアクセスできることを示します。シンボルのバーは、様式化されたメニュー項目と見なすことができ、このシンボルのいくつかのバリエーションでは、この視覚的な類似性を高めるために、各バーにバーまたは箇条書きのポイントが追加されます。^{[ 17 ]}このシンボルの使用は、1980 年代にXerox PARCで開発された初期のコンピュータ インターフェースにまで遡ります。 ^{[ 18 ]}また、均等割り付けテキスト配置を示すためによく使用されるアイコンにも似ています。これは、 Google のMaterial Designガイドラインでよく使用されるコンポーネントであり、これらのガイドラインに従う多くのAndroidアプリやウェブ アプリでハンバーガー メニューが使用されています。