⌜ có nghĩa là gì
Nó mở dấu trích dẫn góc.
Năm 1940, nhà logic học W. V. Quine đưa ra cách trích dẫn giả: nhắc đến một biểu thức chưa xác định đồng thời cho thấy hình thức của nó. Cặp dấu góc cũng có thể biểu thị số Gödel của một công thức, con số được gán để số học có thể nhắc đến công thức đó.
Dấu câu trang trọng trong logic và trình bày toán học.
Đứng riêng, ⌜ trông chưa hoàn tất; ⌝ đóng cặp dấu.
Đừng nhầm với
2Ý tưởng kết hợp
1Trong phép đánh số Gödel, cặp dấu này chỉ số được gán cho công thức φ.
Cách nhập ⌜
Windows (Word)
Alt+XNhập 231C, rồi nhấn Alt+X để được ⌜.
Windows
Win+RChạy charmap để xem bảng đầy đủ, hoặc dùng thẻ Ω của bộ chọn emoji (Win + .).
macOS
Control+Command+SpaceMở trình xem ký tự và tìm “top left corner”.
Linux
Ctrl+Shift+UNhập 231c, rồi nhấn Enter hoặc Space.
HTML
⌜CSS
\231CLaTeX
Dùng lệnh LaTeX \ulcorner; ghép với \urcorner làm góc bên phải.
Mã và mã hóaĐiểm mã: 1
HTML thập phân
⌜
HTML thập lục phân
⌜
Nội dung CSS
content: "\231C";
Mỗi chuỗi thoát kết thúc ở dấu gạch chéo ngược tiếp theo; cần khoảng trắng trước chữ số thập lục phân viết trực tiếp.
Mã hóa URL
%E2%8C%9C
1
Trên màn hình
1
Điểm mã
1
JS .length
3
Byte UTF-8
Một ký hiệu hiển thị có thể gồm nhiều điểm mã. JS .length đếm đơn vị UTF-16; UTF-8 đếm byte.