Re: Draft Standard Text, V02.1

[Jürgen Wolff von Gudenberg <wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

John,
 good shot ! thank you !
i put it on the website.

some typos or formulations

4.4.1.
I usually define interval extension as expression where all real 
entities and operators are substituted by interval counterparts.
Then I argue that the result contains the range.
You define it the other way. why ?

the very last line before the note contains
x \in x  y \in y
with identical letters (at least in my printout)

5.2 first paragraph
IR should be emphasized \mathbb{IR}

5.2.1 second item in the note
change nor to not

5.2.2 first item in the note
change +-1  to \plusminus \infty

5.3.7.
i suggest to delete the last item in the list
(It is mathematically ....)

5.4.1. your internal note
use ";" as separator in interval literal  instead of ","

regards
Juergen