I was working on learning some terms for math analysis when I came upon the following problem: Suppose a is a fixed real number.
The negation of $\exists x\in\mathbb R(x>a)$ is equivalent to $\forall x\in\mathbb R \lnot(x>a)$ .
From the properties of inequalities, this is equivalent to $ \forall x\in bR(x \leq a).$
My question is, what exactly does $bR$ mean in this context and how is it spoken? I gather that the first statement is, 'for all x in the set of all real numbers, there is no x greater than a'. I just haven't seen that alternate definition.
As a note, I'm not great at mathjax so in the second block, both of the R's should be the 'all real numbers R' and the bR is in italics.
People who frequently use a particular symbol or typeface will often come up with macros, to reduce the number of characters that they have to type.
For example, let's suppose someone frequently uses this typeface: $\Bbb N,$ $\Bbb Z,$ $\Bbb Q,$ $\Bbb A,$ $\Bbb R,$ $\Bbb C,$ $\Bbb{ON}.$ (Feel free to ask me what any/all of these typically mean.) Well, rather than having to make $4$ or more keystrokes every time they want to use this typeface, TeX allows one to preprogram macros to make it happen quickly.
The above examples don't necessarily illustrate the utility as well as it might. I'll draw from personal experience to give a slightly better one. At one point, I let "\di(integrand,variable,lower bound,upper bound)" be a shortcut for "\int_{lower bound}^{upper bound}integrand\,d variable."
At any rate, I concur fully with Hans Lundmark that the person typesetting the text forgot a "\" in their setup.