[Om] Content-dictionary notations draft
Paul Libbrecht
paul at activemath.org
Tue Mar 20 17:27:02 CET 2007
Le 20 mars 07 à 17:08, Professor James Davenport a écrit :
> On Tue, 20 Mar 2007, Paul Libbrecht wrote:
>> please find at:
>> http://eds.activemath.org/?q=en/node/81
>> a first draft specifying the elements that can describe mathematical
>> notations associated to each symbols.
> I don't quite understand the factorial example: isn't there as !
> m9ssing
> from the presentation, somehow?
Yes, it was missing... and is now fixed.
>> The idea is to provide space for a declarative encoding of the
>> "default renderings" of each symbol-usage pattern which can be
>> inserted into (enhanced) content-dictionaries. It should allow tools
>> to graspe them and offer quality rendering even for symbols "just
>> found in a CD file encountered on the sidewalk".
> As Paul knows, I personally believe that they belong ALONGSIDE the CD,
> rather than IN them: see
> http://staff.bath.ac.uk/masjhd/Drafts/Utility.pdf
> but the debate is worth having.
actually I missed the fact that it's to be aside... do you care to
elaborate why ? Or better... why only ??
I'm fine to have it in such an annex as an STS file!
paul
More information about the Om
mailing list