DOCSLIB.ORG

Unicode Support for Mathematics

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Unicode Support for Mathematics Technical Reports Unicode® Technical Report #25 UNICODE SUPPORT FOR MATHEMATICS Authors Barbara Beeton ([email protected]), Asmus Freytag ([email protected]), Murray Sargent III ([email protected]) Date 2017-05-30 This Version http://www.unicode.org/reports/tr25/tr25-15.pdf Previous Version http://www.unicode.org/reports/tr25/tr25-14.pdf Latest Version http://www.unicode.org/reports/tr25/ Source Document http://www.unicode.org/reports/tr25/tr25-15.docx Data http://www.unicode.org/Public/math/revision-15/ Revision 15 Summary The Unicode Standard includes virtually all standard characters used in mathematics. This set supports a wide variety of math usage on computers, including in document presentation lan- guages like TEX, in math markup languages like MathML and OpenMath, in internal represen- tations of mathematics for applications like Mathematica, Maple, and MathCAD, in computer programs, and in plain text. This technical report describes the Unicode support for mathemat- ics and gives some of the imputed default math properties for Unicode characters. Status A Unicode Technical Report (UTR) contains informative material. Conformance to the 푈푛푖푐표푑푒 Standard does not imply conformance to any UTR. Other specifications, however, are free to make normative references to a UTR. Please submit corrigenda and other comments with the online reporting form [Feedback]. Re- lated information that is useful in understanding this document is found in the References. For the latest version of the Unicode Standard see [Unicode]. For a list of current Unicode Technical Reports see [Reports]. For more information about versions of the Unicode Standard, see [Ver- sions]. Contents UNICODE SUPPORT FOR MATHEMATICS .................................................................................................................. 1 Unicode Technical Report #25 1 Unicode Support for Mathematics 1. OVERVIEW ............................................................................................................................................................................................... 3 2. MATHEMATICAL CHARACTER REPERTOIRE ......................................................................................................................... 4 2.1 Mathematical Alphanumeric Symbols Block ........................................................................................................... 4 2.2 Mathematical Alphabets ......................................................................................................................................... 5 2.3 Fonts Used for Mathematical Alphabets ................................................................................................................. 8 2.3.1 Representative Glyphs for Greek Phi ............................................................................................................. 10 2.3.2 Representative Glyphs for U+2278 and U+2279 ............................................................................................ 10 2.4 Locating Mathematical Characters ........................................................................................................................ 11 2.5 Duplicated Characters ........................................................................................................................................... 11 2.6 Accented Characters .............................................................................................................................................. 12 2.7 Operators ............................................................................................................................................................... 13 2.8 Superscripts and Subscripts ................................................................................................................................... 15 2.9 Arrows ................................................................................................................................................................... 16 2.10 Delimiters ............................................................................................................................................................ 16 2.11 Geometrical Shapes ............................................................................................................................................. 19 2.12 Other Symbols ..................................................................................................................................................... 22 2.13 Symbol Pieces ...................................................................................................................................................... 22 2.14 Invisible Operators ............................................................................................................................................... 23 2.15 Fraction Slash and Other Diagonals ..................................................................................................................... 24 2.16 Other Characters ................................................................................................................................................. 26 2.17 Negations ............................................................................................................................................................. 26 2.18 Variation Selector ................................................................................................................................................ 28 2.19 Novel Symbols not yet in Unicode ....................................................................................................................... 29 3. MATHEMATICAL CHARACTER PROPERTIES ........................................................................................................................ 30 3.1 Classification by Degree of Mathematical Usage ........................................................................................... 30 3.1.1 Strongly Mathematical Characters ................................................................................................................. 31 3.1.2 Weakly Mathematical Characters .................................................................................................................. 31 3.1.3 Other .............................................................................................................................................................. 33 3.2 Classification by Typographical Behavior ....................................................................................................... 33 3.2.1 Alphabetic ...................................................................................................................................................... 33 3.2.2 Operators ....................................................................................................................................................... 33 3.2.3 Large Operators .............................................................................................................................................. 34 3.2.4 Digits ............................................................................................................................................................... 34 3.2.5 Delimiters ....................................................................................................................................................... 34 3.2.6 Fences ............................................................................................................................................................. 35 3.2.7 Combining Marks ........................................................................................................................................... 35 4. IMPLEMENTATION GUIDELINES ................................................................................................................................................ 35 4.1 Use of Normalization with Mathematical Text ...................................................................................................... 35 4.2 Bidirectional Layout of Mathematical Text ........................................................................................................... 36 4.3 Input of Mathematical and Other Unicode Characters ......................................................................................... 37 4.4 Use of Math Characters in Computer Programs .................................................................................................... 39 4.5 Recognizing Mathematical Expressions ................................................................................................................. 39 4.6 Some Examples of Mathematical Notation ........................................................................................................... 40 5. DATA FILES ........................................................................................................................................................................................... 41 5.1 Mathematical Classification ........................................................................................................................... 41 5.2 Mapping to other Standards .......................................................................................................................... 42 6. SECURITY CONSIDERATIONS ......................................................................................................................................................
Load more

