D ⏞ the domain = ⏟ is { ⏞ the set ∀ x ⏟ of all x {\displaystyle {\begin{aligned}\overbrace {D} ^{\text{the domain}}\underbrace {=} _{\text{is}}\overbrace {\{} ^{\text{the set}}\underbrace {\forall x} _{\text{of all x}}\end{aligned}}}