Re: fences (variable size math symbols)

Subject: Re: fences (variable size math symbols)
From: Chris Maden <crism@xxxxxxxxxxx>
Date: Tue, 9 Jun 1998 15:53:40 -0400 (EDT)
[David Carlisle]
> Actually one of my gripes about the MathML report is that it over
> specifies the formatting. In particular the spacing around operators
> are fixed (to often inappropriate values) You can override with
> attributes in the document markup but that is not really what I want
> to see.
> 
> Of course MathML also has hooks for giving semantic-only information
> without explicit presentational style at all. In particular it
> mentions OpenMath at several points as a suitable language. Which is
> the project that I am currently working on.

I don't believe that a single semantic DTD for math can survive,
because mathematicians (as you know) are always inventing new symbols.
Presentational DTDs are oxymoronic.  So here's another idea I came up
with on my own time.  It's informal and three-quarters baked, but it
might be of interest:
<URL:http://www.oreilly.com/people/staff/crism/math/>.

-Chris
-- 
<!NOTATION SGML.Geek PUBLIC "-//Anonymous//NOTATION SGML Geek//EN">
<!ENTITY crism PUBLIC "-//O'Reilly//NONSGML Christopher R. Maden//EN"
"<URL>http://www.oreilly.com/people/staff/crism/ <TEL>+1.617.499.7487
<USMAIL>90 Sherman Street, Cambridge, MA 02140 USA" NDATA SGML.Geek>


 DSSSList info and archive:  http://www.mulberrytech.com/dsssl/dssslist


Current Thread
  • RE: fences (variable size math symbols), (continued)
    • Reynolds, Gregg - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id MAA21305Mon, 8 Jun 1998 12:37:02 -0400 (EDT)
      • David Carlisle - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id NAA22543Mon, 8 Jun 1998 13:20:40 -0400 (EDT)
    • Reynolds, Gregg - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id SAA27384Mon, 8 Jun 1998 18:49:56 -0400 (EDT)
      • David Carlisle - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id EAA14601Tue, 9 Jun 1998 04:54:46 -0400 (EDT)
        • Chris Maden - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id QAA24947Tue, 9 Jun 1998 16:07:55 -0400 (EDT) <=
      • Sebastian Rahtz - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id FAA15099Tue, 9 Jun 1998 05:06:12 -0400 (EDT)
      • David Carlisle - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id HAA24814Wed, 10 Jun 1998 07:16:40 -0400 (EDT)
    • Reynolds, Gregg - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id LAA19791Tue, 9 Jun 1998 11:44:01 -0400 (EDT)
      • Sebastian Rahtz - from mail1.ability.netby web4-1.ability.net (8.8.5/8.6.12) with ESMTP id MAA20486Tue, 9 Jun 1998 12:04:47 -0400 (EDT)