notation "\naturals" non associative with precedence 90 for @{'N}.
notation "\rationals" non associative with precedence 90 for @{'Q}.
notation "\reals" non associative with precedence 90 for @{'R}.
notation "\naturals" non associative with precedence 90 for @{'N}.
notation "\rationals" non associative with precedence 90 for @{'Q}.
notation "\reals" non associative with precedence 90 for @{'R}.