A relational symbol indicating a definition where the defined term appears on the right side, opposite to \coloneqq.
