On 27/02/17 18:22, Lawrence Paulson wrote: > > Note: I have no suggestions for improving the star notation of > non-standard analysis, mentioned in the last paragraph. Can you point to some literature or papers that use the notation in a canonical form? Makarius