Therefore sign specialized keyboards and fonts, and to prevent compatibility issues, it's often substituted by a colon followed by a period (":.") even if it's considered more elegant to use the original therefore character in printing. Therefore sign In logical argument and mathematical proof, the therefore sign (∴) is generally used before a logical consequence, such as the conclusion of a syllogism. The symbol consists of three dots placed in an upright triangle and is read "therefore". It is encoded at . For common use in Microsoft Office hold the ALT key and type "8756". While it is not generally used in
Automedian triangle satisfying the formula "a" = "b" + "c". That is, in order for the three numbers "a", "b", and "c" to be the sides of an automedian triangle, the sequence of three squared side lengths "b", "a", and "c" should form an arithmetic progression. If "x", "y", and "z" are the three sides of a right triangle, sorted in increasing order by size, and if 2"x" < "z", then "z", "x" + "y", and "y" − "x" are the three sides of an automedian triangle. For instance, the right triangle with side lengths 5, 12, and 13 can be used