Motion M0034.01 -- Notations

[Michel Hack <mhack@xxxxxxx>]

I vote YES on Ulrich's Notation1 motion.

I do this with the assumption that "Ibar" is interpreted as an operator
on Fbar, just as the overbar is an operator on both I and F -- in order
to be able to express various interval types economically.

(The I operator, applied to a format, yields a set of intervals over
the number space denoted by that format.  The bar operator, applied
to a format, performs affine completion.  The bar operator, applied
to the I operator, causes the Empty interval to be included among the
intervals.)

Michel.
---Sent: 2012-05-29 20:42:01 UTC