Motion 13 terminology and notation
Hi,
Motion 13 should follow the terminology and notation defined by
previous motions.
The last paragraph of the introduction should follow Motion 6.04,
in particular its section 3.6.1 (FF is not necessarily a set of
floating-point numbers, and FF should contain the infinities, as
described by this section).
In Section 2 of Motion 13, the bounds should not be denoted a_1
and a_2, but with bars (see Motion 1).
Typography: for "inf" (and other words, but in particular for "inf")
in math mode, please use \mathit{inf} for correct kerning.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon)