Template:Short description Template:About Template:Redirect-several Template:Infobox symbol
The equals sign (British English) or equal sign (American English), also known as the equality sign, is the mathematical symbol Template:Char, which is used to indicate equality.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> In an equation it is placed between two expressions that have the same value, or for which one studies the conditions under which they have the same value.
In Unicode and ASCII it has the code point U+003D.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> It was invented in 1557 by the Welsh mathematician Robert Recorde.
HistoryEdit
Prior to 16th century there was no common symbol for equality, and equality was usually expressed with a word, such as aequales, aequantur, esgale, faciunt, ghelijck or gleich, and sometimes by the abbreviated form aeq, or simply Template:Angbr and Template:Angbr.<ref name=":0">Template:Cite encyclopedia</ref> Diophantus's use of Template:Angbr, short for {{#invoke:Lang|lang}} (Template:Tlit 'equals'), in Arithmetica (Template:Circa) is considered one of the first uses of an equals sign.<ref>Template:Cite book</ref>
The Template:Char symbol, now universally accepted in mathematics for equality, was first recorded by the Welsh mathematician Robert Recorde in The Whetstone of Witte (1557).<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> The original form of the symbol was much wider than the present form. In his book Recorde explains his design of the "Gemowe lines" (meaning twin lines, from the Latin Template:Wikt-lang)<ref name="gemellus">See also geminus and Gemini.</ref>
<templatestyles src="Template:Blockquote/styles.css" />
{{#invoke:Lang|lang}}
And to avoid the tedious repetition of these words: "is equal to" I will set as I do often in work use, a pair of parallels, or duplicate lines of one [the same] length, thus: =, because no 2 things can be more equal. {{#if:Template:Cite book the third page of the chapter "The rule of equation, commonly called Algebers Rule."|{{#if:yes|}}— {{#if:|, in }}Template:Comma separated entries}}
{{#invoke:Check for unknown parameters|check|unknown=Template:Main other|preview=Page using Template:Blockquote with unknown parameter "_VALUE_"|ignoreblank=y| 1 | 2 | 3 | 4 | 5 | author | by | char | character | cite | class | content | multiline | personquoted | publication | quote | quotesource | quotetext | sign | source | style | text | title | ts }}
The symbol Template:Char was not immediately popular. After its introduction by Recorde, it was not used again in print until 1618 (61 years later), in an anonymous Appendix in Edward Wright's English translation of Descriptio, by John Napier. It was not until 1631 that it received more than general recognition in England, being adopted as the symbol for equality in three influential works, Thomas Harriot's Artis analyticae praxis, William Oughtred's Clavis mathematicae and Richard Norwood's Trigonometria.<ref>Template:Cite book</ref> Later used by John Wallis, Isaac Barrow and Isaac Newton, which helped it to spread to continental Europe.
Competing symbolsEdit
There were several other competing symbols for equality, especially outside of England around the 16th and 17th centuries, and Recorde's version made no significant influence in the European continent until 1650 or 1660. In 1559 the French monk Johannes Buteo published his Logistica using the symbol<math>\ [ </math> for equality. In 1571 Wilhelm Xylander published an edition of Diophantus' Arithmetica in which two parallel vertical lines Template:Char were used for equality.Template:Efn This version was adopted by several prominent writers, including Giovanni Glorioso, Cardinal Michelangelo Ricci, and many French and Dutch mathematicians in the hundred years after, including René Descartes in 1621.
A major competitor to Recorde's sign was Descartes' own symbol, introduced in his La Géométrie (1637). In fact, Descartes himself used the sign Template:Char for equality in a letter in 1640. Descartes does not give any reason for introducing his new symbol; however, Florian Cajori suggests it is because Template:Char was also being used for a difference operation at the time. Due to the prominence of La Géométrie, by 1675, Descartes' symbol gained favour over Recorde's in Europe, and most 17th-century writers on the continent either used Descartes' notation for equality or none at all. Around the turn of the 18th century, Recorde's notation gained favour rapidly. The dominating trend in mathematics of the time was differential and integral calculus. The fact that both Newton and Gottfried Wilhelm Leibniz used Recorde's symbol led to its general adoption.
Usage in mathematics and computer programmingEdit
In mathematics, the equals sign can be used as a simple statement of fact in a specific case ("Template:Nowrap"), or to create definitions ("Template:Nowrap"), conditional statements ("Template:Nowrap"), or to express a universal equivalence ("Template:Nowrap").
The first important computer programming language to use the equals sign was the original version of Fortran, FORTRAN I, designed in 1954 and implemented in 1957. In Fortran, Template:Char serves as an assignment operator: Template:Nowrap sets the value of <syntaxhighlight lang="text" class="" style="" inline="1">X</syntaxhighlight> to 2. This somewhat resembles the use of Template:Char in a mathematical definition, but with different semantics: the expression following Template:Char is evaluated first, and may refer to a previous value of <syntaxhighlight lang="text" class="" style="" inline="1">X</syntaxhighlight>. For example, the assignment Template:Nowrap increases the value of <syntaxhighlight lang="text" class="" style="" inline="1">X</syntaxhighlight> by 2.
A rival programming-language usage was pioneered by the original version of ALGOL, which was designed in 1958 and implemented in 1960. ALGOL included a relational operator that tested for equality, allowing constructions like Template:Nowrap with essentially the same meaning of Template:Char as the conditional usage in mathematics. The equals sign was reserved for this usage.
Both usages have remained common in different programming languages into the early-21st century. As well as Fortran, Template:Char is used for assignment in such languages as C, Perl, Python, AWK and their descendants. But Template:Char is used for equality and not assignment in the Pascal family, Ada, Eiffel, APL, and other languages.
A few languages, such as BASIC and PL/I, have used the equals sign to mean both assignment and equality, distinguished by context. However, in most languages where Template:Char has one of these meanings, a different character or, more often, a sequence of characters is used for the other meaning. Following ALGOL, most languages that use Template:Char for equality use Template:Char for assignment, although APL, with its special character set, uses a left-pointing arrow.
Fortran did not have an equality operator (it was only possible to compare an expression to zero, using the arithmetic IF statement) until FORTRANTemplate:NbspIV was released in 1962, since when it has used the four characters <syntaxhighlight lang="text" class="" style="" inline="1">.EQ.</syntaxhighlight> to test for equality. The language B introduced the use of Template:Char with this meaning, which has been copied by its descendant C and most later languages where Template:Char means assignment.
Some languages additionally feature the "spaceship operator", or three-way comparison operator, Template:Char, to determine whether one value is less than, equal to, or greater than another.
Several equals signsEdit
In some programming languages, ==
and ===
are used to check equality, so 1844 == 1844
will return true.
In PHP, the triple equals sign, <syntaxhighlight lang="text" class="" style="" inline="1">===</syntaxhighlight>, denotes value and type equality,<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> meaning that not only do the two expressions evaluate to equal values, but they are also of the same data type. For instance, the expression Template:Nowrap is true, but Template:Nowrap is not, because the number 0 is an integer value whereas false is a Boolean value.
JavaScript has the same semantics for <syntaxhighlight lang="text" class="" style="" inline="1">===</syntaxhighlight>, referred to as "equality without type coercion". However, in JavaScript the behavior of <syntaxhighlight lang="text" class="" style="" inline="1">==</syntaxhighlight> cannot be described by any simple consistent rules. The expression Template:Nowrap is true, but Template:Nowrap is false, even though both sides of the <syntaxhighlight lang="text" class="" style="" inline="1">==</syntaxhighlight> act the same in Boolean context. For this reason it is sometimes recommended to avoid the <syntaxhighlight lang="text" class="" style="" inline="1">==</syntaxhighlight> operator in JavaScript in favor of <syntaxhighlight lang="text" class="" style="" inline="1">===</syntaxhighlight>.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
In Ruby, equality under <syntaxhighlight lang="text" class="" style="" inline="1">==</syntaxhighlight> requires both operands to be of identical type, e.g. Template:Nowrap is false. The <syntaxhighlight lang="text" class="" style="" inline="1">===</syntaxhighlight> operator is flexible and may be defined arbitrarily for any given type. For example, a value of type <syntaxhighlight lang="text" class="" style="" inline="1">Range</syntaxhighlight> is a range of integers, such as <syntaxhighlight lang="text" class="" style="" inline="1">1800..1899</syntaxhighlight>. Template:Nowrap is false, since the types are different (Range vs. Integer); however Template:Nowrap is true, since <syntaxhighlight lang="text" class="" style="" inline="1">===</syntaxhighlight> on <syntaxhighlight lang="text" class="" style="" inline="1">Range</syntaxhighlight> values means "inclusion in the range".<ref>Template:Cite book</ref> Under these semantics, ===
is non-symmetric; e.g. 1844 === (1800..1899)
is false, since it is interpreted to mean Integer#===
rather than Range#===
.<ref>{{#invoke:citation/CS1|citation
|CitationClass=web
}}</ref>
Other usesEdit
SpellingEdit
Tone letterEdit
The equals sign is also used as a grammatical tone letter in the orthographies of Budu in the Congo-Kinshasa, in Krumen, Mwan and Dan in the Ivory Coast.<ref>Template:Cite book</ref><ref>Template:Cite book</ref> The Unicode character used for the tone letter (Template:Unichar)<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> is different from the mathematical symbol (U+003D).
Personal namesEdit
Template:Contains special characters
A possibly unique case of the equals sign of European usage in a person's name, specifically in a double-barreled name, was by the aviation pioneer Alberto Santos-Dumont, as he is also known not only to have often used a double hyphen Template:Char resembling an equal sign Template:Char between his two surnames in place of a hyphen, but also seems to have personally preferred that practice, to display equal respect for his father's French ethnicity and the Brazilian ethnicity of his mother.<ref>Template:Citation</ref>
Instead of a double hyphen, the equals sign is sometimes used in Japanese as a separator between names. In Ojibwe, the readily available equals sign on most keyboards is commonly used as a substitute for a double hyphen.
LinguisticsEdit
In linguistic interlinear glosses, an equals sign is conventionally used to mark clitic boundaries: the equals sign is placed between the clitic and the word that the clitic is attached to.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
ChemistryEdit
In chemical formulas, the two parallel lines denoting a double bond are commonly rendered using an equals sign (hence, a triple bond is commonly rendered using a triple bar).
LGBT activismEdit
Template:Expand section In recent years, the equals sign has been used to symbolize LGBT rights. It has been used since 1995 by the Human Rights Campaign, which lobbies for marriage equality, and subsequently by the United Nations Free & Equal, which promotes LGBT rights at the United Nations.<ref>"HRC Story: Our Logo." Template:Webarchive
The Human Rights Campaign. HRC.org, Retrieved 4 December 2018.</ref>
Telegrams and TelexEdit
In Morse code the equals sign is encoded by the letters B (-...) and T (-) run together (-...-).Template:Citation needed The letters BT stand for Break Text, and are put between paragraphs, or groups of paragraphs in messages sent via Telex,Template:Citation needed a standardised tele-typewriter. The sign, used to mean Break Text, is given at the end of a telegram to separate the text of the message from the signature.Template:Citation needed
Related symbolsEdit
Approximately equalEdit
{{#invoke:Labelled list hatnote|labelledList|Main article|Main articles|Main page|Main pages}}
Symbols used to denote items that are approximately equal include the following:<ref name = "The Unicode Consortium">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
- ≈ (Template:Unichar, LaTeX \approx)
- ≃ (Template:Unichar, LaTeX \simeq), a combination of Template:Char and Template:Char, also used to indicate asymptotic equality
- ≅ (Template:Unichar, LaTeX \cong), another combination of ≈ and =, which is also sometimes used to indicate isomorphism or congruence
- Template:Not a typo (Template:Unichar, LaTeX \sim), which is also sometimes used to indicate proportionality or similarity, being related by an equivalence relation, or to indicate that a random variable is distributed according to a specific probability distribution (see also tilde), or alternatively between two quantities to indicate they are of the same order of magnitude.
- ∽ (Template:Unichar, LaTeX \backsim), which is also used to indicate proportionality
- ≐ (Template:Unichar, LaTeX \doteq), which can also be used to represent the approach of a variable to a limit
- ≒ (Template:Unichar, LaTeX \fallingdotseq), commonly used in Japan, Taiwan, and Korea.
- ≓ (Template:Unichar, LaTeX \risingdotseq)
In some areas of East Asia, such as Japan, "≒" is used to mean "the two terms are almost equal", but in other areas and specialized literature such as mathematics, "≃" is often used. In addition to its mathematical meaning, it is sometimes used in Japanese sentences with the intention of "almost the same".
Not equalEdit
The symbol used to denote inequation (when items are not equal) is a slashed equal sign Template:Char (U+2260). In LaTeX, this is done with the "\neq" command.
Most programming languages, limiting themselves to the 7-bit ASCII character set and typeable characters, use <syntaxhighlight lang="text" class="" style="" inline="1">~=</syntaxhighlight>, <syntaxhighlight lang="text" class="" style="" inline="1">!=</syntaxhighlight>, <syntaxhighlight lang="text" class="" style="" inline="1">/=</syntaxhighlight>, or <syntaxhighlight lang="text" class="" style="" inline="1"><></syntaxhighlight> to represent their Boolean inequality operator.
IdentityEdit
The triple bar symbol Template:Char (U+2261, LaTeX \equiv) is often used to indicate an identity, a definition (which can also be represented by Template:Unichar or Template:Unichar), or a congruence relation in modular arithmetic. Also, in chemistry, the triple bar can be used to represent a triple bond between atoms.
IsomorphismEdit
The symbol Template:Char is often used to indicate isomorphic algebraic structures or congruent geometric figures.
In logicEdit
Equality of truth values (through bi-implication or logical equivalence), may be denoted by various symbols including Template:Char, Template:Char, and Template:Char.
In geometryEdit
The symbol <math>\bumpeq </math> (LaTeX \bumpeq) is used to show two directed line segments have the same length and direction, equipollence.
Edit
Additional precomposed symbols with code points in Unicode for notations related to the equal sign include the following:<ref name="The Unicode Consortium"/>
- ≌ (Template:Unichar)
- ≔ (Template:Unichar) (used to define a symbol or assign a variable)
- ≕ (Template:Unichar) (defines the symbol on the right-hand side)
- ≖ (Template:Unichar)
- ≗ (Template:Unichar)
- ≘ (Template:Unichar)
- ≙ (Template:Unichar) (the left-hand side is an estimator for the right-hand side)
- ≚ (Template:Unichar)
- ≛ (Template:Unichar)
- ≜ (Template:Unichar) (used to define a symbol)
- ≞ (Template:Unichar)
- ≟ (Template:Unichar)
- ⩴ (Template:Unichar) (see also Backus–Naur form for <syntaxhighlight lang="text" class="" style="" inline="1">::=</syntaxhighlight>)
- ⩵ (Template:Unichar)
- ⩶ (Template:Unichar)
Incorrect usageEdit
The equals sign is sometimes used incorrectly within a mathematical argument to connect math steps in a non-standard way, rather than to show equality (especially by early mathematics students).
For example, if one were finding the sum, step by step, of the numbers 1, 2, 3, 4, and 5, one might incorrectly write
- 1 + 2 = 3 + 3 = 6 + 4 = 10 + 5 = 15.
Structurally, this is shorthand for
- ([(1 + 2 = 3) + 3 = 6] + 4 = 10) + 5 = 15,
but the notation is incorrect, because each part of the equality has a different value. If interpreted strictly as it says, it would imply that
- 3 = 6 = 10 = 15 = 15.
A correct version of the argument would be
- 1 + 2 = 3, 3 + 3 = 6, 6 + 4 = 10, 10 + 5 = 15.
This difficulty results from subtly different uses of the sign in education. In early, arithmetic-focused grades, the equals sign may be operational; like the equal button on an electronic calculator, it demands the result of a calculation. Starting in algebra courses, the sign takes on a relational meaning of equality between two calculations. Confusion between the two uses of the sign sometimes persists at the university level.<ref>Template:Cite journal</ref>
EncodingsEdit
Related symbols
- Template:Unichar
- Template:Unichar
- Template:Unichar
- Template:Unichar
- Template:Unichar
- Template:Unichar
- Template:Unichar
- Template:Unichar
- Template:Unichar
See alsoEdit
NotesEdit
Template:ReflistTemplate:Notelist
ReferencesEdit
- Template:Cite book
- Boyer, C. B.: A History of Mathematics, 2nd ed. rev. by Uta C. Merzbach. New York: Wiley, 1989 Template:ISBN (1991 pbk ed. Template:ISBN)