4
$\begingroup$

I was looking for a way to put 'des' over the equals sign in latex and stumbled upon this symbol

$\circeq$

What are mathematicians using it for?

$\endgroup$
1
$\begingroup$

A quick Google search shows a few uses of $\circeq$ to represent a binary relation. Examples:

If $\Sigma, \Delta$ are sets of sentences, say that $\Sigma \circeq \Delta$ iff they have the same models.

and

Let $\circeq$ be the relation on the set $P(\mathbb R)$ of all polynomials with real coefficients defined by $f \circeq g$ iff $f$ and $g$ have a root in common.

The character is also known as "ring equal to".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.