
<!--
     File mmlextramap.xsl  produced by the XSL script charmap.xsl
     from input data in unicode.xml.

     Copyright 2003 - 2008 W3C.

     Use and distribution of this code are permitted under the terms of the
     W3C Software Notice and License.
     http://www.w3.org/Consortium/Legal/copyright-software-19980720

     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 5.1.
-->
<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform" version="2.0">
<xsl:character-map name="mmlextra">
  <xsl:output-character character="&#8289;" string="&amp;af;"/>
  <xsl:output-character character="&#120146;" string="&amp;aopf;"/>
  <xsl:output-character character="&#8781;" string="&amp;asympeq;"/>
  <xsl:output-character character="&#120147;" string="&amp;bopf;"/>
  <xsl:output-character character="&#120148;" string="&amp;copf;"/>
  <xsl:output-character character="&#10799;" string="&amp;Cross;"/>
  <xsl:output-character character="&#8518;" string="&amp;dd;"/>
  <xsl:output-character character="&#8517;" string="&amp;DD;"/>
  <xsl:output-character character="&#120149;" string="&amp;dopf;"/>
  <xsl:output-character character="&#10515;" string="&amp;DownArrowBar;"/>
  <xsl:output-character character="&#785;" string="&amp;DownBreve;"/>
  <xsl:output-character character="&#10576;" string="&amp;DownLeftRightVector;"/>
  <xsl:output-character character="&#10590;" string="&amp;DownLeftTeeVector;"/>
  <xsl:output-character character="&#10582;" string="&amp;DownLeftVectorBar;"/>
  <xsl:output-character character="&#10591;" string="&amp;DownRightTeeVector;"/>
  <xsl:output-character character="&#10583;" string="&amp;DownRightVectorBar;"/>
  <xsl:output-character character="&#8519;" string="&amp;ee;"/>
  <xsl:output-character character="&#9723;" string="&amp;EmptySmallSquare;"/>
  <xsl:output-character character="&#9643;" string="&amp;EmptyVerySmallSquare;"/>
  <xsl:output-character character="&#120150;" string="&amp;eopf;"/>
  <xsl:output-character character="&#10869;" string="&amp;Equal;"/>
  <xsl:output-character character="&#9724;" string="&amp;FilledSmallSquare;"/>
  <xsl:output-character character="&#9642;" string="&amp;FilledVerySmallSquare;"/>
  <xsl:output-character character="&#120151;" string="&amp;fopf;"/>
  <xsl:output-character character="&#120152;" string="&amp;gopf;"/>
  <xsl:output-character character="&#10914;" string="&amp;GreaterGreater;"/>
  <!--U0005E Hat-->
  <xsl:output-character character="&#120153;" string="&amp;hopf;"/>
  <xsl:output-character character="&#9472;" string="&amp;HorizontalLine;"/>
  <xsl:output-character character="&#8291;" string="&amp;ic;"/>
  <xsl:output-character character="&#8520;" string="&amp;ii;"/>
  <xsl:output-character character="&#120154;" string="&amp;iopf;"/>
  <xsl:output-character character="&#8290;" string="&amp;it;"/>
  <xsl:output-character character="&#120155;" string="&amp;jopf;"/>
  <xsl:output-character character="&#120156;" string="&amp;kopf;"/>
  <xsl:output-character character="&#8676;" string="&amp;larrb;"/>
  <xsl:output-character character="&#10593;" string="&amp;LeftDownTeeVector;"/>
  <xsl:output-character character="&#10585;" string="&amp;LeftDownVectorBar;"/>
  <xsl:output-character character="&#10574;" string="&amp;LeftRightVector;"/>
  <xsl:output-character character="&#10586;" string="&amp;LeftTeeVector;"/>
  <xsl:output-character character="&#10703;" string="&amp;LeftTriangleBar;"/>
  <xsl:output-character character="&#10577;" string="&amp;LeftUpDownVector;"/>
  <xsl:output-character character="&#10592;" string="&amp;LeftUpTeeVector;"/>
  <xsl:output-character character="&#10584;" string="&amp;LeftUpVectorBar;"/>
  <xsl:output-character character="&#10578;" string="&amp;LeftVectorBar;"/>
  <xsl:output-character character="&#10913;" string="&amp;LessLess;"/>
  <xsl:output-character character="&#120157;" string="&amp;lopf;"/>
  <xsl:output-character character="&#8615;" string="&amp;mapstodown;"/>
  <xsl:output-character character="&#8612;" string="&amp;mapstoleft;"/>
  <xsl:output-character character="&#8613;" string="&amp;mapstoup;"/>
  <xsl:output-character character="&#8287;" string="&amp;MediumSpace;"/>
  <xsl:output-character character="&#120158;" string="&amp;mopf;"/>
  <!--U0224E-00338 nbump-->
  <!--U0224F-00338 nbumpe-->
  <!--U02242-00338 nesim-->
  <!--U0000A NewLine-->
  <xsl:output-character character="&#8288;" string="&amp;NoBreak;"/>
  <xsl:output-character character="&#120159;" string="&amp;nopf;"/>
  <xsl:output-character character="&#8813;" string="&amp;NotCupCap;"/>
  <!--U0224F-00338 NotHumpEqual-->
  <!--U029CF-00338 NotLeftTriangleBar-->
  <!--U02AA2-00338 NotNestedGreaterGreater-->
  <!--U02AA1-00338 NotNestedLessLess-->
  <!--U029D0-00338 NotRightTriangleBar-->
  <!--U0228F-00338 NotSquareSubset-->
  <!--U02290-00338 NotSquareSuperset-->
  <!--U0227F-00338 NotSucceedsTilde-->
  <xsl:output-character character="&#120160;" string="&amp;oopf;"/>
  <xsl:output-character character="&#175;" string="&amp;OverBar;"/>
  <xsl:output-character character="&#9182;" string="&amp;OverBrace;"/>
  <xsl:output-character character="&#9140;" string="&amp;OverBracket;"/>
  <xsl:output-character character="&#9180;" string="&amp;OverParenthesis;"/>
  <xsl:output-character character="&#8462;" string="&amp;planckh;"/>
  <xsl:output-character character="&#120161;" string="&amp;popf;"/>
  <xsl:output-character character="&#8719;" string="&amp;Product;"/>
  <xsl:output-character character="&#120162;" string="&amp;qopf;"/>
  <xsl:output-character character="&#8677;" string="&amp;rarrb;"/>
  <xsl:output-character character="&#10589;" string="&amp;RightDownTeeVector;"/>
  <xsl:output-character character="&#10581;" string="&amp;RightDownVectorBar;"/>
  <xsl:output-character character="&#10587;" string="&amp;RightTeeVector;"/>
  <xsl:output-character character="&#10704;" string="&amp;RightTriangleBar;"/>
  <xsl:output-character character="&#10575;" string="&amp;RightUpDownVector;"/>
  <xsl:output-character character="&#10588;" string="&amp;RightUpTeeVector;"/>
  <xsl:output-character character="&#10580;" string="&amp;RightUpVectorBar;"/>
  <xsl:output-character character="&#10579;" string="&amp;RightVectorBar;"/>
  <xsl:output-character character="&#120163;" string="&amp;ropf;"/>
  <xsl:output-character character="&#10608;" string="&amp;RoundImplies;"/>
  <xsl:output-character character="&#10740;" string="&amp;RuleDelayed;"/>
  <xsl:output-character character="&#120164;" string="&amp;sopf;"/>
  <!--U00009 Tab-->
  <!--U02009-0200A-0200A ThickSpace-->
  <xsl:output-character character="&#120165;" string="&amp;topf;"/>
  <xsl:output-character character="&#818;" string="&amp;UnderBar;"/>
  <xsl:output-character character="&#9183;" string="&amp;UnderBrace;"/>
  <xsl:output-character character="&#9141;" string="&amp;UnderBracket;"/>
  <xsl:output-character character="&#9181;" string="&amp;UnderParenthesis;"/>
  <xsl:output-character character="&#120166;" string="&amp;uopf;"/>
  <xsl:output-character character="&#10514;" string="&amp;UpArrowBar;"/>
  <xsl:output-character character="&#933;" string="&amp;Upsilon;"/>
  <!--U0007C VerticalLine-->
  <xsl:output-character character="&#10072;" string="&amp;VerticalSeparator;"/>
  <xsl:output-character character="&#120167;" string="&amp;vopf;"/>
  <xsl:output-character character="&#120168;" string="&amp;wopf;"/>
  <xsl:output-character character="&#120169;" string="&amp;xopf;"/>
  <xsl:output-character character="&#120170;" string="&amp;yopf;"/>
  <xsl:output-character character="&#8203;" string="&amp;ZeroWidthSpace;"/>
  <xsl:output-character character="&#120171;" string="&amp;zopf;"/>
</xsl:character-map>

</xsl:stylesheet>