Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Anne van Kesteren wrote:
 but just putting  
 this in the specification as well and requiring UAs to support it by  
 default seems too much to ask, imho
Maybe, but taking into account that WHATWG does not want to establish several 
levels 
of compliance, what can we do?

 I see at least three things in the specification that are in need of  
 improvement. (1) There need to be more examples. I guess this is true  
 for most specifications out there... 
It is not specification yet, at the moment we just want to know whether 
proposal like this is accaptable for WHATWG and to collect some preliminary 
feedback
from community.

 (2) The intend of the HTML  
 parsing rules is there, but they are not implementable. For example,  
 according to the specification:

   fraction17den125/fraction
 
 ... comes out as:

 fraction
   num17/num
   den125/den
   /fraction
 ... now where did that whitespace come from? 
Issue with white space is just typo and will be fixed. Note however that 
parsing rules does not
fully follow SGML conventions, because as far as I know WHATWG does not 
consider HTML5 to be SGML based
markup, if however compatibility with SGML is still required please let us know 
and parsing rules will be changed accordingly
(for usability reasons we prefer to keep current rules).

 (3) Error handling. What  
 happens when I nest elements where they not belong etc. Does that  
 affect parsing? 
It is important issue, I think parsing should not be affected.
Normative error handling mechanism could be a problem, 
it can be provided but is unlikely to be followed by implementations,
and thus will be useless. We'll return to issue later today and with some 
examples.
 Or for content models like matrix element or vector  
 element followed by either marker or submark what happens when I  
 actually write down a submark followed by marker followed by  
 matrix? I guess these issues are mostly relevant for parsing  
 (styling is pretty clear once that's defined), but it should be clear  
 what the semantics are in such cases as well.
Introducing too complex parsing rules will spoil our efforts to keep
markup easy to implement. Note in particular that in XHTML version we
don't want to introduce any special parsing rules at all. 
Current proposal does not require special parser for XHTML, breaking this rule
would reduce chances of markup to be implemented. In HTML we can provide
some special parsing and error handling rules, but not too much otherwise we 
risk
to make markup difficult to implement for the sake of no actual functionality.

-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Anne van Kesteren wrote:
 I've already sort of proposed to add Ruby to HTML. Simple Ruby is  
 already supported by Internet Explorer in HTML (I think the XHTML  
 module was based on that implementation) and it makes sense to have it  
 for certain foreign (to me at least) use cases.
Unfortunately Ruby does not address our needs. One problem is implementation:
it is not suitable for rendering with CSS2.1 while CSS3 Ruby module is unlikely 
to be implemneted in near future. Another problem is that nesting of Ruby 
inside Ruby is not allowed, this gives rise to nesting limitations that affect 
some mathematical formulae. One more small detail is that Ruby, unless base is 
always simple like (#PCDATA), can not be processed by XSL formatters either (it 
this respect current proposal is also not perfect).

-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Alexey Feldgendler wrote:
 Why have f at all? When I'm writing about varx/var, why should I  
 write fvarx/var/f? What would be the difference? I think a  
 formula element is only needed for what is called display equations --  
 they are rendered out of line, usually centered, and sometimes numbered.

 That way, inline math would require no special element at all -- just  
 write math in the middle of a sentence, and it should work.  On the other  
 hand, when math is put inside a formula, it's displayed on a line by  
 itself, centered, numbered etc. And, by the way, one can actually have  
 just plain text inside a formula, such as some statement in prose that  
 needs to be centered and numbered like other formulae.
It matters from both structural (marks formula explicitly) and presentational 
point of view (consider line breaks inside formulae, text justification 
algorithms that 
should not affect math formulae, different fonts that user may want to use for 
text 
and maths, possible CSS extensions like text-transformation:math-italic; etc.).


-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Michel Fortin wrote: 
 Use integral and bounds for integrals.
 
  integral
bounds
  sub0/sub
  sup100sup
/bounds
3varx/var dvarx/var
  /integral

There are at least 30 different operators that would require similar markup,
following this line one will have to introduce separate elements for all of 
them.
 Summary
 
 16 new math-specific elements:
 
 *  frac, num, and den
 *  radical, radix, and radicand
 *  matrix, mr, and md
 *  fence
 *  bounds
 *  integral, sum, product
 *  limit
 *  formula
What is the point is restricting scope of markup in this manner. 
Do you think that some of the features in current proposal that are omitted 
here are
not realistic? If so why?

 5 ruby annotation elements:
 *  ruby
 *  rbc, rtc
 *  rb, rt, rp
Ruby in its current form is not the best solution for mathematics.

 3 reused HTML elements:
 *  var
 *  sup, sub

 I think all of these new elements can be styled decently with CSS. 
Excluding Ruby (and partly markup for sums, products and similar stuff).


-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Dan Brickley wrote:
 It would also be both considerate and sensible 
 (if anyone does want to undertake such a task) to talk to the 
 MathML folks first.
So far we are addressing problems that were invented and deployed by MathML 
folks.


-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Web widgets

2006-06-08 Thread Michael(tm) Smith
Hi Ben,

 A couple weeks ago I was at XTech and talked with some Opera developers 
 about the possibility of standardizing a method of doing web widgets 
 similar to the current Opera widgets (and somewhat similar to Dashboard 
 widgets). I am planning on implementing a similar widget functionality for 
 mozilla-based browsers and wanted to share a common API that web developers 
 could count on for multiple browsers.

I remember at least one other person from Opera who was at XTech
who said it sounded like a good idea to consider putting together
a common cross-browser web widgets spec.

So... I don't know what kind of schedule you're working under for
your implementation, but it seems like it would be a good idea to
get some focused discussion on this going soon. Perhaps we could
set up a separate widgets API (or whatever) mailing list

And, FWIW, I planning to be Mountain View June 18-20 for another
meeting, so if you thought it'd be worthwhile to have a face-to-
face discussion, maybe we can meet (in the evening) on one of
those days.

  --Mike


smime.p7s
Description: S/MIME cryptographic signature


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread James Graham

White Lynx wrote:

Dan Brickley wrote:
It would also be both considerate and sensible 
(if anyone does want to undertake such a task) to talk to the 
MathML folks first.

So far we are addressing problems that were invented and deployed by MathML 
folks.


But you are, apparently, assuming that the problems with MathML are a 
result of ignorance on the part of the people working on the spec. 
Perhaps there is a reason they invented a language that did not build on 
the CSS layout primitives e.g. because those layout primitives are not 
sutiable for mathematics (similar to the reason that XUL, though 
CSS-based employs a large number of specific CSS extensions to work in 
a sane way). You have demonstrated that CSS can provide the first 80% 
(or whatever) of what's required for laying out maths - but there seems 
to be no way forward to address the last 20%.


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Oistein E. Andersen wrote:
 As Henri Sivonen put it: «[I]t is futile to insist on semantics that 
 you can't pull out of LaTeX as it is normally authored.» I would 
 like to use a slightly different wording: It is futile to insist on 
 encoding anything that does not change the appearance of a formula as 
 it is written on a blackboard or printed in a book.

Completely agree, semantic should not be fragile. If it does not naturally 
reflect
structure of math formulae then it likely to be abused. This is one of the 
resons
why ISO 12083 follows visual structure of mathematical formulae and why current
proposal follows similar line, with more specific semantics being transfered to 
optional
content layer that is designed to be orthogonal to main structural markup and 
carries additional content information that may be necessary
to provide quality rendering in case of non-visual media types including 
braille and speech
or may be useful for computer algebra system that may need extra content 
information to 
recognize logical structure of mathematical formulae.

 No semantics is clearly better than wrong semantics

Completely agree. Reliable information about general structure of formulae is 
better
then detailed but wrong ultrasemantic markup.

 More importantly, the amount of 
 mark-up needed to encode a line of mathematics is enormous compared 
 to what is necessary for a line of running text. Consequently, each 
 mark-up element must be kept as short as possible.

We are ready to change element naming conventiones if WHATWG will agree
and feedback will indicate that short notations are preferable. I have no 
strong preferences.
Some people argue that short element names being misleading and not 
intuitive does not actually improve readability, some people like short element 
names
as they are more convenient for authoring.

 Assure compatibility with a reasonable subset of TeX

Can anyone specify what steps should be made to assure this compatibility,
so far we see general wishes without any details on what in current proposal is 
considered to be LaTeX incompatible and how the problem can be resolved without 
spoiling other merits of markup such as compatibility with CSS.

 Make font selection simple and natural
 This point does not seem to have attracted quite the attention it 
 deserves yet.
 TeX seems to have got things right on this point by making italic the 
 default for letters and roman the default for numbers. Is this 
 approach completely unfeasible within the HTML/CSS framework?
See Kerning and shape of the glyphs section of current proposal,
it mentions possible CSS extensions, that however are not part of this proposal
and should be probably discused on www-style list.




-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Mathematics on HTML5

2006-06-08 Thread Alexey Feldgendler
On Thu, 08 Jun 2006 07:58:40 +0700, Øistein E. Andersen [EMAIL PROTECTED] 
wrote:

 Correct splitting of continuous fractions seems like a similar non-problem. 
 If a fraction is really overly long, then the author should probably split it 
 manually.

There are certain rules for correct splitting of fractions. Unlike hyphenation, 
the author doesn't have to define every possible splitting point -- these can 
be found automatically.


-- 
Alexey Feldgendler [EMAIL PROTECTED]
[ICQ: 115226275] http://feldgendler.livejournal.com


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread Alexey Feldgendler
On Thu, 08 Jun 2006 14:24:36 +0700, White Lynx [EMAIL PROTECTED] wrote:

 Why have f at all? When I'm writing about varx/var, why should I
 write fvarx/var/f? What would be the difference? I think a
 formula element is only needed for what is called display equations --
 they are rendered out of line, usually centered, and sometimes numbered.

 That way, inline math would require no special element at all -- just
 write math in the middle of a sentence, and it should work.  On the other
 hand, when math is put inside a formula, it's displayed on a line by
 itself, centered, numbered etc. And, by the way, one can actually have
 just plain text inside a formula, such as some statement in prose that
 needs to be centered and numbered like other formulae.

 It matters from both structural (marks formula explicitly) and presentational
 point of view (consider line breaks inside formulae, text justification 
 algorithms that
 should not affect math formulae, different fonts that user may want to use 
 for text
 and maths, possible CSS extensions like text-transformation:math-italic; 
 etc.).

What exactly is a formula?

For example, I write that 2+2=4 means that the expression 2+2 equals to 4.

What is a formula in the paragraph above, and what is not? One would most 
certainly agree that 2+2=4 is a formula (it's a complete equation). Likewise, 
most people will tell you that 4 is not a formula and needs not be marked as 
such -- or else any number inside prose should have been marked up. What about 
2+2? Where exactly lies the separation between a formula and non-formula?

I admit that the same problem exists in TeX: one could write 4 or $4$.


-- 
Alexey Feldgendler [EMAIL PROTECTED]
[ICQ: 115226275] http://feldgendler.livejournal.com


Re: [whatwg] Web widgets

2006-06-08 Thread Alexey Feldgendler
On Thu, 08 Jun 2006 15:41:37 +0700, Michael(tm) Smith [EMAIL PROTECTED] wrote:

 I remember at least one other person from Opera who was at XTech
 who said it sounded like a good idea to consider putting together
 a common cross-browser web widgets spec.

 So... I don't know what kind of schedule you're working under for
 your implementation, but it seems like it would be a good idea to
 get some focused discussion on this going soon. Perhaps we could
 set up a separate widgets API (or whatever) mailing list

The thing that worries me the most about widgets is their main use case. It 
doesn't seem clear what they are for, and there was some blogging about it in 
the recent time.


-- 
Alexey Feldgendler [EMAIL PROTECTED]
[ICQ: 115226275] http://feldgendler.livejournal.com


[whatwg] oninput event - pasting

2006-06-08 Thread Shadow2531

http://whatwg.org/specs/web-forms/current-work/#the-change

this specification introduces the input event. This event is fired on
a control whenever the value of the control changes due to input from
the user

Does due to input from the user mean that *every*, *direct* action
the user *makes on the control* (that changes its value) causes the
event to fire?

Specifically, if I have this:
textarea oninput=alert('test')/textarea

, and right-click and paste into the textarea or ctrl+v into the
textarea to paste,  or select and cut, should the event fire?

I can assume that, the event should fire no matter how the user
changes the value (just as long as it's done directly and not by
invoking a script that changes the value), but I'd like to know for
sure.

Thanks

--
burnout426


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Alexey Feldgendler wrote:
 What exactly is a formula?

If you ask this question from the point of view of browser developer or browser 
itself,
then the answer is simple formula2 + 2 = 4/formula is formula, while 
2 + 2 = 4 is plain text. If you ask it from the point of view of mathematician 
or philosopher 
then it is rather rythorical question.



-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread Alexey Feldgendler
On Thu, 08 Jun 2006 20:38:39 +0700, White Lynx [EMAIL PROTECTED]  
wrote:



What exactly is a formula?


If you ask this question from the point of view of browser developer or  
browser itself, then the answer is simple formula2 + 2 = 4/formula is

formula, while 2 + 2 = 4 is plain text. If you ask it from the point of
view of mathematician or philosopher then it is rather rythorical  
question.


I'm asking this from the point of view of a document author. When should  
an author use a formula and when is plain text enough?



--
Alexey Feldgendler [EMAIL PROTECTED]
[ICQ: 115226275] http://feldgendler.livejournal.com


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread White Lynx
Alexey Feldgendler wrote:
 What exactly is a formula?
 
  If you ask this question from the point of view of browser developer or  
  browser itself, then the answer is simple formula2 + 2 = 4/formula is
  formula, while 2 + 2 = 4 is plain text. If you ask it from the point of
  view of mathematician or philosopher then it is rather rythorical  
  question.
 
 I'm asking this from the point of view of a document author. When should  
 an author use a formula and when is plain text enough?

I think it should be up to author, if (s|h)e is happy with plain text notations
then it is Ok to use them, if however explicit math markup is desired then
formula2 + 2 = 4/formula is the way to go. 
However personally I don't like the idea of mixing different notations in one 
document. 



-- 
___
Surf the Web in a faster, safer and easier way:
Download Opera 8 at http://www.opera.com

Powered by Outblaze


Re: [whatwg] Simple numbers

2006-06-08 Thread Andrew Fedoniouk


- Original Message - 
From: Mihai Sucan [EMAIL PROTECTED]
Subject: Re: [whatwg] Simple numbers


| Le Tue, 06 Jun 2006 17:22:11 +0300, Michel Fortin
| [EMAIL PROTECTED] a écrit:
|
|  Maybe a number element would be valuable, both inside and outside
|  formulas, to provide format-neutral machine-readable numeric values:
| 
|   n value=123456789.12123 456 789,12/n
| 
|  But it surly seems a little overkill to write each numeric value twice.
|  Duplicating values seems prone to errors. So maybe a number with a
|  decimal separator attribute would be a better approach:
| 
|   n dec=,123 456 789,12/n
| 
|  Beside that, it could provide data on other kinds of numbers too:
| 
|   n base=16329F 2CA0/n
|
| Hello!
|
| I'd look for a solution via CSS. It is not possible today, but I'd say
| this would be a welcome addition.
|
| I like the idea Michel came up with. However, with a few changes. Yes, the
| value attribute would be overkill.
|
| Similar to the way you can define quotes in CSS, I'd wish we could be able
| to define number format.
|
| n base=16329F 2CA0/n
| n base=10 dec=.12672611872.7889/n
|
| and from CSS:
|
| number-format: base group-char decimal-char;
|
| number-format: 32   .;
| number-format: 2 none ,;
|
| So, from HTML you define the format in which you provide the number. Then
| from CSS you can change the base used for displaying, the chars to be used
| for grouping digits and for separating the decimals.
|
| Both attributes are optional. The dec attribute defines the char used for
| separating the decimals (making it easier for the UA to convert the number
| to the new number-format set by CSS).
|
| This way we provide a fall back mecanism for browsers with no support for
| nr and the CSS property. CSS 3 Math module would be appropriate for
| adding such a property.
|
| Also, this discussion would probably better fit into www-style mailing
| list. Or ... maybe someone is interested in having this added to HTML 5.
|

There are also other cases when we need special formatting...
Thus I think it is better to have something more generic in CSS:

text-format: number | currency | date | path-ellipsis | ellipsis

This will allow to render content in current format supported by 
platform/locale.

Andrew Fedoniouk.
http://terrainformatica.com










Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread juanrgonzaleza

Some people has prompted to reuse LaTeX.

People who want reuse LaTeX can “do” it, in the same way that one can
reuse existing jsMath. However, mixing of two different languages is
usually considered to be a bad practice. For example x  5 is okay in TeX
but prohibited in XML. A = 3$ amp; B = 5% is valid XML but is not in TeX,
etcetera.

Moreover to problems with entities and reserved characters, (unicode vs.
7-bit encoding) and other related difficulties; there are technical points
forcing to reject which as has been done during last decades by *all*
markup or computer language except TeX-like ones, of course. The fact
TeX/LaTeX is not suitable for web did that the LaTeX guru D. Carlisle was
interested in mathematical language and joined to the w3c. Carlisle knows
very well LaTeX and extensions he has done. He could solve your doubts
better I can.

There has been multiple attempts to extend or adapt TeX to the web
(extended TeX approaches, TeXML...), all attempts failed by one or other
reason. There has been also attempts to display math in the web using web
browsers natively understanding TeX source (e.g. IBM launched one of this
kind) but also failed by technical motives.

I have not time for recopilating all information in the topic of “why not
TeX/LaTeX”. However, I can cite some recent links of interest

http://www.w3.org/Arena/tour/math1.html

http://www.mathmlcentral.com/history.html

http://my.opera.com/White%20Lynx/blog/show.dml/256124

http://www.w3.org/Math/mathml-faq.html

It would be also noted that next LaTeX will change for adapat to the
SGML/XML world. For example current research work for future LaTeX3
promise us a new syntax for further SGML world compatibility and will
incorporate novel feature such as native support for the
SGML concepts of “entity”, “attribute” and “short reference”. The new
LaTeX3 will incorporate style-sheet concepts such as those we used today
with HTML.

I also would note others limitations of TeX and related systems apparently
ignored at this mailing list.

Jonathan Fine adds:

blockquote
Plain TeX, LaTeX and ConTeXT all use the familiar `backslash and braces'
input syntax. This can cause problems, because it is not rigorous.
Translation to HTML for example, requires that the source document be
parsed. But LATEX for example is in general the only program that can
successfully parse LATEX documents. This tends to result in (La)TEX living
in a world of its own, isolated from the world of desktop publishing and
word processing. For some communities of users, such as mathematicians,
this may not be a hardship.
/blockquote

But is a hardship for rest of the world and reason that Active TeX was
proposed.

In fact, LaTeX is much more complex that kind of approach is being
proposed here. Rahtz described LaTeX as

blockquote
hugely powerful, but chaotic, and on the verge of becoming unmanageable.
/blockquote

When people is talking of LaTeX here I suspect them are talking only of
some basic LaTeX constructs as \frac, \vec, and others.

I would be glad if anyone explains here how a root beta of k can be
encoded in LaTeX and next fine-tuned e.g. moving index 2 units to the left
and 4 units up or how would we encode the hat of large base as ABCD or the
four dotting of Q or what are TeX/LaTeX constructs for

  Sum;’ H
  0im

or

 a
 X and X
   b



Mihai Sucan wrote:

 I'd be interested of your Canon (Markup Language).

 Thanks! M is for Meta, because the language is also a formal language
 :-)

 Please copy anything of interest and report me errors or best ways to
 do things.

 I would like to see a specification of CanonML and working examples with
   an experimental implementation. Your site provides only talk about
 CanonML. Is it too early to ask for this?

 If you have some, send it over to my (private email).

CanonML is in an early research stage. There is not formal specification
still because is a research in progress. The canonical science blog
includes history of the program and an outline of current ideas. More
recent post update previous postings. The research has proved to be more
variable I wait in a principle. I initially copied many aspects from
available TeX, SGML/XML, content MathML, and OpenMath, but after changed
by better options. Recently I have eliminated the concpet of “entities”
(which I have discored is also an idea proposed by some XML gurus as Tim
Bray).

Variablity of research may be understood since I am trying to offer more
power than SGML/XML maintaining the full language more easy than TeX/LaTeX
and that is really very difficult. However I wait to finalize the work in
a few weeks and just prepare first formal specification for debate.

Ok I will send you.


 Math WebSearch - A semantic search engine
 http://search.mathweb.org/
 http://kwarc.eecs.iu-bremen.de/software/mmlsearch/

 I'm not sure if searching math is entirely a myth. This is a recent
 guided   research project done by a student of Dr. Kohlhase.

 I was referring to MathML. 

Re: [whatwg] Mathematics on HTML5

2006-06-08 Thread juanrgonzaleza


Ian Hickson wrote:
 I would say MathML is not widely used because MathML doesn't work in
 HTML,  personally.

I do not know from where this idea get up. SVG is relatively popular and
implemented in many browsers, but the same browsers implementing SVG are
rejecting MathML. They are rejecting because difficulties for
implementation, not because HTML lack of.

The original mathematical work from the w3c was mathematical markup FOR
HTML. It was drafted so early as in HTML 3 epoque and strongly rejected by
community. Unfortunately subsequent first draft of MathML, MathML 1.x and
recent MathML 2.0 all habe been rejected by technicla motives rather than
HTML-relationship.

In fact, I do not know a single criticism to MathML emphasizing the point
you state. All public criticism are to design options and technical
details independent of host language.

 If we made MathML work in HTML, possibly with rules
 that make  the syntax easier (by implying tags as I suggested earlier),

Curiously, I suggested similar approach in my previous CanonMath language

[http://canonicalscience.blogspot.com/2006/02/choosing-notationsyntax-for-canonmath.html]

one could write something like

CanonMath
a+bfraction/2
/CanonMath

[http://lists.w3.org/Archives/Public/www-math/2006Mar/0027.html]

next was converted to full presentation MathML 2.0, but it was strongly
rejected by MathML authors, see Carlisle reply for instance

[http://lists.w3.org/Archives/Public/www-math/2006Mar/0028.html]

Moreover, your proposal would be rejected by most authors and developers
(today rejecting MathML) because obtain all difficulties and limitations
of current MathML (between them incompatibllity with DOM, CSS, XSL-FO.)

More the rejection from w3c MathML guys that do not want to see a mixture
of textual strings with MathML own elements.

 then that  might well change, especially given that one UA already has
 extensive  and high-quality support for MathML.

I imagine that you mean Firefox browser with native MathML. Well I would
not call that “extensive and high-quality support for MathML.”

I would say, “partial incompletete support of less than one half the
official specification”.

Content MathML is not supported, only presentation MathML; of presentation
MathML not all tags are supported; of all tags supported not all are
working.

You can begin from the most simple teste of the MathML official test suite
and can see that MathML suport is weak in browser (I use Firefox 1.0) and
even most simplest test are either not correctly rendered or not at all
(compare with sample GIFS).

http://www.w3.org/Math/testsuite/testsuite/General/Math/math3.xml

http://www.w3.org/Math/testsuite/testsuite/General/Math/mathAdisplay1.xml

http://www.w3.org/Math/testsuite/testsuite/General/GenAttribs/style1.xml

http://www.w3.org/Math/testsuite/testsuite/General/GenAttribs/style2.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mi/miAtoken5.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mi/miScolorscope7.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mi/miSfonts8.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mi/miSfontsize9.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mi/miSmathsize17.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mi/miStoken10.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mn/mn3.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mn/mnAcolorname5.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mn/mnAtoken6.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mo/moAlargeop12.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mo/moAminmax14.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TokenElements/mo/moAmovable15.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/GeneralLayout/mrow/mrowBinferred2.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/GeneralLayout/mfrac/mfracAbevelled16.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/GeneralLayout/mfenced/mfencedAdelims6.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/GeneralLayout/mfenced/mfencedBfences7.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/ScriptsAndLimits/msubsup/msubsup1.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/ScriptsAndLimits/munder/munder1.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/ScriptsAndLimits/munder/munder2.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/ScriptsAndLimits/mmultiscripts/mmultiscripts2.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TablesAndMatrices/mtable/mtable1.xml

http://www.w3.org/Math/testsuite/testsuite/Presentation/TablesAndMatrices/mtable/mtableAwidth1.xml


Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread juanrgonzaleza

Henri Sivonen wrote:

 I think it is an economic problem rather than a technical problem.

Yes, this may be reason that a single man was able to do math in a browser
via XML-MAIDEN project in a few months, whereas dozens of others and even
entire communities cannot do it even after of 10 years. Money may be also
the reason of fiasco of IBM TeX approach to the web and of Wolfram fiasco
to the web via Wolfram draft (remember?). George alone may be more rich
that IBM, Desing Science, Wolfram Research, and others joined.

 It follows that I don't think the slow adoption is *necessarily*
 evidence of technical flaws.

Then you know nothing of the history of math on the web. I would recommend
you begin to revise history from the very beginning: HTML 3 Math, the
first draft from the w3c. Attemtp to search why was completely rejected.

 The part of population that is interested in mathematical typesetting
 is very small in proportion to the population as a whole. As I
 understood it at the time, that's why Netscape wasn't interested in
 devoting developer time to MathML. I don't know how decision making
 works at different browser companies, but I would hazard a guess that
 from the point of view of Opera, Apple and Microsoft, the business
 case for MathML is rather lousy compared to e.g. SVG, which is known
 to have spec problems as well, which conflicts with CSS and which   also
 doesn't work in text/html.

Well, always that anyone say me that math is for some little ones I always
reply then why MSWord has an equation editor?

Curiously history says contrary. History says that Microsoft was
interested in providing native MathML support for MSIE and initially
joined to MathML WG but due to technical problems they after rejected
native support and just added some improvements to MSIE for suporting of
third parties plugins. Mozilla has attempted to support MathML and even
most simple tests fail. Opera developers were interested in mathematics
but not in MathML because thecnical weakness of latter (see comments from
developers in the links I provided), etc.

I was interested in a full support for MathML in The Center for CANONICAL
|SCIENCE) but I abandoned the project by thecnical issues (technical
errors and weakness of MathML).

Content MathML is not supported because problems again and even very
recently it has been proved that something so simple as “integral sin x
from 0 to x” is not correctly encoded in MathML due to an incorrect
desing.

Then people wannot waste time and money with never-working-thecnologies.
Because in the end you obtain an expensive technology that is poor that
old cheap ones.

 Hmm. Freaky economic problems are nowadays solved with Google money. :-P

Have you asked them about support of MathML? I did!

 FWIW, I completely agree with James Graham that automatic conversion
 from LaTeX is *the* top-of-the-list requirement for any kind of Web
 math.

Remember that MathML has not achieved that still.

 That already puts MathML ahead   of
 anything else that WHAT WG could come up with.

I think that you simply do not know you are talking here.

 If the WHAT WG really intends to address math, I think it would make
 sense to start by interviewing Roger Sidje, Jacques Distler, Eitan M.
 Gurari and Robert Miner to find out what they think are the problems
 that need to be solved (if any).

Robert Miner knows very well the limitations of MathML. Robert Miner has
recognized in public that MathML design is not so good because has
“political issues” in the w3c committe.

A pair of months ago he also publicly become interest in that would be
changed in future MathML 3.0 for doing it CSS friendly and suitable for
easy implementation in browsers. George offered him the short list of
changes.

Jacques Distler have attempted to offer mathematics in his blog using
*presentaional* MathML 2.0. He has largely failed and provides us
incorrect semantics, wrong structure, innaccesible and not searchable
code, and incorrect rendering of mathematics during years. Moreover, he
uses a very ugly approach based in a plugin for a IteX dialect is rather
limited.

For a small number of examples of very wrong (nonsensical) code Distler is
serving to the internet can see my

[http://canonicalscience.blogspot.com/2006/04/scientific-language-canonml-is.html]

Some of incorrect formulas the was encoding via MathML 2.0 were better
encoded in several geocities HTML pages by undergrad students.

In fact, I curiously said that the element of line for 5D spaces could be
better encoded using old but effective HTML code

SPANds/SPANSUP2/SUP

and Distler incorrectly thouhg that this was the way he would change the
mathML code of his inefficient blog. In fact just a pair of days ago the
change the code of element of line of (see above link for details)

[http://golem.ph.utexas.edu/~distler/blog/archives/000635.html]

to current

msupmids/mimn2/mn/msup

that is a copy of my above HTML code. Unfortunately the code he generates
now 

Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread Michel Fortin

Le 7 juin 2006 à 20:28, Ian Hickson a écrit :

For something as big as Mathematics, we want to simply re-use an  
existing language, not invent a new one. Inventing a new language  
for encoding content with as wide a problem-space as mathematics  
would require months, as well as the time of domain experts, etc.


Defining everything unambiguously is what would take long. If someone  
wants to define unambiguously everything in a formula, I'd suggest he  
use MathML, or something else if MathML cannot do the job properly.


But most people don't need machine-readable formulas: they need to  
comunicate mathematics to other *people*. If you take a look at how  
HTML handles prose, you find that it doesn't try to determine what is  
a sentence, what is a noun, or what is a verb. But it provides what  
we need the most: paragraphs, headers, lists, emphasis, etc. I think  
it should be the same for math content.


In my view, HTML should only provide the most needed building blocks  
for mathematical representation and let authors define semantics  
beyond the specifications as required. The idea behind the type  
attribute on var, matrix, and fence in my draft proposal, which  
could also be extended to other elements, is to allow author-defined  
semantics to be bound to them, semantics which can then be used as  
hooks for style sheets. Default styles could exist for predefined  
semantics (var type=vector could put a little arrow over the  
variable for instance) while authors could create new types and  
styles for their own purposes when needed.


For now, I think creating an inventory of formulas showcasing  
everything we want to support would be a good first step toward  
creating, refining, and adopting a formal mathematical markup  
solution, as well as creating implementations. So I think I'll look  
into that.



Michel Fortin
[EMAIL PROTECTED]
http://www.michelf.com/



Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread Michel Fortin

Le 8 juin 2006 à 4:24, White Lynx a écrit :


Michel Fortin wrote:

Use integral and bounds for integrals.

 integral
   bounds
 sub0/sub
 sup100sup
   /bounds
   3varx/var dvarx/var
 /integral


There are at least 30 different operators that would require  
similar markup,
following this line one will have to introduce separate elements  
for all of them.


Well, not necessarily. We could just use a more generic name with a  
type=integral, type=sum, or type=product attribute. In fact I  
think it'd be better with an attribute because it allows the  
construct to be easily extended in the future.


What would be useful is a list of these 30 or more operators, and  
usage cases, to figure out a markup that fits with all of them.



Summary

16 new math-specific elements:

*  frac, num, and den
*  radical, radix, and radicand
*  matrix, mr, and md
*  fence
*  bounds
*  integral, sum, product
*  limit
*  formula
What is the point is restricting scope of markup in this manner. Do  
you think that some of the features in current proposal that are  
omitted here are not realistic? If so why?


I didn't mean to restrict the scope. This wasn't a final proposal; I  
was simply expressing an idea which is still up to be enhanced and  
extended. But keeping an eye on how many elements we add to HTML is  
something important I think.


There is already some improvements and issues I can think of for this  
syntax:


*  A way to disambiguate integrals over regions, since the region ought
   to be shown below the integral and not beside like with intervals.

*  func as a way to have functions in italic without calling them
   variables or using i. Could be used in a programming context too.

*  Maybe limit should be replaced by lim, as lim is the text  
that gets

   displayed. Or operatior type=lim in a compatible way with other
   operators.

*  I'm not fond of my syntax for bounded fences. Maybe something like  
that

   would be better (and more decent to style):

   (I omitted some var elements for more clarity)

   bounded
 fencesin varx/var/fence
 boundssub0/subsup1/sup/bounds
   /bounded

   bounded
 fencex + 1/fence
 boundssub0/subsup1/sup/bounds
   /bounded

   It looks a little like your syntax White, with fenced replaced by
   bounded and used only when bounds are defined.

*  I'd like less verbose radicals. But I'm not sure how well that  
could be

   styled (it's up to experiment):

   radix2n + 1/radixradicalx/radical

   ... the idea is that it should work even when radix is not  
present.


*  It occurs to me that having an exponent denoted by sup just  
after a big
   fence may not be easy to style at the right height either unless  
we have

   an enclosing box.



5 ruby annotation elements:
*  ruby
*  rbc, rtc
*  rb, rt, rp

Ruby in its current form is not the best solution for mathematics.


You're right about the nesting argument. I didn't thought of that.



3 reused HTML elements:
*  var
*  sup, sub



I think all of these new elements can be styled decently with CSS.
Excluding Ruby (and partly markup for sums, products and similar  
stuff).


Well, now that I think of it, there will be some problems with any  
pure CSS implementation (for current browsers at least, but maybe  
with CSS3 too). Aligning fraction separators correctly with the base  
line when num and den do not have the same height for instance: I  
don't see a way to fine-tune that without JavaScript.


About styling ruby: for the needs of mathematics, I think in the  
absence of proper ruby CSS support, styling them as inline-table  
would be suffisent. But, just like fractions, it would need  
JavaScript to do the baseline adjustment.


About sums and products: you're right on that. Without JavaScript to  
correct the horizontal alignment, bounds are not going to be pretty  
(I just tried). It's true for integrals, and bounded fence too.


But I would argue that my sum syntax, while requiring some JavaScript  
for proper display, use a more natural way of expressing things than  
yours. Look at this summation for example:


opgrp
  ∑
  ulimn
  llimk=0
/opgrp 1+k

The upper limits comes before the lower one, obviously to be able to  
put it at the right place with CSS. But usually, while speaking, or  
even just thinking, we put the lower limit first: from k equals zero  
to n, or something like that. This makes this syntax easier and more  
natural to write and read:


sum
  bounds
subk=0/sub
supn/sup
  /bounds
  1+k
/sum

Moreover, as things are in proper order, it makes it a lot easier to  
give a proper aural or linear representation of the formula.



Michel Fortin
[EMAIL PROTECTED]
http://www.michelf.com/




Re: [whatwg] Mathematics in HTML5

2006-06-08 Thread Ian Hickson
On Thu, 8 Jun 2006, James Graham wrote:

 White Lynx wrote:
  Dan Brickley wrote:
  
   It would also be both considerate and sensible (if anyone does want 
   to undertake such a task) to talk to the MathML folks first.
 
  So far we are addressing problems that were invented and deployed by 
  MathML folks.

 But you are, apparently, assuming that the problems with MathML are a 
 result of ignorance on the part of the people working on the spec. 
 Perhaps there is a reason they invented a language that did not build on 
 the CSS layout primitives e.g. because those layout primitives are not 
 sutiable for mathematics (similar to the reason that XUL, though 
 CSS-based employs a large number of specific CSS extensions to work in 
 a sane way). You have demonstrated that CSS can provide the first 80% 
 (or whatever) of what's required for laying out maths - but there seems 
 to be no way forward to address the last 20%.

I strongly agree with this. It is something I've been saying for 
(literally) years.

I am not at all convinced that it makes any sense to rely on CSS to render 
mathematics. CSS simply doesn't have the expressive power to obtain 
acceptably good mathematical typography, and adding features to CSS to 
obtain this level of expressiveness would require a huge specification 
with such a small target domain than nobody would implement it.

-- 
Ian Hickson   U+1047E)\._.,--,'``.fL
http://ln.hixie.ch/   U+263A/,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'


Re: [whatwg] oninput event - pasting

2006-06-08 Thread Ian Hickson
On Thu, 8 Jun 2006, Shadow2531 wrote:

 http://whatwg.org/specs/web-forms/current-work/#the-change
 
 this specification introduces the input event. This event is fired on
 a control whenever the value of the control changes due to input from
 the user
 
 Does due to input from the user mean that *every*, *direct* action
 the user *makes on the control* (that changes its value) causes the
 event to fire?
 
 Specifically, if I have this:
 textarea oninput=alert('test')/textarea
 
 , and right-click and paste into the textarea or ctrl+v into the
 textarea to paste,  or select and cut, should the event fire?

Yes.

Another part of the spec mentions that the UA may coallesce multiple 
inputs into one input event, so e.g. if you type very fast it might not 
fire one input event per character, it might fire one every few hundred 
milliseconds instead.

-- 
Ian Hickson   U+1047E)\._.,--,'``.fL
http://ln.hixie.ch/   U+263A/,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'


Re: [whatwg] input type=text accept=

2006-06-08 Thread Ian Hickson
On Wed, 31 May 2006, L. David Baron wrote:
  
  I don't see why the same attribute _shouldn't_ be used to determine 
  the type of data to allow, and whether to do spell checking or not. 
  After all, whether to spell-check is directly related to what kind of 
  data it is.
 
 This sounds a lot like object, which allowed for tons of features but 
 didn't specify them precisely.  Are you planning to specify exactly what 
 the semantics of every MIME type are for all of these features?

No, because I don't know what those are, and want to allow for browser 
vendors to increase their feature set without having to have the spec 
updated each time.

It doesn't seem like this is an area that requires interoperability (who 
cares if one browser auto-indents and another colours and spell-checks, 
other than the user of each browser?).


 And any others people might want?  And are there really MIME types that 
 accurately represent the semantics of all the combinations of even just 
 the 4 features you list above that authors will want?  If every 
 combination needs a name, what if people want to toggle six different 
 things?

This sounds hypothetical.

Given that requiring a new flag per feature is not an option (as it 
would require a central authority to add these features, slowing the 
introduction of new features and discouraging experimentation), what 
solution would _you_ propose?

-- 
Ian Hickson   U+1047E)\._.,--,'``.fL
http://ln.hixie.ch/   U+263A/,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'


Re: [whatwg] input type=text accept=

2006-06-08 Thread L. David Baron
On Friday 2006-06-09 00:42 +, Ian Hickson wrote:
 On Wed, 31 May 2006, L. David Baron wrote:
   
   I don't see why the same attribute _shouldn't_ be used to determine 
   the type of data to allow, and whether to do spell checking or not. 
   After all, whether to spell-check is directly related to what kind of 
   data it is.
  
  This sounds a lot like object, which allowed for tons of features but 
  didn't specify them precisely.  Are you planning to specify exactly what 
  the semantics of every MIME type are for all of these features?
 
 No, because I don't know what those are, and want to allow for browser 
 vendors to increase their feature set without having to have the spec 
 updated each time.
 
 It doesn't seem like this is an area that requires interoperability (who 
 cares if one browser auto-indents and another colours and spell-checks, 
 other than the user of each browser?).

The original use case, as I understand it, was roughly authors want to
disable spell checking on some textareas.  Is the reason that they want
to disable spellchecking only that the contents are not text/plain?  I
doubt it.  Doing what you propose, especially if it is extended to other
features, will just encourage authors to use incorrect MIME types to get
particular side-effects in particular user agents.

It seems more likely to be that the textarea is expected to contain a
particular type of text, such as abbreviations or some form of code.
The content is unlikely to have an assigned MIME type.  I suppose one
could be made up, but that would presumably disable everything a UA did
on the basis of the contents, which wouldn't necessarily be appropriate.

-David

-- 
L. David BaronURL: http://dbaron.org/ 
   Technical Lead, Layout  CSS, Mozilla Corporation


pgpffr0IKPp8K.pgp
Description: PGP signature


Re: [whatwg] input type=text accept=

2006-06-08 Thread Ian Hickson
On Thu, 8 Jun 2006, L. David Baron wrote:
 
 The original use case, as I understand it, was roughly authors want to
 disable spell checking on some textareas.

That, and enable it on input fields. Similarly, there is a desire to 
indicate that certain textareas should have spell-checking enabled but 
with an expanded vocabulary that also allows HTML tags (or that disables 
the spell-checking, if the UA doesn't know how to do that).

Looking forwards, there have also been multiple requests to be able to 
tell the UA that the contents of the field should be syntax-highlighted 
according to the rules of various languages (typically HTML or XML, and
sometimes various programming languages).


 Is the reason that they want to disable spellchecking only that the 
 contents are not text/plain?  I doubt it.  Doing what you propose, 
 especially if it is extended to other features, will just encourage 
 authors to use incorrect MIME types to get particular side-effects in 
 particular user agents.

 It seems more likely to be that the textarea is expected to contain a 
 particular type of text, such as abbreviations or some form of code. The 
 content is unlikely to have an assigned MIME type. I suppose one could 
 be made up, but that would presumably disable everything a UA did on the 
 basis of the contents, which wouldn't necessarily be appropriate.

There is certainly that possibility; indeed one of the use cases I've 
heard mentioned is disable spell checking because the text field contains 
a list of e-mail addresses, which has no MIME type.

Given that requiring a new flag per feature is not an option (as, as 
mentioned before, it would require a central authority to add these 
features, slowing the introduction of new features and discouraging 
experimentation), what solution would you propose instead?

I don't see a better solution. I'm certainly open to better solutions if 
there are any.

-- 
Ian Hickson   U+1047E)\._.,--,'``.fL
http://ln.hixie.ch/   U+263A/,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'


Re: [whatwg] input type=text accept=

2006-06-08 Thread L. David Baron
On Friday 2006-06-09 01:17 +, Ian Hickson wrote:
 Given that requiring a new flag per feature is not an option (as, as 
 mentioned before, it would require a central authority to add these 
 features, slowing the introduction of new features and discouraging 
 experimentation), what solution would you propose instead?

I think it is an option, and I don't see why you're so insistent that it
isn't.  Authors are actually going to want interoperability; to get
that, it's required.

-David

-- 
L. David BaronURL: http://dbaron.org/ 
   Technical Lead, Layout  CSS, Mozilla Corporation


pgpKXHP02UwFo.pgp
Description: PGP signature


Re: [whatwg] input type=text accept=

2006-06-08 Thread Ian Hickson
On Thu, 8 Jun 2006, L. David Baron wrote:

 On Friday 2006-06-09 01:17 +, Ian Hickson wrote:
  Given that requiring a new flag per feature is not an option (as, as 
  mentioned before, it would require a central authority to add these 
  features, slowing the introduction of new features and discouraging 
  experimentation), what solution would you propose instead?
 
 I think it is an option, and I don't see why you're so insistent that it
 isn't.  Authors are actually going to want interoperability; to get
 that, it's required.

I don't think it's an option because:

   input type=text required maxlength=80 name=subject
  spellcheck list=subjects value=Hey there
  inputmode=user startUpper

...or:

   input type=text required name=formula spellcheck=math 
  inputmode=math highlight=math auto-evaluate

...or:

   textarea name=source rows=80 spellcheck=off autoindent=C++
 highlight=C++ auto-evaluate=off

...gets out of hand very fast.

input already has 27 element-specific attributes, plus 5 global 
attributes, plus 1 deprecated attribute, plus an uncountable number of 
event handler attributes. Going the road of one-attribute-per-feature 
would escalate that even faster, especially given that these features 
don't affect anything other than the way the user interacts with the 
input field (i.e. they don't affect the actual allowed values, etc).

(Also, apparently Mozilla's implementors for this feature have received a 
request that the feature validate per HTML4's DTD. While I don't consider 
this a sensible request, and it doesn't affect my opinion of how the 
feature should be added, it is worth noting that accept= on input 
elements does current validate per the HTML4 DTD.)

-- 
Ian Hickson   U+1047E)\._.,--,'``.fL
http://ln.hixie.ch/   U+263A/,   _.. \   _\  ;`._ ,.
Things that are impossible just take longer.   `._.-(,_..'--(,_..'`-.;.'


Re: [whatwg] input type=text accept=

2006-06-08 Thread Michel Fortin

Le 8 juin 2006 à 21:17, Ian Hickson a écrit :

I don't see a better solution. I'm certainly open to better  
solutions if

there are any.


What about input class=spellcheck /? It surely validates with  
HTML4, and it doesn't get in the way of any other feature. It does  
not really need to be part of the HTML spec either.


I know that according to the current spec, the class attribute should  
carry no meaning whatsoever. But I ask the question: is this worse  
than implying that spell checking should be enabled or disabled based  
on a particular MIME type? The later could break spell checking when  
introducing new text types, say text/x-markdown, or text/x- 
mediawiki, for lightweight formatting syntaxes.



Michel Fortin
[EMAIL PROTECTED]
http://www.michelf.com/