| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
On 4 Feb 2012, at 20:07, Ulrich Kulisch wrote:
> I remember that at the end of the discussion we agreed to use \overline{R} for the extended reals. However, in later mails R* was used again. I think we should switch back to \overline{R}.
Entirely my fault. It's \overline{R} from now on.
John P