It is encoded at U+2234 ∴ therefore (HTML ∴ · ∴). For common use in Microsoft Office hold the ALT key and type “8756”. While it is not generally used in formal writing, it is used in mathematics and shorthand. It is complementary to U+2235 ∵ because (HTML ∵).
To denote logical implication or entailment, various signs are used in mathematical logic: →, ⇒, ⊃, ⊢, ⊨. These symbols are then part of a mathematical formula, and are not considered to be punctuation. In contrast, the therefore sign is traditionally used as a punctuation mark, and does not form part of a logical formula.[3]