"-//W3C//ENTITIES Symbols for XHTML//EN"

        "http://www.w3.org/TR/xhtml1/DTD/xhtml-symbol.ent">

     %HTMLsymbol;

-->

     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.

-->

     New names (i.e., not in ISO 8879 list) do not clash with any

     existing ISO 8879 entity names. ISO 10646 character numbers

     are given for each character, in hex. values are decimal

     conversions of the ISO 10646 values and refer to the document

     character set. Names are Unicode names. 

-->

                                    = florin, U+0192 ISOtech -->

                                    U+0393 ISOgrk3 -->

                                    U+0394 ISOgrk3 -->

                                    U+0398 ISOgrk3 -->

                                    U+039B ISOgrk3 -->

                                    U+03A3 ISOgrk3 -->

                                    U+03A5 ISOgrk3 -->

                                    U+03A6 ISOgrk3 -->

                                    U+03A8 ISOgrk3 -->

                                    U+03A9 ISOgrk3 -->

                                    U+03B1 ISOgrk3 -->

                                    U+03B3 ISOgrk3 -->

                                    U+03B4 ISOgrk3 -->

                                    U+03B5 ISOgrk3 -->

                                    U+03B8 ISOgrk3 -->

                                    U+03BA ISOgrk3 -->

                                    U+03BB ISOgrk3 -->

                                    U+03C2 ISOgrk3 -->

                                    U+03C3 ISOgrk3 -->

                                    U+03C5 ISOgrk3 -->

                                    U+03C9 ISOgrk3 -->

                                    U+03D1 NEW -->

                                    U+03D2 NEW -->

                                     U+2022 ISOpub  -->

                                     U+2026 ISOpub  -->

                                     U+2033 ISOtech -->

                                     U+203E NEW -->

                                     = Weierstrass p, U+2118 ISOamso -->

                                     U+2111 ISOamso -->

                                     U+211C ISOamso -->

                                     U+2135 NEW -->

     U+05D0 although the same glyph could be used to depict both characters -->

                                     = carriage return, U+21B5 NEW -->

    but also does not have any other character for that function. So lArr can

    be used for 'is implied by' as ISOtech suggests -->

                                     U+21D2 ISOtech -->

     another character with this function so rArr can be used for 'implies'

     as ISOtech suggests -->

                                     U+21D4 ISOamsa -->

                                     U+2207 ISOtech -->

                                     U+220F ISOamsb -->

     the same glyph might be used for both -->

     though the same glyph might be used for both -->

                                     U+221A ISOtech -->

                                     U+223C ISOtech -->

     although the same glyph might be used to represent both  -->

                                     U+2248 ISOamsr -->

                                     U+2265 ISOtech -->

                                     U+2287 ISOtech -->

                                     U+2295 ISOamsb -->

                                     U+2297 ISOamsb -->

                                     U+22A5 ISOtech -->

                                     U+2308 ISOamsc  -->

                                     U+230A ISOamsc  -->

                                     U+2329 ISOtech -->

     or U+2039 'single left-pointing angle quotation mark' -->

                                     U+232A ISOtech -->

     or U+203A 'single right-pointing angle quotation mark' -->

                                     U+2663 ISOpub -->

                                     U+2665 ISOpub -->