0
0
mirror of https://github.com/ezyang/htmlpurifier.git synced 2025-01-10 07:51:52 +00:00
htmlpurifier/docs/entities/mathml-isoamsa.ent

202 lines
13 KiB
Plaintext

<!--
File isoamsa.ent produced by the XSL script entities.xsl
from input data in unicode.xml.
Copyright 1998 - 2011 W3C.
Use and distribution of this code are permitted under the terms of
either of the following two licences:
1) W3C Software Notice and License.
http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231.html
2) The license used for the WHATWG HTML specification,
which states, in full:
You are granted a license to use, reproduce and create derivative
works of this document.
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.x.
Entity names in this file are derived from files carrying the
following notice:
(C) International Organization for Standardization 1991
Permission to copy in any form is granted for use with
conforming SGML systems and applications as defined in
ISO 8879, provided this notice is included in all copies.
-->
<!--
Public identifier: -//W3C//ENTITIES Added Math Symbols: Arrow Relations//EN//XML
System identifier: http://www.w3.org/2003/entities/2007/isoamsa.ent
The public identifier should always be used verbatim.
The system identifier may be changed to suit local requirements.
Typical invocation:
<!ENTITY % isoamsa PUBLIC
"-//W3C//ENTITIES Added Math Symbols: Arrow Relations//EN//XML"
"http://www.w3.org/2003/entities/2007/isoamsa.ent"
>
%isoamsa;
-->
<!ENTITY angzarr "&#x0237C;" ><!--RIGHT ANGLE WITH DOWNWARDS ZIGZAG ARROW -->
<!ENTITY cirmid "&#x02AEF;" ><!--VERTICAL LINE WITH CIRCLE ABOVE -->
<!ENTITY cudarrl "&#x02938;" ><!--RIGHT-SIDE ARC CLOCKWISE ARROW -->
<!ENTITY cudarrr "&#x02935;" ><!--ARROW POINTING RIGHTWARDS THEN CURVING DOWNWARDS -->
<!ENTITY cularr "&#x021B6;" ><!--ANTICLOCKWISE TOP SEMICIRCLE ARROW -->
<!ENTITY cularrp "&#x0293D;" ><!--TOP ARC ANTICLOCKWISE ARROW WITH PLUS -->
<!ENTITY curarr "&#x021B7;" ><!--CLOCKWISE TOP SEMICIRCLE ARROW -->
<!ENTITY curarrm "&#x0293C;" ><!--TOP ARC CLOCKWISE ARROW WITH MINUS -->
<!ENTITY dArr "&#x021D3;" ><!--DOWNWARDS DOUBLE ARROW -->
<!ENTITY Darr "&#x021A1;" ><!--DOWNWARDS TWO HEADED ARROW -->
<!ENTITY ddarr "&#x021CA;" ><!--DOWNWARDS PAIRED ARROWS -->
<!ENTITY DDotrahd "&#x02911;" ><!--RIGHTWARDS ARROW WITH DOTTED STEM -->
<!ENTITY dfisht "&#x0297F;" ><!--DOWN FISH TAIL -->
<!ENTITY dHar "&#x02965;" ><!--DOWNWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT -->
<!ENTITY dharl "&#x021C3;" ><!--DOWNWARDS HARPOON WITH BARB LEFTWARDS -->
<!ENTITY dharr "&#x021C2;" ><!--DOWNWARDS HARPOON WITH BARB RIGHTWARDS -->
<!ENTITY duarr "&#x021F5;" ><!--DOWNWARDS ARROW LEFTWARDS OF UPWARDS ARROW -->
<!ENTITY duhar "&#x0296F;" ><!--DOWNWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT -->
<!ENTITY dzigrarr "&#x027FF;" ><!--LONG RIGHTWARDS SQUIGGLE ARROW -->
<!ENTITY erarr "&#x02971;" ><!--EQUALS SIGN ABOVE RIGHTWARDS ARROW -->
<!ENTITY harr "&#x02194;" ><!--LEFT RIGHT ARROW -->
<!ENTITY hArr "&#x021D4;" ><!--LEFT RIGHT DOUBLE ARROW -->
<!ENTITY harrcir "&#x02948;" ><!--LEFT RIGHT ARROW THROUGH SMALL CIRCLE -->
<!ENTITY harrw "&#x021AD;" ><!--LEFT RIGHT WAVE ARROW -->
<!ENTITY hoarr "&#x021FF;" ><!--LEFT RIGHT OPEN-HEADED ARROW -->
<!ENTITY imof "&#x022B7;" ><!--IMAGE OF -->
<!ENTITY lAarr "&#x021DA;" ><!--LEFTWARDS TRIPLE ARROW -->
<!ENTITY Larr "&#x0219E;" ><!--LEFTWARDS TWO HEADED ARROW -->
<!ENTITY larrbfs "&#x0291F;" ><!--LEFTWARDS ARROW FROM BAR TO BLACK DIAMOND -->
<!ENTITY larrfs "&#x0291D;" ><!--LEFTWARDS ARROW TO BLACK DIAMOND -->
<!ENTITY larrhk "&#x021A9;" ><!--LEFTWARDS ARROW WITH HOOK -->
<!ENTITY larrlp "&#x021AB;" ><!--LEFTWARDS ARROW WITH LOOP -->
<!ENTITY larrpl "&#x02939;" ><!--LEFT-SIDE ARC ANTICLOCKWISE ARROW -->
<!ENTITY larrsim "&#x02973;" ><!--LEFTWARDS ARROW ABOVE TILDE OPERATOR -->
<!ENTITY larrtl "&#x021A2;" ><!--LEFTWARDS ARROW WITH TAIL -->
<!ENTITY latail "&#x02919;" ><!--LEFTWARDS ARROW-TAIL -->
<!ENTITY lAtail "&#x0291B;" ><!--LEFTWARDS DOUBLE ARROW-TAIL -->
<!ENTITY lbarr "&#x0290C;" ><!--LEFTWARDS DOUBLE DASH ARROW -->
<!ENTITY lBarr "&#x0290E;" ><!--LEFTWARDS TRIPLE DASH ARROW -->
<!ENTITY ldca "&#x02936;" ><!--ARROW POINTING DOWNWARDS THEN CURVING LEFTWARDS -->
<!ENTITY ldrdhar "&#x02967;" ><!--LEFTWARDS HARPOON WITH BARB DOWN ABOVE RIGHTWARDS HARPOON WITH BARB DOWN -->
<!ENTITY ldrushar "&#x0294B;" ><!--LEFT BARB DOWN RIGHT BARB UP HARPOON -->
<!ENTITY ldsh "&#x021B2;" ><!--DOWNWARDS ARROW WITH TIP LEFTWARDS -->
<!ENTITY lfisht "&#x0297C;" ><!--LEFT FISH TAIL -->
<!ENTITY lHar "&#x02962;" ><!--LEFTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB DOWN -->
<!ENTITY lhard "&#x021BD;" ><!--LEFTWARDS HARPOON WITH BARB DOWNWARDS -->
<!ENTITY lharu "&#x021BC;" ><!--LEFTWARDS HARPOON WITH BARB UPWARDS -->
<!ENTITY lharul "&#x0296A;" ><!--LEFTWARDS HARPOON WITH BARB UP ABOVE LONG DASH -->
<!ENTITY llarr "&#x021C7;" ><!--LEFTWARDS PAIRED ARROWS -->
<!ENTITY llhard "&#x0296B;" ><!--LEFTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH -->
<!ENTITY loarr "&#x021FD;" ><!--LEFTWARDS OPEN-HEADED ARROW -->
<!ENTITY lrarr "&#x021C6;" ><!--LEFTWARDS ARROW OVER RIGHTWARDS ARROW -->
<!ENTITY lrhar "&#x021CB;" ><!--LEFTWARDS HARPOON OVER RIGHTWARDS HARPOON -->
<!ENTITY lrhard "&#x0296D;" ><!--RIGHTWARDS HARPOON WITH BARB DOWN BELOW LONG DASH -->
<!ENTITY lsh "&#x021B0;" ><!--UPWARDS ARROW WITH TIP LEFTWARDS -->
<!ENTITY lurdshar "&#x0294A;" ><!--LEFT BARB UP RIGHT BARB DOWN HARPOON -->
<!ENTITY luruhar "&#x02966;" ><!--LEFTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB UP -->
<!ENTITY map "&#x021A6;" ><!--RIGHTWARDS ARROW FROM BAR -->
<!ENTITY Map "&#x02905;" ><!--RIGHTWARDS TWO-HEADED ARROW FROM BAR -->
<!ENTITY midcir "&#x02AF0;" ><!--VERTICAL LINE WITH CIRCLE BELOW -->
<!ENTITY mumap "&#x022B8;" ><!--MULTIMAP -->
<!ENTITY nearhk "&#x02924;" ><!--NORTH EAST ARROW WITH HOOK -->
<!ENTITY nearr "&#x02197;" ><!--NORTH EAST ARROW -->
<!ENTITY neArr "&#x021D7;" ><!--NORTH EAST DOUBLE ARROW -->
<!ENTITY nesear "&#x02928;" ><!--NORTH EAST ARROW AND SOUTH EAST ARROW -->
<!ENTITY nharr "&#x021AE;" ><!--LEFT RIGHT ARROW WITH STROKE -->
<!ENTITY nhArr "&#x021CE;" ><!--LEFT RIGHT DOUBLE ARROW WITH STROKE -->
<!ENTITY nlarr "&#x0219A;" ><!--LEFTWARDS ARROW WITH STROKE -->
<!ENTITY nlArr "&#x021CD;" ><!--LEFTWARDS DOUBLE ARROW WITH STROKE -->
<!ENTITY nrarr "&#x0219B;" ><!--RIGHTWARDS ARROW WITH STROKE -->
<!ENTITY nrArr "&#x021CF;" ><!--RIGHTWARDS DOUBLE ARROW WITH STROKE -->
<!ENTITY nrarrc "&#x02933;&#x00338;" ><!--WAVE ARROW POINTING DIRECTLY RIGHT with slash -->
<!ENTITY nrarrw "&#x0219D;&#x00338;" ><!--RIGHTWARDS WAVE ARROW with slash -->
<!ENTITY nvHarr "&#x02904;" ><!--LEFT RIGHT DOUBLE ARROW WITH VERTICAL STROKE -->
<!ENTITY nvlArr "&#x02902;" ><!--LEFTWARDS DOUBLE ARROW WITH VERTICAL STROKE -->
<!ENTITY nvrArr "&#x02903;" ><!--RIGHTWARDS DOUBLE ARROW WITH VERTICAL STROKE -->
<!ENTITY nwarhk "&#x02923;" ><!--NORTH WEST ARROW WITH HOOK -->
<!ENTITY nwarr "&#x02196;" ><!--NORTH WEST ARROW -->
<!ENTITY nwArr "&#x021D6;" ><!--NORTH WEST DOUBLE ARROW -->
<!ENTITY nwnear "&#x02927;" ><!--NORTH WEST ARROW AND NORTH EAST ARROW -->
<!ENTITY olarr "&#x021BA;" ><!--ANTICLOCKWISE OPEN CIRCLE ARROW -->
<!ENTITY orarr "&#x021BB;" ><!--CLOCKWISE OPEN CIRCLE ARROW -->
<!ENTITY origof "&#x022B6;" ><!--ORIGINAL OF -->
<!ENTITY rAarr "&#x021DB;" ><!--RIGHTWARDS TRIPLE ARROW -->
<!ENTITY Rarr "&#x021A0;" ><!--RIGHTWARDS TWO HEADED ARROW -->
<!ENTITY rarrap "&#x02975;" ><!--RIGHTWARDS ARROW ABOVE ALMOST EQUAL TO -->
<!ENTITY rarrbfs "&#x02920;" ><!--RIGHTWARDS ARROW FROM BAR TO BLACK DIAMOND -->
<!ENTITY rarrc "&#x02933;" ><!--WAVE ARROW POINTING DIRECTLY RIGHT -->
<!ENTITY rarrfs "&#x0291E;" ><!--RIGHTWARDS ARROW TO BLACK DIAMOND -->
<!ENTITY rarrhk "&#x021AA;" ><!--RIGHTWARDS ARROW WITH HOOK -->
<!ENTITY rarrlp "&#x021AC;" ><!--RIGHTWARDS ARROW WITH LOOP -->
<!ENTITY rarrpl "&#x02945;" ><!--RIGHTWARDS ARROW WITH PLUS BELOW -->
<!ENTITY rarrsim "&#x02974;" ><!--RIGHTWARDS ARROW ABOVE TILDE OPERATOR -->
<!ENTITY rarrtl "&#x021A3;" ><!--RIGHTWARDS ARROW WITH TAIL -->
<!ENTITY Rarrtl "&#x02916;" ><!--RIGHTWARDS TWO-HEADED ARROW WITH TAIL -->
<!ENTITY rarrw "&#x0219D;" ><!--RIGHTWARDS WAVE ARROW -->
<!ENTITY ratail "&#x0291A;" ><!--RIGHTWARDS ARROW-TAIL -->
<!ENTITY rAtail "&#x0291C;" ><!--RIGHTWARDS DOUBLE ARROW-TAIL -->
<!ENTITY rbarr "&#x0290D;" ><!--RIGHTWARDS DOUBLE DASH ARROW -->
<!ENTITY rBarr "&#x0290F;" ><!--RIGHTWARDS TRIPLE DASH ARROW -->
<!ENTITY RBarr "&#x02910;" ><!--RIGHTWARDS TWO-HEADED TRIPLE DASH ARROW -->
<!ENTITY rdca "&#x02937;" ><!--ARROW POINTING DOWNWARDS THEN CURVING RIGHTWARDS -->
<!ENTITY rdldhar "&#x02969;" ><!--RIGHTWARDS HARPOON WITH BARB DOWN ABOVE LEFTWARDS HARPOON WITH BARB DOWN -->
<!ENTITY rdsh "&#x021B3;" ><!--DOWNWARDS ARROW WITH TIP RIGHTWARDS -->
<!ENTITY rfisht "&#x0297D;" ><!--RIGHT FISH TAIL -->
<!ENTITY rHar "&#x02964;" ><!--RIGHTWARDS HARPOON WITH BARB UP ABOVE RIGHTWARDS HARPOON WITH BARB DOWN -->
<!ENTITY rhard "&#x021C1;" ><!--RIGHTWARDS HARPOON WITH BARB DOWNWARDS -->
<!ENTITY rharu "&#x021C0;" ><!--RIGHTWARDS HARPOON WITH BARB UPWARDS -->
<!ENTITY rharul "&#x0296C;" ><!--RIGHTWARDS HARPOON WITH BARB UP ABOVE LONG DASH -->
<!ENTITY rlarr "&#x021C4;" ><!--RIGHTWARDS ARROW OVER LEFTWARDS ARROW -->
<!ENTITY rlhar "&#x021CC;" ><!--RIGHTWARDS HARPOON OVER LEFTWARDS HARPOON -->
<!ENTITY roarr "&#x021FE;" ><!--RIGHTWARDS OPEN-HEADED ARROW -->
<!ENTITY rrarr "&#x021C9;" ><!--RIGHTWARDS PAIRED ARROWS -->
<!ENTITY rsh "&#x021B1;" ><!--UPWARDS ARROW WITH TIP RIGHTWARDS -->
<!ENTITY ruluhar "&#x02968;" ><!--RIGHTWARDS HARPOON WITH BARB UP ABOVE LEFTWARDS HARPOON WITH BARB UP -->
<!ENTITY searhk "&#x02925;" ><!--SOUTH EAST ARROW WITH HOOK -->
<!ENTITY searr "&#x02198;" ><!--SOUTH EAST ARROW -->
<!ENTITY seArr "&#x021D8;" ><!--SOUTH EAST DOUBLE ARROW -->
<!ENTITY seswar "&#x02929;" ><!--SOUTH EAST ARROW AND SOUTH WEST ARROW -->
<!ENTITY simrarr "&#x02972;" ><!--TILDE OPERATOR ABOVE RIGHTWARDS ARROW -->
<!ENTITY slarr "&#x02190;" ><!--LEFTWARDS ARROW -->
<!ENTITY srarr "&#x02192;" ><!--RIGHTWARDS ARROW -->
<!ENTITY swarhk "&#x02926;" ><!--SOUTH WEST ARROW WITH HOOK -->
<!ENTITY swarr "&#x02199;" ><!--SOUTH WEST ARROW -->
<!ENTITY swArr "&#x021D9;" ><!--SOUTH WEST DOUBLE ARROW -->
<!ENTITY swnwar "&#x0292A;" ><!--SOUTH WEST ARROW AND NORTH WEST ARROW -->
<!ENTITY uArr "&#x021D1;" ><!--UPWARDS DOUBLE ARROW -->
<!ENTITY Uarr "&#x0219F;" ><!--UPWARDS TWO HEADED ARROW -->
<!ENTITY Uarrocir "&#x02949;" ><!--UPWARDS TWO-HEADED ARROW FROM SMALL CIRCLE -->
<!ENTITY udarr "&#x021C5;" ><!--UPWARDS ARROW LEFTWARDS OF DOWNWARDS ARROW -->
<!ENTITY udhar "&#x0296E;" ><!--UPWARDS HARPOON WITH BARB LEFT BESIDE DOWNWARDS HARPOON WITH BARB RIGHT -->
<!ENTITY ufisht "&#x0297E;" ><!--UP FISH TAIL -->
<!ENTITY uHar "&#x02963;" ><!--UPWARDS HARPOON WITH BARB LEFT BESIDE UPWARDS HARPOON WITH BARB RIGHT -->
<!ENTITY uharl "&#x021BF;" ><!--UPWARDS HARPOON WITH BARB LEFTWARDS -->
<!ENTITY uharr "&#x021BE;" ><!--UPWARDS HARPOON WITH BARB RIGHTWARDS -->
<!ENTITY uuarr "&#x021C8;" ><!--UPWARDS PAIRED ARROWS -->
<!ENTITY varr "&#x02195;" ><!--UP DOWN ARROW -->
<!ENTITY vArr "&#x021D5;" ><!--UP DOWN DOUBLE ARROW -->
<!ENTITY xharr "&#x027F7;" ><!--LONG LEFT RIGHT ARROW -->
<!ENTITY xhArr "&#x027FA;" ><!--LONG LEFT RIGHT DOUBLE ARROW -->
<!ENTITY xlarr "&#x027F5;" ><!--LONG LEFTWARDS ARROW -->
<!ENTITY xlArr "&#x027F8;" ><!--LONG LEFTWARDS DOUBLE ARROW -->
<!ENTITY xmap "&#x027FC;" ><!--LONG RIGHTWARDS ARROW FROM BAR -->
<!ENTITY xrarr "&#x027F6;" ><!--LONG RIGHTWARDS ARROW -->
<!ENTITY xrArr "&#x027F9;" ><!--LONG RIGHTWARDS DOUBLE ARROW -->
<!ENTITY zigrarr "&#x021DD;" ><!--RIGHTWARDS SQUIGGLE ARROW -->