Search results
Results from the WOW.Com Content Network
The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like , and is used to indicate an end, usually the end of a proof.
BSI proof-correction marks (conforming to BS 5261C:2005) as prepared by the Chartered Institute of Editing and Proofreading; The style guide for publications of the European Union is presented in 24 European languages and includes a section on proofreading. Each edition has a sheet of proofreader's marks that appears to be the same apart from ...
In the AMS Theorem Environment for LaTeX, the hollow square is the default end-of-proof symbol. Unicode explicitly provides the "end of proof" character, U+220E (∎). Some authors use other Unicode symbols to note the end of a proof, including, (U+25AE, a black vertical rectangle), and ‣ (U+2023, a triangular bullet).
The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics. Additionally, the subsequent columns contains an informal explanation, a short example, the Unicode location, the name for use in HTML documents, [1] and the LaTeX symbol.
Typographical symbols and punctuation marks are marks and symbols used in typography with a variety of purposes such as to help with legibility and accessibility, or to identify special cases. This list gives those most commonly encountered with Latin script. For a far more comprehensive list of symbols and signs, see List of Unicode characters.
radical symbol (for square root) 1637 (with the vinculum above the radicand) René Descartes (La Géométrie) % ... end of proof sign (a.k.a. tombstone) 1950 [5]
Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!
Among the fonts in widespread use, [6] [7] full implementation is provided by Segoe UI Symbol and significant partial implementation of this range is provided by Arial Unicode MS and Lucida Sans Unicode, which include coverage for 83% (80 out of 96) and 82% (79 out of 96) of the symbols, respectively.