Changes between Version 3 and Version 4 of CompositionAsDot


Ignore:
Timestamp:
Dec 8, 2005 2:53:38 PM (10 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CompositionAsDot

    v3 v4  
    2020 * We lose . as composition. Mostly this doesn't matter as $ is probably more common in reality anyway. Perhaps use
    2121   {{{`o`}}} as infix composition instead if it is really important.  Note that {{{`o`}}} is three characters - it
    22    would be nicer to use plain {{{o}}} infix, but that would require another special lexical rule.
     22   would be nicer to use plain {{{o}}} infix, but that would require another special lexical rule.  Others alternatives
     23   for composition include [wiki:Unicode] symbols such as centred-dot ˙, a bullet point, an unfilled bullet point, the
     24   degree sign °, the masculine ordinal indicator °, stroked circle ø, and so on.  All of these resemble the mathematical
     25   symbol, and some of them are available in the Latin-1 subset.
    2326 * We need to make a special case of .. in the [m .. n] case.