fsymbols
記号を読み込み中…
››
⌜

左上隅

左上隅

27/238

⌜はクワインの隅引用符の始まりで、と組み合わせると、表現を使うのではなく話題として示します。論理学では、この組が数式のゲーデル数を表すこともあります。単独の⌜は閉じていない記号に見えます。

テキスト記号

⌜の意味

隅引用符を開きます。

論理学者のW・V・クワインは1940年、形を示しながら特定されていない表現に言及する「準引用」を導入しました。対になった隅記号は、数式に割り当てられ、算術で参照できるゲーデル数を表すこともあります。

論理学や数式組版で使う形式的な句読記号です。

単独では未完に見えます。が対を閉じます。

このコレクションに含まれます

〜と混同しないで

2

組み合わせの例

1
ゲーデル番号付けでは、数式φに割り当てられた数を表します。

⌜ を含むコレクション

4

⌜の入力・検索方法

別名
クワインの隅 · 隅引用符
次のように検索
ulcorner · 準引用 · ゲーデル数 · LaTeX ulcorner
表示される場所
テキストを入力できる場所 · 形はフォントによって異なります
Windows (Word)
⎇Alt+X231Cを入力してAltXを押すと⌜になります。
Windows
⊞Win+Rcharmapで文字一覧を開くか、絵文字ピッカーのΩタブ(Win .)を使います。
macOS
⌃Control+⌘Command+␣Space文字ビューアを開き、「top left corner」を検索します。
Linux
⎈Ctrl+⇧Shift+U231cを入力してEnterまたはSpaceを押します。
HTML
⌜
CSS
\231C
LaTeX
LaTeXのコマンド \ulcorner を使い、右側には \urcorner を組み合わせます。
コードと文字コードコードポイント数:1
HTML 十進数
⌜
HTML 十六進数
⌜
CSS 内容
content: "\231C";
各エスケープは次のバックスラッシュで終わります。直後に十六進数字を文字として置く場合は空白が必要です。
URL エンコード
%E2%8C%9C
1
画面上
1
コードポイント
1
JS .length
3
UTF-8 バイト数

画面上の記号は複数のコードポイントを含む場合があります。JS .length は UTF-16 単位、UTF-8 はバイトを数えます。

この記号のグループ

1

数学と数字1,835個の記号