No <MARK> element in latest HTML 3?

Joe English (
Mon, 13 Mar 1995 12:08:29 PST

I just got the 13 March 95 draft HTML 3 DTD,
and much to my dismay saw that <MARK> has been
dropped "on advice from SGML Open".

What did SGML Open say was wrong with <MARK>?
Did they offer a useable alternative?
I thought <MARK> would be indispensable for
stuff like server-side highlighting.

(Have been going over the math stuff too, and
with the exception of all the "infix operator"
elements, it's looking pretty good.)

--Joe English