Recommended publications
  • BIBLIOGRAPHY N Most Diacritic Letters ( C, I, Ö, ˙ S, Etc.) Are
    BIBLIOGRAPHY Notes Most diacritic letters (ˇc,ı, ö, s, etc.) are alphabetized as separate letters after ˙ the base letter. The abbreviation “ms. NAN KR” stands for “manuscript in the Archives of the National Center for Manasology and Artistic Culture of the National Academy of Sciences of the Kyrgyz Republic,” followed by the archival shelf number. In the Commentary and footnotes, the form of some of the bibliographic citations of mid-nineteenth century Kirghiz epics (recorded by Radlof from anonymous bards, published under separate headings in his Obraztsy/ Proben [1885], and re-edited by Hatto in The Manas of Wilhelm Radlof [1990]) is nearly identical to the citations of analytical articles on the texts that Hatto published in various journals. These are the references to the Radlovian epic texts, which were coincidentally published by Hatto in his re-edition: “Almambet, Er Kökˇcöand Ak-Erkeˇc”;“Birth of Manas”; “Birth of Semetey”; “Bok-Murun”; “Köz-Kaman”; and “Semetey.” Hatto’s articles are cited as: Hatto, “Almambet, Er Kökˇcöand Ak Erkeˇc”;Hatto, “Birth of Manas”; Hatto, “Köz-Kaman”; Hatto, “Semetey.” Listed below by language are references to the main bibliographic entries of the dictionaries, grammars, and other aids used, sometimes without citation, in the preparation of this edition: Arabic Baranov, Arabsko–russkii slovar’ Steingass, A Learner’s Arabic–English Dictionary Baˇskir Akhmerov, Bashkirsko–russkii slovar’ Chaghatay Budagov, Sravnitel’nyi slovar’ turetsko–tatarskikh narechii Shcherbak, Grammatika starouzbekskogo iazyka Radlov, Opyt/Versuch Eastern Turki Jarring, An Eastern Turki–English Dialect Dictionary (Uyghur) Nadzhip, Uigursko–russkii slovar’ Kalmyk Ramstedt, Kalmückisches Wörterbuch Kirghiz Batmanov, Sovremennyi kirgizskii iazyk Hu and Imart, A Kirghiz Reader Imart, Le kirghiz Iudakhin, Kirgizsko–russkii slovar’ ———, Russko–kirgizskii slovar’ 374 bibliography Kirghiz (cont.) Muqambaev, Qır ˙gıztilinin dialektologiyalıq sözdügü, vol.
    [Show full text]
  • Tilde-Arrow-Out (~→O)
    Chapter 5: Derivations in Sentential Logic 181 atomic). In the next example, the disjunction is complex (its disjuncts are not atomic). Example 2 (1) (P ´ Q) → (P & Q) Pr (2) •: (P & Q) ∨ (~P & ~Q) ID (3) |~[(P & Q) ∨ (~P & ~Q)] As (4) |•: ¸ DD (5) ||~(P & Q) 3,~∨O (6) ||~(~P & ~Q) 3,~∨O (7) ||~(P ∨ Q) 1,5,→O (8) ||~P 7,~∨O (9) ||~Q 7,~∨O (10) ||~P & ~Q 8,9,&I (11) ||¸ 6,10,¸I The basic strategy is exactly like the previous problem. The only difference is that the formulas are more complex. 13. FURTHER RULES In the previous section, we added the rule ~∨O to our list of inference rules. Although it is not strictly required, it does make a number of derivations much easier. In the present section, for the sake of symmetry, we add corresponding rules for the remaining two-place connectives; specifically, we add ~&O, ~→O, and ~↔O. That way, we have a rule for handling any negated molecular formula. Also, we add one more rule that is sometimes useful, the Rule of Repetition. The additional negation rules are given as follows. Tilde-Ampersand-Out (~&O) ~(d & e) ––––––––– d → ~e Tilde-Arrow-Out (~→O) ~(d → f) –––––––––– d & ~f 182 Hardegree, Symbolic Logic Tilde-Double-Arrow-Out (~±O) ~(d ± e) –––––––––– ~d ± e The reader is urged to verify that these are all valid argument forms of sentential logic. There are other valid forms that could serve equally well as the rules in question. The choice is to a certain arbitrary. The advantage of the particular choice becomes more apparent in a later chapter on predicate logic.
    [Show full text]
  • Proposal to Add U+2B95 Rightwards Black Arrow to Unicode Emoji
    Proposal to add U+2B95 Rightwards Black Arrow to Unicode Emoji J. S. Choi, 2015‐12‐12 Abstract In the Unicode Standard 7.0 from 2014, ⮕ U+2B95 was added with the intent to complete the family of black arrows encoded by ⬅⬆⬇ U+2B05–U+2B07. However, due to historical timing, ⮕ U+2B95 was not yet encoded when the Unicode Emoji were frst encoded in 2009–2010, and thus the family of four emoji black arrows were mapped not only to ⬅⬆⬇ U+2B05–U+2B07 but also to ➡ U+27A1—a compatibility character for ITC Zapf Dingbats—instead of ⮕ U+2B95. It is thus proposed that ⮕ U+2B95 be added to the set of Unicode emoji characters and be given emoji‐ and text‐style standardized variants, in order to match the properties of its siblings ⬅⬆⬇ U+2B05–U+2B07, with which it is explicitly unifed. 1 Introduction Tis document primarily discusses fve encoded characters, already in Unicode as of 2015: ⮕ U+2B95 Rightwards Black Arrow: Te main encoded character being discussed. Located in the Miscellaneous Symbols and Arrows block. ⬅⬆⬇ U+2B05–U+2B07 Leftwards, Upwards, and Downwards Black Arrow: Te three black arrows that ⮕ U+2B95 completes. Also located in the Miscellaneous Symbols and Arrows block. ➡ U+27A1 Black Rightwards Arrow: A compatibility character for ITC Zapf Dingbats. Located in the Dingbats block. Tis document proposes the addition of ⮕ U+2B95 to the set of emoji characters as defned by Unicode Technical Report (UTR) #51: “Unicode Emoji”. In other words, it proposes: 1. A property change: ⮕ U+2B95 should be given the Emoji property defned in UTR #51.
    [Show full text]
  • Nl 6 1999-2000
    & ST. SHENOUDA COPTIC NEWSLETTER SUBSCRIBER'S EDITION Quarterly Newsletter Published by the St. Shenouda Center for Coptic Studies 1494 S. Robertson Blvd., Ste. 204, LA, CA 90035 Tel: (310) 271-8329 Fax: (310) 558-1863 Mailing Address: 1701 So. Wooster St. Los Angeles, CA 90035, U.S.A. October, 1999 Volume 6(N.S. 3), No. 1 In This Issue: The Second St. Shenouda Conference of Coptic Studies (4) by Hany N. Takla ............1 Conference Abstracts (2) by Hany N. Takla ...................................................................7 The 7th International Congress of Coptic Studies by Dr. J. van der Vliet......................10 A Tribute to Professor Paul van Moorsel by Dr. Mat Immerzeel ...................................12 News by Hany N. Takla ..................................................................................................14 The Second St. Shenouda Conference of Coptic StudiesNewsletter (August 13 - 14, 1999 - Los Angeles, California) (4) (by Hany N. Takla) Introduction: For a second time in as many years, scholar, Bishop Samuel of Shibin al-Qanatar, the Society held its annual Conference of Coptic Egypt. Notably present was Prof. James Robinson, Studies. This time it was held at, its probable the retired director of the Claremont Institute for permanent future site, the Campus of the CopticChristianity and Antiquity (ICA). University of California, Los Angeles (UCLA). Several of the presenters came from different parts As planned, this gathering brought together several of the United States: Prof. Boulos Ayad Ayad, segments of the population that had the common Boulder Co; Dr. Bastiaan Van Elderen, Grand interest of Coptic Studies. This mixture of the Haven MI; Dr. Fawzy Estafanous, Cleveland OH; young and old, the amateurs and professionals, and Mr.
    [Show full text]
  • Package Mathfont V. 1.6 User Guide Conrad Kosowsky December 2019 [email protected]
    Package mathfont v. 1.6 User Guide Conrad Kosowsky December 2019 [email protected] For easy, off-the-shelf use, type the following in your docu- ment preamble and compile using X LE ATEX or LuaLATEX: \usepackage[hfont namei]{mathfont} Abstract The mathfont package provides a flexible interface for changing the font of math- mode characters. The package allows the user to specify a default unicode font for each of six basic classes of Latin and Greek characters, and it provides additional support for unicode math and alphanumeric symbols, including punctuation. Crucially, mathfont is compatible with both X LE ATEX and LuaLATEX, and it provides several font-loading commands that allow the user to change fonts locally or for individual characters within math mode. Handling fonts in TEX and LATEX is a notoriously difficult task. Donald Knuth origi- nally designed TEX to support fonts created with Metafont, and while subsequent versions of TEX extended this functionality to postscript fonts, Plain TEX's font-loading capabilities remain limited. Many, if not most, LATEX users are unfamiliar with the fd files that must be used in font declaration, and the minutiae of TEX's \font primitive can be esoteric and confusing. LATEX 2"'s New Font Selection System (nfss) implemented a straightforward syn- tax for loading and managing fonts, but LATEX macros overlaying a TEX core face the same versatility issues as Plain TEX itself. Fonts in math mode present a double challenge: after loading a font either in Plain TEX or through the nfss, defining math symbols can be unin- tuitive for users who are unfamiliar with TEX's \mathcode primitive.
    [Show full text]
  • The Unicode Cookbook for Linguists: Managing Writing Systems Using Orthography Profiles
    Zurich Open Repository and Archive University of Zurich Main Library Strickhofstrasse 39 CH-8057 Zurich www.zora.uzh.ch Year: 2017 The Unicode Cookbook for Linguists: Managing writing systems using orthography profiles Moran, Steven ; Cysouw, Michael DOI: https://doi.org/10.5281/zenodo.290662 Posted at the Zurich Open Repository and Archive, University of Zurich ZORA URL: https://doi.org/10.5167/uzh-135400 Monograph The following work is licensed under a Creative Commons: Attribution 4.0 International (CC BY 4.0) License. Originally published at: Moran, Steven; Cysouw, Michael (2017). The Unicode Cookbook for Linguists: Managing writing systems using orthography profiles. CERN Data Centre: Zenodo. DOI: https://doi.org/10.5281/zenodo.290662 The Unicode Cookbook for Linguists Managing writing systems using orthography profiles Steven Moran & Michael Cysouw Change dedication in localmetadata.tex Preface This text is meant as a practical guide for linguists, and programmers, whowork with data in multilingual computational environments. We introduce the basic concepts needed to understand how writing systems and character encodings function, and how they work together. The intersection of the Unicode Standard and the International Phonetic Al- phabet is often not met without frustration by users. Nevertheless, thetwo standards have provided language researchers with a consistent computational architecture needed to process, publish and analyze data from many different languages. We bring to light common, but not always transparent, pitfalls that researchers face when working with Unicode and IPA. Our research uses quantitative methods to compare languages and uncover and clarify their phylogenetic relations. However, the majority of lexical data available from the world’s languages is in author- or document-specific orthogra- phies.
    [Show full text]
  • On the Use of Coptic Numerals in Egypt in the 16 Th Century
    ON THE USE OF COPTIC NUMERALS IN EGYPT IN THE 16 TH CENTURY Mutsuo KAWATOKO* I. Introduction According to the researches, it is assumed that the culture of the early Islamic period in Egypt was very similar to the contemporary Coptic (Qibti)/ Byzantine (Rumi) culture. This is most evident in their language, especially in writing. It was mainly Greek and Coptic which adopted the letters deriving from Greek and Demotic. Thus, it was normal in those days for the official documents to be written in Greek, and, the others written in Coptic.(1) Gold, silver and copper coins were also minted imitating Byzantine Solidus (gold coin) and Follis (copper coin) and Sassanian Drahm (silver coin), and they were sometimes decorated with the representation of the religious legends, such as "Allahu", engraved in a blank space. In spite of such situation, around A. H. 79 (698), Caliph 'Abd al-Malik b. Marwan implemented the coinage reformation to promote Arabisation of coins, and in A. H. 87 (706), 'Abd Allahi b. 'Abd al-Malik, the governor- general of Egypt, pursued Arabisation of official documentation under a decree by Caliph Walid b. 'Abd al-Malik.(2) As a result, the Arabic letters came into the immediate use for the coin inscriptions and gradually for the official documents. However, when the figures were involved, the Greek or the Coptic numerals were used together with the Arabic letters.(3) The Abjad Arabic numerals were also created by assigning the numerical values to the Arabic alphabetic (abjad) letters just like the Greek numerals, but they did not spread very much.(4) It was in the latter half of the 8th century that the Indian numerals, generally regarded as the forerunners of the Arabic numerals, were introduced to the Islamic world.
    [Show full text]
  • Unicode and Code Page Support
    Natural for Mainframes Unicode and Code Page Support Version 4.2.6 for Mainframes October 2009 This document applies to Natural Version 4.2.6 for Mainframes and to all subsequent releases. Specifications contained herein are subject to change and these changes will be reported in subsequent release notes or new editions. Copyright © Software AG 1979-2009. All rights reserved. The name Software AG, webMethods and all Software AG product names are either trademarks or registered trademarks of Software AG and/or Software AG USA, Inc. Other company and product names mentioned herein may be trademarks of their respective owners. Table of Contents 1 Unicode and Code Page Support .................................................................................... 1 2 Introduction ..................................................................................................................... 3 About Code Pages and Unicode ................................................................................ 4 About Unicode and Code Page Support in Natural .................................................. 5 ICU on Mainframe Platforms ..................................................................................... 6 3 Unicode and Code Page Support in the Natural Programming Language .................... 7 Natural Data Format U for Unicode-Based Data ....................................................... 8 Statements .................................................................................................................. 9 Logical
    [Show full text]
  • Assessment of Options for Handling Full Unicode Character Encodings in MARC21 a Study for the Library of Congress
    1 Assessment of Options for Handling Full Unicode Character Encodings in MARC21 A Study for the Library of Congress Part 1: New Scripts Jack Cain Senior Consultant Trylus Computing, Toronto 1 Purpose This assessment intends to study the issues and make recommendations on the possible expansion of the character set repertoire for bibliographic records in MARC21 format. 1.1 “Encoding Scheme” vs. “Repertoire” An encoding scheme contains codes by which characters are represented in computer memory. These codes are organized according to a certain methodology called an encoding scheme. The list of all characters so encoded is referred to as the “repertoire” of characters in the given encoding schemes. For example, ASCII is one encoding scheme, perhaps the one best known to the average non-technical person in North America. “A”, “B”, & “C” are three characters in the repertoire of this encoding scheme. These three characters are assigned encodings 41, 42 & 43 in ASCII (expressed here in hexadecimal). 1.2 MARC8 "MARC8" is the term commonly used to refer both to the encoding scheme and its repertoire as used in MARC records up to 1998. The ‘8’ refers to the fact that, unlike Unicode which is a multi-byte per character code set, the MARC8 encoding scheme is principally made up of multiple one byte tables in which each character is encoded using a single 8 bit byte. (It also includes the EACC set which actually uses fixed length 3 bytes per character.) (For details on MARC8 and its specifications see: http://www.loc.gov/marc/.) MARC8 was introduced around 1968 and was initially limited to essentially Latin script only.
    [Show full text]
  • THE MEANING of “EQUALS” Charles Darr Take a Look at the Following Mathematics Problem
    PROFESSIONAL DEVELOPMENT THE MEANING OF “EQUALS” Charles Darr Take a look at the following mathematics problem. has been explored by mathematics education researchers internationally (Falkner, Levi and Carpenter, 1999; Kieran, 1981, 1992; MacGregor Write the number in the square below that you think and Stacey, 1997; Saenz-Ludlow and Walgamuth, 1998; Stacey and best completes the equation. MacGregor, 1999; Wright, 1999). However, the fact that so many students appear to have this 4 + 5 = + 3 misconception highlights some important considerations that we, as mathematics educators, can learn from and begin to address. How difficult do you consider this equation to be? At what age do you In what follows I look at two of these considerations. I then go on to think a student should be able to complete it correctly? discuss some strategies we can employ in the classroom to help our I recently presented this problem to over 300 Year 7 and 8 students at students gain a richer sense of what the equals sign represents. a large intermediate school. More than half answered it incorrectly.1 Moreover, the vast majority of the students who wrote something other The meaning of “equals” than 6 were inclined to write the missing number as “9”. Firstly, it is worth considering what the equals sign means in a This result is not just an intermediate school phenomenon, however. mathematical sense, and why so many children seem to struggle to Smaller numbers of students in other Years were also tested. In Years 4, develop this understanding. 5 and 6, even larger percentages wrote incorrect responses, while at Years From a mathematical point of view, the equals sign is not a command 9 and 10, more than 20 percent of the students were still not writing a to do something.
    [Show full text]
  • Typing in Greek Sarah Abowitz Smith College Classics Department
    Typing in Greek Sarah Abowitz Smith College Classics Department Windows 1. Down at the lower right corner of the screen, click the letters ENG, then select Language Preferences in the pop-up menu. If these letters are not present at the lower right corner of the screen, open Settings, click on Time & Language, then select Region & Language in the sidebar to get to the proper screen for step 2. 2. When this window opens, check if Ελληνικά/Greek is in the list of keyboards on your ​ ​ computer under Languages. If so, go to step 3. Otherwise, click Add A New Language. Clicking Add A New Language will take you to this window. Look for Ελληνικά/Greek and click it. When you click Ελληνικά/Greek, the language will be added and you will return to the previous screen. 3. Now that Ελληνικά is listed in your computer’s languages, click it and then click Options. 4. Click Add A Keyboard and add the Greek Polytonic option. If you started this tutorial without the pictured keyboard menu in step 1, it should be in the lower right corner of your screen now. 5. To start typing in Greek, click the letters ENG next to the clock in the lower right corner of the screen. Choose “Greek Polytonic keyboard” to start typing in greek, and click “US keyboard” again to go back to English. Mac 1. Click the apple button in the top left corner of your screen. From the drop-down menu, choose System Preferences. When the window below appears, click the “Keyboard” icon.
    [Show full text]
  • How to Edit IPA 1 How to Use SAMPA for Editing IPA 2 How to Use X
    version July 19 How to edit IPA When you want to enter the International Phonetic Association (IPA) character set with a computer keyboard, you need to know how to enter each IPA character with a sequence of keyboard strokes. This document describes a number of techniques. The complete SAMPA and RTR mapping can be found in the attached html documents. The main html document (ipa96.html) comes in a pdf-version (ipa96.pdf) too. 1 How to use SAMPA for editing IPA The Speech Assessment Method (SAM) Phonetic Alphabet has been developed by John Wells (http://www.phon.ucl.ac.uk/home/sampa). The goal was to map 176 IPA characters into the range of 7-bit ASCII, which is a set of 96 characters. The principle is to represent a single IPA character by a single ASCII character. This table is an example for five vowels: Description IPA SAMPA script a ɑ A ae ligature æ { turned a ɐ 6 epsilon ɛ E schwa ə @ A visual represenation of a keyboard shows the mapping on screen. The source for the SAMPA mapping used is "Handbook of multimodal an spoken dialogue systems", D Gibbon, Kluwer Academic Publishers 2000. 2 How to use X-SAMPA for editing IPA The multi-character extension to SAMPA has also been developed by John Wells (http://www.phon.ucl.ac.uk/home/sampa/x-sampa.htm). The basic principle used is to form chains of ASCII characters, that represent a single IPA character, e.g. This table lists some examples Description IPA X-SAMPA beta β B small capital B ʙ B\ lower-case B b b lower-case P p p Phi ɸ p\ The X-SAMPA mapping is in preparation and will be included in the next release.
    [Show full text]