The symbol ∵ is used mostly in logic to mean "because", but it is also abused in general text so as to elide making errors by constantly writing "becasue".
The symbol ∴ is used in logic to mean "therefore" (usually placed before the conclusion). It is sufficiently well-known to justify its abuse in the general setting.
correspondence, ≅
(synonyms: isomorphism; correlation, similarity, resemblance, comparability, compatibility, agreement, consistency, congruity, conformity, uniformity, harmony, affinity, accordance, accord, concurrence)
Curry-Howard isomorphism
Denotational semantics
- Peano Arithmetic
- Peano Axioms
Programming Language
Science, technology, engineering and mathematics. e.g. "a list of STEM symbols"