MatPlus.Net

 Website founded by
Milan Velimirović
in 2006

23:05 UTC
ISC 2024
 
  Forum*
 
 
 
 

Username:

Password:

Remember me

 
Forgot your
password?
Click here!
SIGN IN
to create your account if you don't already have one.
CHESS
SOLVING

Tournaments
Rating lists
1-Oct-2024

B P C F





 
 
MatPlus.Net Forum General I need a sign
 
You can only view this page!
(1) Posted by Hauke Reddmann [Monday, May 1, 2023 21:09]

I need a sign


My math proofs I end with QED (or a few other signs in use for that).

Mates # and stalemates = are also easy.

But do we have a sign indicating that the stipulation (not mate,
not stalemate, maybe the given position reached in SPG, or whatever)
has been fulfilled at the end of an analytical line?
 
(Read Only)pid=24709
(2) Posted by seetharaman kalyan [Tuesday, May 2, 2023 08:52]

How about 👍
 
 
(Read Only)pid=24712
(3) Posted by Kevin Begley [Tuesday, May 2, 2023 13:13]

:)
 
   
(Read Only)pid=24713
(4) Posted by Andrew Buchanan [Friday, May 5, 2023 09:30]

There is an existing acronym QEF meaning “which was to be done” from the Latin “quod erat faciendum”
 
   
(Read Only)pid=24715
(5) Posted by shankar ram [Friday, May 5, 2023 17:00]

From Wikipedia, the free encyclopedia (https://en.wikipedia.org/wiki/Tombstone_(typography))
Tombstone (typography)

Various forms of the end-of-proof symbol

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]

In Unicode, it is represented as character U+220E ∎ END OF PROOF. Its graphic form varies, as it may be a hollow or filled rectangle or square.

In AMS-LaTeX, the symbol is automatically appended at the end of a proof environment begin{proof} ... end{proof}. It can also be obtained from the commands qedsymbol, qedhere or qed (the latter causes the symbol to be right aligned).[3]

It is sometimes called a "Halmos finality symbol" or "halmos" after the mathematician Paul Halmos, who first used it in a mathematical context in 1950.[4] He got the idea of using it from seeing end marks in magazines, that is, typographic signs that indicate the end of an article. In his memoir I Want to Be a Mathematician, he wrote the following:[1]

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. It is most frequently called the 'tombstone', but at least one generous author referred to it as the 'halmos'.
 
   
(Read Only)pid=24716
(6) Posted by Hauke Reddmann [Saturday, May 6, 2023 08:41]

@Shankar: And indeed, that one I used in my thesis.
(And would find it a good choice.)
 
 
(Read Only)pid=24718

No more posts


MatPlus.Net Forum General I need a sign