1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/bookloupe/HTMLsymbol.ent Thu May 30 17:16:37 2013 +0100
1.3 @@ -0,0 +1,241 @@
1.4 +<!-- Mathematical, Greek and Symbolic characters for HTML -->
1.5 +
1.6 +<!-- Character entity set. Typical invocation:
1.7 + <!ENTITY % HTMLsymbol PUBLIC
1.8 + "-//W3C//ENTITIES Symbols//EN//HTML">
1.9 + %HTMLsymbol; -->
1.10 +
1.11 +<!-- Portions © International Organization for Standardization 1986:
1.12 + Permission to copy in any form is granted for use with
1.13 + conforming SGML systems and applications as defined in
1.14 + ISO 8879, provided this notice is included in all copies.
1.15 +-->
1.16 +
1.17 +<!-- Relevant ISO entity set is given unless names are newly introduced.
1.18 + New names (i.e., not in ISO 8879 list) do not clash with any
1.19 + existing ISO 8879 entity names. ISO 10646 character numbers
1.20 + are given for each character, in hex. CDATA values are decimal
1.21 + conversions of the ISO 10646 values and refer to the document
1.22 + character set. Names are ISO 10646 names.
1.23 +
1.24 +-->
1.25 +
1.26 +<!-- Latin Extended-B -->
1.27 +<!ENTITY fnof CDATA "ƒ" -- latin small f with hook = function
1.28 + = florin, U+0192 ISOtech -->
1.29 +
1.30 +<!-- Greek -->
1.31 +<!ENTITY Alpha CDATA "Α" -- greek capital letter alpha, U+0391 -->
1.32 +<!ENTITY Beta CDATA "Β" -- greek capital letter beta, U+0392 -->
1.33 +<!ENTITY Gamma CDATA "Γ" -- greek capital letter gamma,
1.34 + U+0393 ISOgrk3 -->
1.35 +<!ENTITY Delta CDATA "Δ" -- greek capital letter delta,
1.36 + U+0394 ISOgrk3 -->
1.37 +<!ENTITY Epsilon CDATA "Ε" -- greek capital letter epsilon, U+0395 -->
1.38 +<!ENTITY Zeta CDATA "Ζ" -- greek capital letter zeta, U+0396 -->
1.39 +<!ENTITY Eta CDATA "Η" -- greek capital letter eta, U+0397 -->
1.40 +<!ENTITY Theta CDATA "Θ" -- greek capital letter theta,
1.41 + U+0398 ISOgrk3 -->
1.42 +<!ENTITY Iota CDATA "Ι" -- greek capital letter iota, U+0399 -->
1.43 +<!ENTITY Kappa CDATA "Κ" -- greek capital letter kappa, U+039A -->
1.44 +<!ENTITY Lambda CDATA "Λ" -- greek capital letter lambda,
1.45 + U+039B ISOgrk3 -->
1.46 +<!ENTITY Mu CDATA "Μ" -- greek capital letter mu, U+039C -->
1.47 +<!ENTITY Nu CDATA "Ν" -- greek capital letter nu, U+039D -->
1.48 +<!ENTITY Xi CDATA "Ξ" -- greek capital letter xi, U+039E ISOgrk3 -->
1.49 +<!ENTITY Omicron CDATA "Ο" -- greek capital letter omicron, U+039F -->
1.50 +<!ENTITY Pi CDATA "Π" -- greek capital letter pi, U+03A0 ISOgrk3 -->
1.51 +<!ENTITY Rho CDATA "Ρ" -- greek capital letter rho, U+03A1 -->
1.52 +<!-- there is no Sigmaf, and no U+03A2 character either -->
1.53 +<!ENTITY Sigma CDATA "Σ" -- greek capital letter sigma,
1.54 + U+03A3 ISOgrk3 -->
1.55 +<!ENTITY Tau CDATA "Τ" -- greek capital letter tau, U+03A4 -->
1.56 +<!ENTITY Upsilon CDATA "Υ" -- greek capital letter upsilon,
1.57 + U+03A5 ISOgrk3 -->
1.58 +<!ENTITY Phi CDATA "Φ" -- greek capital letter phi,
1.59 + U+03A6 ISOgrk3 -->
1.60 +<!ENTITY Chi CDATA "Χ" -- greek capital letter chi, U+03A7 -->
1.61 +<!ENTITY Psi CDATA "Ψ" -- greek capital letter psi,
1.62 + U+03A8 ISOgrk3 -->
1.63 +<!ENTITY Omega CDATA "Ω" -- greek capital letter omega,
1.64 + U+03A9 ISOgrk3 -->
1.65 +
1.66 +<!ENTITY alpha CDATA "α" -- greek small letter alpha,
1.67 + U+03B1 ISOgrk3 -->
1.68 +<!ENTITY beta CDATA "β" -- greek small letter beta, U+03B2 ISOgrk3 -->
1.69 +<!ENTITY gamma CDATA "γ" -- greek small letter gamma,
1.70 + U+03B3 ISOgrk3 -->
1.71 +<!ENTITY delta CDATA "δ" -- greek small letter delta,
1.72 + U+03B4 ISOgrk3 -->
1.73 +<!ENTITY epsilon CDATA "ε" -- greek small letter epsilon,
1.74 + U+03B5 ISOgrk3 -->
1.75 +<!ENTITY zeta CDATA "ζ" -- greek small letter zeta, U+03B6 ISOgrk3 -->
1.76 +<!ENTITY eta CDATA "η" -- greek small letter eta, U+03B7 ISOgrk3 -->
1.77 +<!ENTITY theta CDATA "θ" -- greek small letter theta,
1.78 + U+03B8 ISOgrk3 -->
1.79 +<!ENTITY iota CDATA "ι" -- greek small letter iota, U+03B9 ISOgrk3 -->
1.80 +<!ENTITY kappa CDATA "κ" -- greek small letter kappa,
1.81 + U+03BA ISOgrk3 -->
1.82 +<!ENTITY lambda CDATA "λ" -- greek small letter lambda,
1.83 + U+03BB ISOgrk3 -->
1.84 +<!ENTITY mu CDATA "μ" -- greek small letter mu, U+03BC ISOgrk3 -->
1.85 +<!ENTITY nu CDATA "ν" -- greek small letter nu, U+03BD ISOgrk3 -->
1.86 +<!ENTITY xi CDATA "ξ" -- greek small letter xi, U+03BE ISOgrk3 -->
1.87 +<!ENTITY omicron CDATA "ο" -- greek small letter omicron, U+03BF NEW -->
1.88 +<!ENTITY pi CDATA "π" -- greek small letter pi, U+03C0 ISOgrk3 -->
1.89 +<!ENTITY rho CDATA "ρ" -- greek small letter rho, U+03C1 ISOgrk3 -->
1.90 +<!ENTITY sigmaf CDATA "ς" -- greek small letter final sigma,
1.91 + U+03C2 ISOgrk3 -->
1.92 +<!ENTITY sigma CDATA "σ" -- greek small letter sigma,
1.93 + U+03C3 ISOgrk3 -->
1.94 +<!ENTITY tau CDATA "τ" -- greek small letter tau, U+03C4 ISOgrk3 -->
1.95 +<!ENTITY upsilon CDATA "υ" -- greek small letter upsilon,
1.96 + U+03C5 ISOgrk3 -->
1.97 +<!ENTITY phi CDATA "φ" -- greek small letter phi, U+03C6 ISOgrk3 -->
1.98 +<!ENTITY chi CDATA "χ" -- greek small letter chi, U+03C7 ISOgrk3 -->
1.99 +<!ENTITY psi CDATA "ψ" -- greek small letter psi, U+03C8 ISOgrk3 -->
1.100 +<!ENTITY omega CDATA "ω" -- greek small letter omega,
1.101 + U+03C9 ISOgrk3 -->
1.102 +<!ENTITY thetasym CDATA "ϑ" -- greek small letter theta symbol,
1.103 + U+03D1 NEW -->
1.104 +<!ENTITY upsih CDATA "ϒ" -- greek upsilon with hook symbol,
1.105 + U+03D2 NEW -->
1.106 +<!ENTITY piv CDATA "ϖ" -- greek pi symbol, U+03D6 ISOgrk3 -->
1.107 +
1.108 +<!-- General Punctuation -->
1.109 +<!ENTITY bull CDATA "•" -- bullet = black small circle,
1.110 + U+2022 ISOpub -->
1.111 +<!-- bullet is NOT the same as bullet operator, U+2219 -->
1.112 +<!ENTITY hellip CDATA "…" -- horizontal ellipsis = three dot leader,
1.113 + U+2026 ISOpub -->
1.114 +<!ENTITY prime CDATA "′" -- prime = minutes = feet, U+2032 ISOtech -->
1.115 +<!ENTITY Prime CDATA "″" -- double prime = seconds = inches,
1.116 + U+2033 ISOtech -->
1.117 +<!ENTITY oline CDATA "‾" -- overline = spacing overscore,
1.118 + U+203E NEW -->
1.119 +<!ENTITY frasl CDATA "⁄" -- fraction slash, U+2044 NEW -->
1.120 +
1.121 +<!-- Letterlike Symbols -->
1.122 +<!ENTITY weierp CDATA "℘" -- script capital P = power set
1.123 + = Weierstrass p, U+2118 ISOamso -->
1.124 +<!ENTITY image CDATA "ℑ" -- blackletter capital I = imaginary part,
1.125 + U+2111 ISOamso -->
1.126 +<!ENTITY real CDATA "ℜ" -- blackletter capital R = real part symbol,
1.127 + U+211C ISOamso -->
1.128 +<!ENTITY trade CDATA "™" -- trade mark sign, U+2122 ISOnum -->
1.129 +<!ENTITY alefsym CDATA "ℵ" -- alef symbol = first transfinite cardinal,
1.130 + U+2135 NEW -->
1.131 +<!-- alef symbol is NOT the same as hebrew letter alef,
1.132 + U+05D0 although the same glyph could be used to depict both characters -->
1.133 +
1.134 +<!-- Arrows -->
1.135 +<!ENTITY larr CDATA "←" -- leftwards arrow, U+2190 ISOnum -->
1.136 +<!ENTITY uarr CDATA "↑" -- upwards arrow, U+2191 ISOnum-->
1.137 +<!ENTITY rarr CDATA "→" -- rightwards arrow, U+2192 ISOnum -->
1.138 +<!ENTITY darr CDATA "↓" -- downwards arrow, U+2193 ISOnum -->
1.139 +<!ENTITY harr CDATA "↔" -- left right arrow, U+2194 ISOamsa -->
1.140 +<!ENTITY crarr CDATA "↵" -- downwards arrow with corner leftwards
1.141 + = carriage return, U+21B5 NEW -->
1.142 +<!ENTITY lArr CDATA "⇐" -- leftwards double arrow, U+21D0 ISOtech -->
1.143 +<!-- ISO 10646 does not say that lArr is the same as the 'is implied by' arrow
1.144 + but also does not have any other character for that function. So ? lArr can
1.145 + be used for 'is implied by' as ISOtech suggests -->
1.146 +<!ENTITY uArr CDATA "⇑" -- upwards double arrow, U+21D1 ISOamsa -->
1.147 +<!ENTITY rArr CDATA "⇒" -- rightwards double arrow,
1.148 + U+21D2 ISOtech -->
1.149 +<!-- ISO 10646 does not say this is the 'implies' character but does not have
1.150 + another character with this function so ?
1.151 + rArr can be used for 'implies' as ISOtech suggests -->
1.152 +<!ENTITY dArr CDATA "⇓" -- downwards double arrow, U+21D3 ISOamsa -->
1.153 +<!ENTITY hArr CDATA "⇔" -- left right double arrow,
1.154 + U+21D4 ISOamsa -->
1.155 +
1.156 +<!-- Mathematical Operators -->
1.157 +<!ENTITY forall CDATA "∀" -- for all, U+2200 ISOtech -->
1.158 +<!ENTITY part CDATA "∂" -- partial differential, U+2202 ISOtech -->
1.159 +<!ENTITY exist CDATA "∃" -- there exists, U+2203 ISOtech -->
1.160 +<!ENTITY empty CDATA "∅" -- empty set = null set = diameter,
1.161 + U+2205 ISOamso -->
1.162 +<!ENTITY nabla CDATA "∇" -- nabla = backward difference,
1.163 + U+2207 ISOtech -->
1.164 +<!ENTITY isin CDATA "∈" -- element of, U+2208 ISOtech -->
1.165 +<!ENTITY notin CDATA "∉" -- not an element of, U+2209 ISOtech -->
1.166 +<!ENTITY ni CDATA "∋" -- contains as member, U+220B ISOtech -->
1.167 +<!-- should there be a more memorable name than 'ni'? -->
1.168 +<!ENTITY prod CDATA "∏" -- n-ary product = product sign,
1.169 + U+220F ISOamsb -->
1.170 +<!-- prod is NOT the same character as U+03A0 'greek capital letter pi' though
1.171 + the same glyph might be used for both -->
1.172 +<!ENTITY sum CDATA "∑" -- n-ary sumation, U+2211 ISOamsb -->
1.173 +<!-- sum is NOT the same character as U+03A3 'greek capital letter sigma'
1.174 + though the same glyph might be used for both -->
1.175 +<!ENTITY minus CDATA "−" -- minus sign, U+2212 ISOtech -->
1.176 +<!ENTITY lowast CDATA "∗" -- asterisk operator, U+2217 ISOtech -->
1.177 +<!ENTITY radic CDATA "√" -- square root = radical sign,
1.178 + U+221A ISOtech -->
1.179 +<!ENTITY prop CDATA "∝" -- proportional to, U+221D ISOtech -->
1.180 +<!ENTITY infin CDATA "∞" -- infinity, U+221E ISOtech -->
1.181 +<!ENTITY ang CDATA "∠" -- angle, U+2220 ISOamso -->
1.182 +<!ENTITY and CDATA "∧" -- logical and = wedge, U+2227 ISOtech -->
1.183 +<!ENTITY or CDATA "∨" -- logical or = vee, U+2228 ISOtech -->
1.184 +<!ENTITY cap CDATA "∩" -- intersection = cap, U+2229 ISOtech -->
1.185 +<!ENTITY cup CDATA "∪" -- union = cup, U+222A ISOtech -->
1.186 +<!ENTITY int CDATA "∫" -- integral, U+222B ISOtech -->
1.187 +<!ENTITY there4 CDATA "∴" -- therefore, U+2234 ISOtech -->
1.188 +<!ENTITY sim CDATA "∼" -- tilde operator = varies with = similar to,
1.189 + U+223C ISOtech -->
1.190 +<!-- tilde operator is NOT the same character as the tilde, U+007E,
1.191 + although the same glyph might be used to represent both -->
1.192 +<!ENTITY cong CDATA "≅" -- approximately equal to, U+2245 ISOtech -->
1.193 +<!ENTITY asymp CDATA "≈" -- almost equal to = asymptotic to,
1.194 + U+2248 ISOamsr -->
1.195 +<!ENTITY ne CDATA "≠" -- not equal to, U+2260 ISOtech -->
1.196 +<!ENTITY equiv CDATA "≡" -- identical to, U+2261 ISOtech -->
1.197 +<!ENTITY le CDATA "≤" -- less-than or equal to, U+2264 ISOtech -->
1.198 +<!ENTITY ge CDATA "≥" -- greater-than or equal to,
1.199 + U+2265 ISOtech -->
1.200 +<!ENTITY sub CDATA "⊂" -- subset of, U+2282 ISOtech -->
1.201 +<!ENTITY sup CDATA "⊃" -- superset of, U+2283 ISOtech -->
1.202 +<!-- note that nsup, 'not a superset of, U+2283' is not covered by the Symbol
1.203 + font encoding and is not included. Should it be, for symmetry?
1.204 + It is in ISOamsn -->
1.205 +<!ENTITY nsub CDATA "⊄" -- not a subset of, U+2284 ISOamsn -->
1.206 +<!ENTITY sube CDATA "⊆" -- subset of or equal to, U+2286 ISOtech -->
1.207 +<!ENTITY supe CDATA "⊇" -- superset of or equal to,
1.208 + U+2287 ISOtech -->
1.209 +<!ENTITY oplus CDATA "⊕" -- circled plus = direct sum,
1.210 + U+2295 ISOamsb -->
1.211 +<!ENTITY otimes CDATA "⊗" -- circled times = vector product,
1.212 + U+2297 ISOamsb -->
1.213 +<!ENTITY perp CDATA "⊥" -- up tack = orthogonal to = perpendicular,
1.214 + U+22A5 ISOtech -->
1.215 +<!ENTITY sdot CDATA "⋅" -- dot operator, U+22C5 ISOamsb -->
1.216 +<!-- dot operator is NOT the same character as U+00B7 middle dot -->
1.217 +
1.218 +<!-- Miscellaneous Technical -->
1.219 +<!ENTITY lceil CDATA "⌈" -- left ceiling = apl upstile,
1.220 + U+2308 ISOamsc -->
1.221 +<!ENTITY rceil CDATA "⌉" -- right ceiling, U+2309 ISOamsc -->
1.222 +<!ENTITY lfloor CDATA "⌊" -- left floor = apl downstile,
1.223 + U+230A ISOamsc -->
1.224 +<!ENTITY rfloor CDATA "⌋" -- right floor, U+230B ISOamsc -->
1.225 +<!ENTITY lang CDATA "〈" -- left-pointing angle bracket = bra,
1.226 + U+2329 ISOtech -->
1.227 +<!-- lang is NOT the same character as U+003C 'less than'
1.228 + or U+2039 'single left-pointing angle quotation mark' -->
1.229 +<!ENTITY rang CDATA "〉" -- right-pointing angle bracket = ket,
1.230 + U+232A ISOtech -->
1.231 +<!-- rang is NOT the same character as U+003E 'greater than'
1.232 + or U+203A 'single right-pointing angle quotation mark' -->
1.233 +
1.234 +<!-- Geometric Shapes -->
1.235 +<!ENTITY loz CDATA "◊" -- lozenge, U+25CA ISOpub -->
1.236 +
1.237 +<!-- Miscellaneous Symbols -->
1.238 +<!ENTITY spades CDATA "♠" -- black spade suit, U+2660 ISOpub -->
1.239 +<!-- black here seems to mean filled as opposed to hollow -->
1.240 +<!ENTITY clubs CDATA "♣" -- black club suit = shamrock,
1.241 + U+2663 ISOpub -->
1.242 +<!ENTITY hearts CDATA "♥" -- black heart suit = valentine,
1.243 + U+2665 ISOpub -->
1.244 +<!ENTITY diams CDATA "♦" -- black diamond suit, U+2666 ISOpub -->