search

fred-wang / Mathzilla

Collection of Mozilla MathML add-ons
35 stars 8 forks source link

Please add double struck letters #32

Closed david-a-wheeler closed 8 years ago

david-a-wheeler commented 8 years ago

Please add double struck letters. E.g. Unicode hex 2102 (decimal 8450) is double struck capital C. This is often used to represent complex numbers, for example in http://us.metamath.org/mpeuni/2p2e4.html

Similarly 2124 (double struck capital Z) is conventionally used to represent the integers, 2115 is used to represent the natural numbers, 2118 is used to represent the rational numbers and 211d is used to represent the real numbers.

fred-wang commented 8 years ago

I'm closing that one, since that's probably a duplicate of #31