# Symbols:D/Ordered Integral Domain

$\struct {D, +, \circ, \le}$
This specifies an ordered integral domain which is totally ordered by the ordering $\le$.
Its $\LaTeX$ code is \struct {D, +, \circ, \le} .