⊣ Dấu tack trái

⊣ có nghĩa là gì

Hãy đọc ⊣ theo hệ ký hiệu định nghĩa nó.

Trong lý thuyết phạm trù, F ⊣ G cho biết F là hàm phụ liên trái của G, một quan hệ hình thức giữa hai cấu trúc. APL, một ngôn ngữ lập trình dùng ký hiệu, sử dụng ⊣ làm hàm đồng nhất trái: X ⊣ Y trả về X, còn ⊣Y trả về Y.

Trong logic, ⊣ là dấu turnstile ngược; quan hệ chính xác mà nó biểu thị tùy thuộc vào hệ thống.

Hướng của dấu làm đổi chức năng

Lịch sử của nhóm dấu turnstile bắt đầu trong logic hình thức. Cuốn Begriffsschrift năm 1879 của Frege, một hệ ký hiệu logic, dùng dấu khẳng định gồm nét ngang biểu thị nội dung và nét dọc biểu thị phán đoán. Các hệ logic về sau phát triển những dấu liên quan như và để phân biệt phép suy diễn với hệ quả ngữ nghĩa.

Lịch sử APL ghi nhận hai cách gọi hướng của tack cạnh tranh với nhau. Vì vậy, một số tên APL ghép không khớp với cách Unicode gọi trái/phải, dù hình dạng ký hiệu vẫn giữ nguyên.

Ký hiệu chuyên môn: cần có công thức hoặc tên hệ thống để đọc ⊣ một cách đáng tin cậy.

Đừng đổi nó thành hoặc : đảo hướng hay thêm một nét sẽ thành ký hiệu khác.