winningasfen.blogg.se - Microsoft word not equal sign

#Microsoft word not equal sign mod#

(2007), Encapsulation of State with Monad Transformers, Ph.D.

^ Hayes, Ellen (1897), Algebra: For High Schools and Colleges, J.

Gauss's Disquisitiones Arithmeticae, Springer, p. 21, ISBN 978-0-0.

^ Goldstein, Catherine Schappacher, Norbert Schwermer, Joachim (2007), The Shaping of Arithmetic after C.F.

^ Cajori, Florian (2013), A History of Mathematical Notations, Dover Books on Mathematics, Courier Dover Publications, p. 418, ISBN 978-6-7.

Remark on notation: throughout this book, we frequently, though not exclusively, use the symbol ≡ for definitional equality. Introduction to higher order categorical logic.

^ Gallian, Joseph (2009), Contemporary Abstract Algebra (7th ed.), Cengage Learning, p. 16, ISBN 978-9-7.

^ Dube, Rakesh Pandey, Adesh Gupta, Ritu (2006), Discrete Structures and Automata Theory, Alpha Science Int'l Ltd., p. 277, ISBN 978-1-84265-256-5.

^ Hurley, Patrick (2014), A Concise Introduction to Logic (12th ed.), Cengage Learning, p. 338, ISBN 978-6-7.

^ Lamport, Leslie (1994), LaTeX: A Document Preparation System (2nd ed.), Addison-Wesley, p. 43.

For example, HC≡CH is a common shorthand for acetylene (systematic name: ethyne). In chemistry, the triple bar can be used to represent a triple bond between atoms. In botanical nomenclature, the triple bar denotes homotypic synonyms (those based on the same type specimen), to distinguish them from heterotypic synonyms (those based on different type specimens), which are marked with an equals sign.

#Microsoft word not equal sign mod#

In number theory, it has been used beginning with Carl Friedrich Gauss (who first used it with this meaning in 1801) to mean modular congruence: a ≡ b ( mod N ). Particularly, in geometry, it may be used either to show that two figures are congruent or that they are identical. In mathematics, the triple bar is sometimes used as a symbol of identity or an equivalence relation (although not the only one other common choices include ~ and ≈). Gottlob Frege used a triple bar for a more philosophical notion of identity, in which two statements (not necessarily in mathematics or formal logic) are identical if they can be freely substituted for each other without change of meaning. Alternatively, in some texts ⇔ is used with this meaning, while ≡ is used for the higher-level metalogical notion of logical equivalence, according to which two formulas are logically equivalent when all models give them the same value. This is a binary operation whose value is true when its two arguments have the same value as each other. It can refer to the if and only if connective, also called material equivalence. In logic, it is used with two different but related meanings.