Delta bằng

Dấu này chỉ một định nghĩa: “cái này được định nghĩa là cái kia”.

Dấu tam giác bằng, hay delta bằng, cho biết tác giả đặt tên hoặc xác định một biểu thức như thế nào. Trong f(x) ≜ x², hãy đọc là “f(x) được định nghĩa là x bình phương”, chứ không chỉ là khẳng định hai giá trị được xác định riêng rẽ bằng nhau.

Unicode cũng ghi nhận “đều góc” là một cách đọc của ≜. Chỉ dùng cách đọc chuyên biệt này khi ký hiệu xung quanh cho thấy điều đó.

Các dấu định nghĩa phát triển ra sao?

Chúng phân biệt định nghĩa với phép bằng thông thường.

Một dấu bằng kép có liên quan, mang nghĩa “bằng theo định nghĩa”, đã được ghi nhận vào năm 1920. Ký hiệu cũ hơn này cho thấy một cách khác để đánh dấu định nghĩa; nó không xác định niên đại của chính ký tự này.

Trong toán học còn có các dạng như :=, =: và =def. Chúng có chức năng gần nhau, nhưng quy ước của tác giả quyết định cách dùng chính xác.

≜ khác := như thế nào?

Cả hai đều có thể mở đầu một định nghĩa, nhưng quy ước sử dụng khác nhau.

Tác giả thường dùng := cho định nghĩa hoặc phép gán, còn ≜ trình bày quan hệ như một điều được xác định theo định nghĩa. Không có quy ước chung cho mọi nơi; hãy theo ký hiệu trong bài viết, giáo trình hoặc ngôn ngữ lập trình.