Search results
Results from the WOW.Com Content Network
In mathematics, the tombstone, halmos, end-of-proof, or Q.E.D. symbol "∎" (or " ") is a symbol used to denote the end of a proof, in place of the traditional abbreviation "Q.E.D." for the Latin phrase "quod erat demonstrandum". It is inspired by the typographic practice of end marks, an element that marks the end of an article. [1] [2]
Symbol Name Symbol(s) Meaning Example of Use Dele: Delete: Pilcrow (Unicode U+00B6) ¶ Begin new paragraph: Pilcrow (Unicode U+00B6) ¶ no: Remove paragraph break: Caret [a] (Unicode U+2038, 2041, 2380) ‸ or ⁁ or ⎀ Insert # Insert space: Close up (Unicode U+2050) ⁐ Tie words together, eliminating a space: I was reading the news⁐paper ...
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).
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.
The Miscellaneous Mathematical Symbols-B block (U+2980–U+29FF) contains miscellaneous mathematical symbols, including brackets, angles, and circle symbols. Miscellaneous Mathematical Symbols-B [1] Official Unicode Consortium code chart (PDF)
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!
U+233D ⌽ APL FUNCTIONAL SYMBOL CIRCLE STILE: Rotation A⊖B: The elements of B are rotated A positions along the first axis U+2296 ⊖ CIRCLED MINUS: Logarithm: A⍟B: Logarithm of B to base A: U+235F ⍟ APL FUNCTIONAL SYMBOL CIRCLE STAR: Dyadic format A⍕B: Format B into a character matrix according to A: U+2355 ⍕ APL FUNCTIONAL SYMBOL ...
In logic, a set of symbols is commonly used to express logical representation. The following table lists many common symbols, together with their name, how they should be read out loud, and the related field of mathematics.