A relational symbol combining curly equality and precedence to denote a specific ordering relation in advanced algebra.
