MathML - Simbol Logika
Berikut adalah daftar simbol logika yang tersedia di MathML.
| Simbol MathML | Entitas HTML | Kode Hex | Deskripsi |
|---|---|---|---|
| ¬ | &tidak; | & # x00ac; | Untuk menentukan negasi |
| ∧ | &dan; | & # x2227; | Untuk menentukan hubungan logis |
| ∨ | &atau; | & # x2228; | Untuk menentukan disjungsi logis |
| ⊻ | & veebar; | & # x22bb; | Untuk menentukan disjungsi eksklusif |
| ∀ | &untuk semua; | & # x2200; | Untuk menentukan kuantifikasi universal |
| ∃ | &ada; | & # x2203; | Untuk menentukan kuantifikasi eksistensial |
| ⇒ | & rarr; | & # x21d2; | Untuk menentukan implikasi material |
| ⇔ | & harr; | & # x21d4; | Untuk menentukan kesetaraan material |
| ◻ | & emptysmallsquare; | & # x25fb; | Untuk menentukan tentu |
| ◊ | & loz; | & # x25ca; | Untuk menentukan kemungkinan |
| ⊢ | & vdash; | & # x22a2; | Untuk menentukan dapat dibuktikan |
| ⊨ | & vdash; | & # x22a8; | Untuk menentukan kebutuhan |
| ∴ | & there4; | & # x2234; | Untuk menentukan karena itu |