- From: Ville Skytta <ville@dev.w3.org>
- Date: Wed, 24 Nov 2004 23:20:46 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/validator/htdocs/sgml-lib/REC-MathML2-20031021/html
In directory hutz:/tmp/cvs-serv18378/REC-MathML2-20031021/html
Added Files:
lat1.ent special.ent symbol.ent
Log Message:
Add REC-MathML2-20031021, purge UPD-MathML2-20030620 and old MathML+XHTML+SVG DTDs.
--- NEW FILE: symbol.ent ---
<!--
File symbol.ent produced by the XSL script characters.xsl
from input data in unicode.xml.
Please report any errors to David Carlisle
via the public W3C list www-math@w3.org.
The numeric character values assigned to each entity
(should) match the Unicode assignments in Unicode 4.0.
-->
<!ENTITY alefsym "ℵ" ><!-- -->
<!ENTITY Alpha "Α" ><!-- -->
<!ENTITY alpha "α" ><!--greek small letter alpha -->
<!ENTITY and "∧" ><!--logical and = wedge -->
<!ENTITY ang "∠" ><!--angle -->
<!ENTITY asymp "≈" ><!--almost equal to = asymptotic to -->
<!ENTITY Beta "Β" ><!-- -->
<!ENTITY beta "β" ><!--greek small letter beta -->
<!ENTITY bull "•" ><!--bullet = black small circle -->
<!ENTITY cap "∩" ><!--intersection = cap -->
<!ENTITY Chi "Χ" ><!-- -->
<!ENTITY chi "χ" ><!--greek small letter chi -->
<!ENTITY clubs "♣" ><!--black club suit = shamrock -->
<!ENTITY cong "≅" ><!--approximately equal to -->
<!ENTITY crarr "↵" ><!-- -->
<!ENTITY cup "∪" ><!--union = cup -->
<!ENTITY dArr "⇓" ><!--downwards double arrow -->
<!ENTITY darr "↓" ><!--downwards arrow -->
<!ENTITY Delta "Δ" ><!--greek capital letter delta -->
<!ENTITY delta "δ" ><!--greek small letter delta -->
<!ENTITY diams "♦" ><!--black diamond suit -->
<!ENTITY empty "∅" ><!--empty set = null set = diameter -->
<!ENTITY Epsilon "Ε" ><!-- -->
<!ENTITY epsilon "ε" ><!-- -->
<!ENTITY equiv "≡" ><!--identical to -->
<!ENTITY Eta "Η" ><!-- -->
<!ENTITY eta "η" ><!--greek small letter eta -->
<!ENTITY exist "∃" ><!--there exists -->
<!ENTITY fnof "ƒ" ><!--latin small f with hook = function = florin -->
<!ENTITY forall "∀" ><!--for all -->
<!ENTITY frasl "⁄" ><!-- -->
<!ENTITY Gamma "Γ" ><!--greek capital letter gamma -->
<!ENTITY gamma "γ" ><!--greek small letter gamma -->
<!ENTITY ge "≥" ><!--greater-than or equal to -->
<!ENTITY hArr "⇔" ><!--left right double arrow -->
<!ENTITY harr "↔" ><!--left right arrow -->
<!ENTITY hearts "♥" ><!--black heart suit = valentine -->
<!ENTITY hellip "…" ><!--horizontal ellipsis = three dot leader -->
<!ENTITY image "ℑ" ><!--blackletter capital I = imaginary part -->
<!ENTITY infin "∞" ><!--infinity -->
<!ENTITY int "∫" ><!--integral -->
<!ENTITY Iota "Ι" ><!-- -->
<!ENTITY iota "ι" ><!--greek small letter iota -->
<!ENTITY isin "∈" ><!--element of -->
<!ENTITY Kappa "Κ" ><!-- -->
<!ENTITY kappa "κ" ><!--greek small letter kappa -->
<!ENTITY Lambda "Λ" ><!--greek capital letter lambda -->
<!ENTITY lambda "λ" ><!--greek small letter lambda -->
<!ENTITY lang "〈" ><!--left-pointing angle bracket = bra -->
<!ENTITY lArr "⇐" ><!--leftwards double arrow -->
<!ENTITY larr "←" ><!--leftwards arrow -->
<!ENTITY lceil "⌈" ><!--left ceiling = apl upstile -->
<!ENTITY le "≤" ><!--less-than or equal to -->
<!ENTITY lfloor "⌊" ><!--left floor = apl downstile -->
<!ENTITY lowast "∗" ><!--asterisk operator -->
<!ENTITY loz "◊" ><!--lozenge -->
<!ENTITY minus "−" ><!--minus sign -->
<!ENTITY Mu "Μ" ><!-- -->
<!ENTITY mu "μ" ><!--greek small letter mu -->
<!ENTITY nabla "∇" ><!--nabla = backward difference -->
<!ENTITY ne "≠" ><!--not equal to -->
<!ENTITY ni "∋" ><!--contains as member -->
<!ENTITY notin "∉" ><!--not an element of -->
<!ENTITY nsub "⊄" ><!--not a subset of -->
<!ENTITY Nu "Ν" ><!-- -->
<!ENTITY nu "ν" ><!--greek small letter nu -->
<!ENTITY oline "‾" ><!-- -->
<!ENTITY Omega "Ω" ><!--greek capital letter omega -->
<!ENTITY omega "ω" ><!--greek small letter omega -->
<!ENTITY Omicron "Ο" ><!-- -->
<!ENTITY omicron "ο" ><!--greek small letter omicron -->
<!ENTITY oplus "⊕" ><!--circled plus = direct sum -->
<!ENTITY or "∨" ><!--logical or = vee -->
<!ENTITY otimes "⊗" ><!--circled times = vector product -->
<!ENTITY part "∂" ><!--partial differential -->
<!ENTITY perp "⊥" ><!--up tack = orthogonal to = perpendicular -->
<!ENTITY Phi "Φ" ><!--greek capital letter phi -->
<!ENTITY phi "ϕ" ><!--greek small letter phi -->
<!ENTITY Pi "Π" ><!--greek capital letter pi -->
<!ENTITY pi "π" ><!--greek small letter pi -->
<!ENTITY piv "ϖ" ><!--greek pi symbol -->
<!ENTITY Prime "″" ><!--double prime = seconds = inches -->
<!ENTITY prime "′" ><!--prime = minutes = feet -->
<!ENTITY prod "∏" ><!--n-ary product = product sign -->
<!ENTITY prop "∝" ><!--proportional to -->
<!ENTITY Psi "Ψ" ><!--greek capital letter psi -->
<!ENTITY psi "ψ" ><!--greek small letter psi -->
<!ENTITY radic "√" ><!--square root = radical sign -->
<!ENTITY rang "〉" ><!--right-pointing angle bracket = ket -->
<!ENTITY rArr "⇒" ><!--rightwards double arrow -->
<!ENTITY rarr "→" ><!--rightwards arrow -->
<!ENTITY rceil "⌉" ><!--right ceiling -->
<!ENTITY real "ℜ" ><!--blackletter capital R = real part symbol -->
<!ENTITY rfloor "⌋" ><!--right floor -->
<!ENTITY Rho "Ρ" ><!-- -->
<!ENTITY rho "ρ" ><!--greek small letter rho -->
<!ENTITY sdot "⋅" ><!--dot operator -->
<!ENTITY Sigma "Σ" ><!--greek capital letter sigma -->
<!ENTITY sigma "σ" ><!--greek small letter sigma -->
<!ENTITY sigmaf "ς" ><!-- -->
<!ENTITY sim "∼" ><!--tilde operator = varies with = similar to -->
<!ENTITY spades "♠" ><!--black spade suit -->
<!ENTITY sub "⊂" ><!--subset of -->
<!ENTITY sube "⊆" ><!--subset of or equal to -->
<!ENTITY sum "∑" ><!--n-ary sumation -->
<!ENTITY sup "⊃" ><!--superset of -->
<!ENTITY supe "⊇" ><!--superset of or equal to -->
<!ENTITY Tau "Τ" ><!-- -->
<!ENTITY tau "τ" ><!--greek small letter tau -->
<!ENTITY there4 "∴" ><!--therefore -->
<!ENTITY Theta "Θ" ><!--greek capital letter theta -->
<!ENTITY theta "θ" ><!--greek small letter theta -->
<!ENTITY thetasym "ϑ" ><!--greek small letter theta symbol -->
<!ENTITY trade "™" ><!--trade mark sign -->
<!ENTITY uArr "⇑" ><!--upwards double arrow -->
<!ENTITY uarr "↑" ><!--upwards arrow -->
<!ENTITY upsih "ϒ" ><!--greek upsilon with hook symbol -->
<!ENTITY Upsilon "Υ" ><!--greek capital letter upsilon -->
<!ENTITY upsilon "υ" ><!-- -->
<!ENTITY weierp "℘" ><!--script capital P = power set = Weierstrass p -->
<!ENTITY Xi "Ξ" ><!--greek capital letter xi -->
<!ENTITY xi "ξ" ><!--greek small letter xi -->
<!ENTITY Zeta "Ζ" ><!-- -->
<!ENTITY zeta "ζ" ><!--greek small letter zeta -->
--- NEW FILE: lat1.ent ---
<!--
File lat1.ent produced by the XSL script characters.xsl
from input data in unicode.xml.
Please report any errors to David Carlisle
via the public W3C list www-math@w3.org.
The numeric character values assigned to each entity
(should) match the Unicode assignments in Unicode 4.0.
-->
<!ENTITY Aacute "Á" ><!--latin capital letter A with acute -->
<!ENTITY aacute "á" ><!--latin small letter a with acute -->
<!ENTITY Acirc "Â" ><!--latin small letter a with circumflex -->
<!ENTITY acirc "â" ><!--latin capital letter A with circumflex -->
<!ENTITY acute "´" ><!--acute accent = spacing acute -->
<!ENTITY AElig "Æ" ><!--latin capital letter AE = latin capital ligature AE -->
<!ENTITY aelig "æ" ><!--latin small letter ae = latin small ligature ae -->
<!ENTITY Agrave "À" ><!--latin capital letter A with grave = latin capital letter A grave -->
<!ENTITY agrave "à" ><!--latin small letter a with grave = latin small letter a grave -->
<!ENTITY Aring "Å" ><!--latin capital letter A with ring above = latin capital letter A ring -->
<!ENTITY aring "å" ><!--latin small letter a with ring above = latin small letter a ring -->
<!ENTITY Atilde "Ã" ><!--latin capital letter A with tilde -->
<!ENTITY atilde "ã" ><!--latin small letter a with tilde -->
<!ENTITY Auml "Ä" ><!--latin capital letter A with diaeresis -->
<!ENTITY auml "ä" ><!--latin small letter a with diaeresis -->
<!ENTITY brvbar "¦" ><!--broken bar = broken vertical bar -->
<!ENTITY Ccedil "Ç" ><!--latin capital letter C with cedilla -->
<!ENTITY ccedil "ç" ><!--latin small letter c with cedilla -->
<!ENTITY cedil "¸" ><!--cedilla = spacing cedilla -->
<!ENTITY cent "¢" ><!--cent sign -->
<!ENTITY copy "©" ><!--copyright sign -->
<!ENTITY curren "¤" ><!--currency sign -->
<!ENTITY deg "°" ><!--degree sign -->
<!ENTITY divide "÷" ><!--division sign -->
<!ENTITY Eacute "É" ><!--latin capital letter E with acute -->
<!ENTITY eacute "é" ><!--latin small letter e with acute -->
<!ENTITY Ecirc "Ê" ><!--latin capital letter E with circumflex -->
<!ENTITY ecirc "ê" ><!--latin small letter e with circumflex -->
<!ENTITY Egrave "È" ><!--latin capital letter E with grave -->
<!ENTITY egrave "è" ><!--latin small letter e with grave -->
<!ENTITY ETH "Ð" ><!--latin capital letter ETH -->
<!ENTITY eth "ð" ><!--latin small letter eth -->
<!ENTITY Euml "Ë" ><!--latin capital letter E with diaeresis -->
<!ENTITY euml "ë" ><!--latin small letter e with diaeresis -->
<!ENTITY frac12 "½" ><!--vulgar fraction one half = fraction one half -->
<!ENTITY frac14 "¼" ><!--vulgar fraction one quarter = fraction one quarter -->
<!ENTITY frac34 "¾" ><!--vulgar fraction three quarters = fraction three quarters -->
<!ENTITY Iacute "Í" ><!--latin capital letter I with acute -->
<!ENTITY iacute "í" ><!--latin small letter i with acute -->
<!ENTITY Icirc "Î" ><!--latin capital letter I with circumflex -->
<!ENTITY icirc "î" ><!--latin small letter i with circumflex -->
<!ENTITY iexcl "¡" ><!--inverted exclamation mark -->
<!ENTITY Igrave "Ì" ><!--latin capital letter I with grave -->
<!ENTITY igrave "ì" ><!--latin small letter i with grave -->
<!ENTITY iquest "¿" ><!--inverted question mark = turned question mark -->
<!ENTITY Iuml "Ï" ><!--latin capital letter I with diaeresis -->
<!ENTITY iuml "ï" ><!--latin small letter i with diaeresis -->
<!ENTITY laquo "«" ><!--left-pointing double angle quotation mark = left pointing guillemet -->
<!ENTITY macr "¯" ><!--macron = spacing macron = overline = APL overbar -->
<!ENTITY micro "µ" ><!--micro sign -->
<!ENTITY middot "·" ><!--middle dot = Georgian comma = Greek middle dot -->
<!ENTITY nbsp " " ><!--no-break space = non-breaking space -->
<!ENTITY not "¬" ><!--not sign -->
<!ENTITY Ntilde "Ñ" ><!--latin capital letter N with tilde -->
<!ENTITY ntilde "ñ" ><!--latin small letter n with tilde -->
<!ENTITY Oacute "Ó" ><!--latin capital letter O with acute -->
<!ENTITY oacute "ó" ><!--latin small letter o with acute -->
<!ENTITY Ocirc "Ô" ><!--latin capital letter O with circumflex -->
<!ENTITY ocirc "ô" ><!--latin small letter o with circumflex -->
<!ENTITY Ograve "Ò" ><!--latin capital letter O with grave -->
<!ENTITY ograve "ò" ><!--latin small letter o with grave -->
<!ENTITY ordf "ª" ><!--feminine ordinal indicator -->
<!ENTITY ordm "º" ><!--masculine ordinal indicator -->
<!ENTITY Oslash "Ø" ><!--latin capital letter O with stroke = latin capital letter O slash -->
<!ENTITY oslash "ø" ><!--latin small letter o with stroke, = latin small letter o slash, -->
<!ENTITY Otilde "Õ" ><!--latin capital letter O with tilde -->
<!ENTITY otilde "õ" ><!--latin small letter o with tilde -->
<!ENTITY Ouml "Ö" ><!--latin capital letter O with diaeresis -->
<!ENTITY ouml "ö" ><!--latin small letter o with diaeresis -->
<!ENTITY para "¶" ><!--pilcrow sign = paragraph sign -->
<!ENTITY plusmn "±" ><!--plus-minus sign = plus-or-minus sign -->
<!ENTITY pound "£" ><!--pound sign -->
<!ENTITY raquo "»" ><!--right-pointing double angle quotation mark = right pointing guillemet -->
<!ENTITY reg "®" ><!--registered sign = registered trade mark sign -->
<!ENTITY sect "§" ><!--section sign -->
<!ENTITY shy "­" ><!--soft hyphen = discretionary hyphen -->
<!ENTITY sup1 "¹" ><!--superscript one = superscript digit one -->
<!ENTITY sup2 "²" ><!--superscript two = superscript digit two = squared -->
<!ENTITY sup3 "³" ><!--superscript three = superscript digit three = cubed -->
<!ENTITY szlig "ß" ><!--latin small letter sharp s = ess-zed -->
<!ENTITY THORN "Þ" ><!--latin capital letter THORN -->
<!ENTITY thorn "þ" ><!--latin small letter thorn with -->
<!ENTITY times "×" ><!--multiplication sign -->
<!ENTITY Uacute "Ú" ><!--latin capital letter U with acute -->
<!ENTITY uacute "ú" ><!--latin small letter u with acute -->
<!ENTITY Ucirc "Û" ><!--latin capital letter U with circumflex -->
<!ENTITY ucirc "û" ><!--latin small letter u with circumflex -->
<!ENTITY Ugrave "Ù" ><!--latin capital letter U with grave -->
<!ENTITY ugrave "ù" ><!--latin small letter u with grave -->
<!ENTITY uml "¨" ><!--diaeresis = spacing diaeresis -->
<!ENTITY Uuml "Ü" ><!--latin capital letter U with diaeresis -->
<!ENTITY uuml "ü" ><!--latin small letter u with diaeresis -->
<!ENTITY Yacute "Ý" ><!--latin capital letter Y with acute -->
<!ENTITY yacute "ý" ><!--latin small letter y with acute -->
<!ENTITY yen "¥" ><!--yen sign = yuan sign -->
<!ENTITY yuml "ÿ" ><!--latin small letter y with diaeresis -->
--- NEW FILE: special.ent ---
<!--
File special.ent produced by the XSL script characters.xsl
from input data in unicode.xml.
Please report any errors to David Carlisle
via the public W3C list www-math@w3.org.
The numeric character values assigned to each entity
(should) match the Unicode assignments in Unicode 4.0.
-->
<!ENTITY bdquo "„" ><!--double low-9 quotation mark -->
<!ENTITY circ "ˆ" ><!--circumflex accent = spacing circumflex -->
<!ENTITY circ "ˆ" ><!--circumflex accent = spacing circumflex -->
<!ENTITY Dagger "‡" ><!--double dagger -->
<!ENTITY dagger "†" ><!--dagger -->
<!ENTITY emsp " " ><!--em space -->
<!ENTITY ensp " " ><!--en space -->
<!ENTITY euro "€" ><!--euro sign -->
<!ENTITY gt ">" ><!--greater-than sign -->
<!ENTITY ldquo "“" ><!--left double quotation mark -->
<!ENTITY lrm "‎" ><!-- -->
<!ENTITY lsaquo "‹" ><!-- -->
<!ENTITY lsquo "‘" ><!--left single quotation mark -->
<!ENTITY lt "&#60;" ><!--less-than sign -->
<!ENTITY mdash "—" ><!--em dash -->
<!ENTITY ndash "–" ><!--en dash -->
<!ENTITY OElig "Œ" ><!--latin capital ligature OE -->
<!ENTITY oelig "œ" ><!--latin small ligature oe -->
<!ENTITY permil "‰" ><!--per mille sign -->
<!ENTITY quot """ ><!--quotation mark = APL quote -->
<!ENTITY rdquo "”" ><!--right double quotation mark -->
<!ENTITY rlm "‏" ><!-- -->
<!ENTITY rsaquo "›" ><!-- -->
<!ENTITY rsquo "’" ><!--right single quotation mark -->
<!ENTITY sbquo "‚" ><!--single low-9 quotation mark -->
<!ENTITY Scaron "Š" ><!--latin capital letter S with caron -->
<!ENTITY scaron "š" ><!--latin small letter s with caron -->
<!ENTITY thinsp " " ><!--thin space -->
<!ENTITY tilde "˜" ><!--small tilde -->
<!ENTITY Yuml "Ÿ" ><!--latin capital letter Y with diaeresis -->
<!ENTITY zwj "‍" ><!-- -->
<!ENTITY zwnj "‌" ><!-- -->
Received on Wednesday, 24 November 2004 23:20:48 UTC