[K2] & sci

[Thierry Bouche <Thierry.Bouche AT ujf-grenoble.fr>]

Humm, ça dort.

Je signale aux intervenants sur ce sujet la publication du standard
MathML que le chef de la liste a déjà évoquée ici. 
(voir <http://www.w3.org/TR/PR-math/toc.html>). Ils ne retiennent que
3 types d'objets : identifieurs, nombres et opérateurs [typiquement,
les identifieurs (?) sont en  italique et munis d'approches corrigées,
les nombres en romain, les opérateurs entourés d'espaces] les
délimiteurs sont gérés de façon automatique.

Un minimum, pour K2, serait d'importer et d'exporter du MathML, de
tenir compte de [et de permettre de contrôler] tous les paramètres
déjà prévus, tout en offrant une interface conviviale et une
correction automatique d'erreur dans les démonstrations. S'ils savent
faire ça, je pense qu'on pourra leur faire confiance pour le reste...

Sur les espaces [choses évoquées par J.-D. R. {suis bon, là ?}] voici
ce qui est prévu (on voit qu'unicode en a prévu quelques uns, avec des
noms très glyphiques, à mon goût, les « entités mathml » ayant des
noms beaucoup plus raisonnables) :



     Entity name
                     Unicode
                                              Description
 &Tab;
                     X09
                            tabulator stop
 &NewLine;
                     X10
                            force a line break
 &IndentingNewLine;
                     --
                            force a line break and indent appropriately on 
next line
 &NoBreak;
                     --
                            never break line here
 &GoodBreak;
                     --
                            if a linebreak is needed, here is a good spot
 &BadBreak;
                     --
                            if a linebreak is needed, try to avoid breaking 
here
 &Space;
                     0020
                            one em of space in the current font
 &NonBreakingSpace;
                     00A0
                            space that is not a legal breakpoint
 &ZeroWidthSpace;
                     200B
                            space of no width at all
 &VeryThinSpace;
                     2009
                            space of width 1/18 em
 &ThinSpace;
                     2006
                            space of width 3/18 em
 &MediumSpace;
                     2005
                            space of width 4/18 em
 &ThickSpace;
                     2004
                            space of width 5/18 em
 &NegativeVeryThinSpace;
                     --
                            space of width -1/18 em
 &NegativeThinSpace;
                     --
                            space of width -3/18 em
 &NegativeMediumSpace;
                     --
                            space of width -4/18 em
 &NegativeThickSpace;
                     --
                            space of width -5/18 em
 &InvisibleComma;
                     --
                            used as a separator, e.g., in indices (Section 
3.2.4)
  &InvisibleTimes;
                     --
                            marks multiplication when it is understood 
without a mark
                            (Section 3.2.4)
 &ApplyFunction;
                     --
                            character showing function application in 
presentation tagging
                            (Section 3.2.4)
 
(les lignes se lisent en cascade, désolé, c'est un tableau HTML qui se
recopie comme ça) (-- = pas dans unicode)

Th. B.
« et, quoique l'on pourrait mettre un point d'exclamation à la fin de
chaque phrase, ce n'est peut-être pas une raison pour s'en dispenser ! »
                                     Comte de Lautréamont, 1869.

PS j'ai vu que D. Lemon sera au congrès ATypI à Lyon cette année,
faudrait lui avoir donné notre cahier des charges avant, non ? Comme
ça on pourra toujours le séquestrer et le mettre sous presse rue de la
poulaillerie tant qu'il n'obtempère point !
PPS Z'avez vu Copal ? Une horreur, non ?

Th. B.
« et, quoique l'on pourrait mettre un point d'exclamation à la fin de
chaque phrase, ce n'est peut-être pas une raison pour s'en dispenser ! »
                                     Comte de Lautréamont, 1869.