a + b [?] R { \ displaystyle a + b \ in \ mathbb { R } } a  @-@  b [?] R { \ displaystyle a @-@ b \ in \ mathbb { R } } a b [?] R { \ displaystyle ab \ in \ mathbb { R } } a b [?] R , [?] b [?] 0 { \ displaystyle { \ frac { a } { b } } \ in \ mathbb { R } , \ forall { b } \ neq 0 }.
