Well, I want to make the real numbers into a directed set by directing them towards a number x0, and then the notation ≤ would clash with the ordinary order of the reals. Ideally, we would have a separate symbol, such as a round less-that symbol, or a less-than symbol with a tilde underneath. AxelBoldt
Search Encyclopedia
|
Featured Article
|