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