[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