[tei-council] <theorem>

[Syd Bauman]

> See http://www.tei-c.org.uk/Council/tcm26.xml.ID=body.1_div.7,
> discussion of bug report 100737. I assume this was after I left,
> otherwise I'd have asked why this isn't <formula type="theorem">?

Yes, I presume it was after you left. On the call it would have been
a perfectly valid question. But now that the call is over, you might
not want to ask that, as it would demonstrate that you haven't
actually read the discussion of this feature request. :-)  The
original poster says (in response to Lou asking, essentially, "why
not <formula>?"):

   Unlike <formula>e, 'theorems' are often formulated in natural
   language.

Personally, I'm convinced that a new element for this soft of thing
is a good idea, and Lou is right, it should probably go in FT and be
a member of what is now model.graphicLike (but IIRC we've agreed to
chop that class up into better semantic classes).

I am unconvinced that we need an extra attribute to support dual
numbering.