There's equality at the meta-level (where we're talking about structures, interpretations, formulas and so forth), and the equality symbol that can appear in a formula. Unfortunately it is common not to distinguish visually between the two kinds of equals signs and instead let the reader figure out from the context which of them makes sense.

There, you'll find distinctions in the way the equality symbol is used in logics: FOL (First Order Logic) with identity (where = is a primitive logic symbol), and this is what your author intends when discussing $=$ as a logical symbol, which is its most common usage in first-order-logic). As a logical symbol, its incorporation adds the "Axioms ...

Jun 8, 2022 · equality: $=$ membership: $\in$ Does this sound strange? I'm not sure because I have seen some mathematicians use the word "equality" for the symbol but perhaps they are not native English speakers. Reply to some comments: To @xander-henderson: For example, there are many famous propositions like Cauchy-Schwarz inequality. It is a proposition ...

The most common one however is $ := $. The symbol $\equiv$ is usually used to denote a logical equivalence. The symbol $\stackrel{\mathrm{def}}=$ should just be exiled along with $\div$. Ultimately, the symbol you choose is a matter of personal preference. I personally use $:=$.

May 6, 2015 · Equality $=$ is usually used for equality. $\equiv$ is occasionally used for "identically equal to," which is in a sense stronger than equality, by denoting that the thing on the left and the thing on the right are equal in a sense that they are identities of each other.

The symbol ≅ is used for isomorphism of objects of a category, and in particular for isomorphism of categories (which are objects of CAT). The symbol ≃ is used for equivalence of categories. At least, this is the convention used in this book and by most category theorists, although it is far from universal in mathematics at large.

Mar 18, 2011 · I have seen variants of these used by people who predate widespread knowledge of computer programming. It would be interesting to know the earliest uses of a special symbol for this (and what symbols were chosen). An advantage of $:=$ is that it has a partner, $=:$, allowing it to distinguish which side is equal to the other by definition.

Oct 19, 2017 · However, the textbook explained it in such a way:" For example, $=v_1v_2$ is an atomic formula, since $=$ is a two-place predicate symbol and...". But $=$ was listed and was obviously a Logical symbol ( a "superset" of equality symbol), not a parameter( a "superset" of Predicate symbols ). How could $=$ be both a logical symbol and predicate ...

Apr 12, 2016 · I have been wondering for a long time whether there is a unequivocal way to define and use the symbols commonly adopted for an approximate equality between two quantities. I am a physicist, and I often see them used interchangeably and more or less only accordingly to the taste of the author or lecturer.

and "What is the relation between these two expressions?" and I was hoping for an answer to the latter. In any case their answer might be the same "There is a solution ⇔ These expressions have an equality", but I was hoping for some new notations to avoid having to assume things to begin with. $\endgroup$ –