Caret confused with other chevron-shaped characters, such as or , which may occasionally be called carets, too. The caret was originally and continues to be used in handwritten form as a proofreading mark to indicate where a punctuation mark, word, or phrase should be inserted into a document. The term comes from the Latin , "it lacks", from , "to lack; to be separated from; to be free from". The caret symbol is written below the line of text for a line-level punctuation mark, such as a comma, or above the line as an inverted caret (cf. ) for a higher
Proof that π is irrational Proof that π is irrational In the 1760's, Johann Heinrich Lambert proved that the number (pi) is irrational: that is, it cannot be expressed as a fraction "a"/"b", where "a" is an integer and "b" is a non-zero integer. In the 19th century, Charles Hermite found a proof that requires no prerequisite knowledge beyond basic calculus. Three simplifications of Hermite's proof are due to Mary Cartwright, Ivan Niven, and Nicolas Bourbaki. Another proof, which is a simplification of Lambert's proof, is due to Miklós Laczkovich. In 1882, Ferdinand von Lindemann proved that is not just irrational, but transcendental as well.