Definition:Equivalence Class/Technical Note

From ProofWiki
Jump to navigation Jump to search

Technical Note on Equivalence Class

The $\LaTeX$ code for \(\eqclass {x} {\RR}\) is \eqclass {x} {\RR} .

This is a custom construct which has been set up specifically for the convenience of the users of $\mathsf{Pr} \infty \mathsf{fWiki}$.

Note that there are two arguments to this operator: the part between the brackets, and the subscript.

If either part is a single symbol, then the braces can be omitted, for example:

\eqclass x \RR