DOCSLIB.ORG

Using Mathtype to Create TEX and Mathml Equations

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Using Mathtype to Create TEX and Mathml Equations Using MathType to Create TEX and MathML Equations Paul Topping Design Science, Inc. 4028 Broadway Long Beach, CA 90803 USA [email protected] www.mathtype.com Abstract MathType 4.0 is the latest release of Design Science’s interactive mathematical equation editing software package, the full-featured version of the Equation Editor applet that comes with Microsoft Word. Its completely re-architected translation system should be of particular interest to the TEX and MathML communities. MathType can be used as an aid to learning TEX, as a simpler interface for en- tering equations into a TEX authoring system, or as part of a document conversion scheme for journal and book publishers. After the introduction, a simple translation example is given to show how its Translator Definition Language (TDL) is used to convert a MathType equa- tion to TEX. This is followed by an introduction to MathML and MathType’s MathML translators are discussed. Finally, some of the possibilities for creating translators for special purposes is mentioned, along with discussion on how Math- Type’s translation facilities can be used as component of a more comprehensive document conversion process. Introduction MathType is an interactive tool for authoring math- ematical material. It runs on Microsoft Windows and Apple Macintosh systems (a Linux implemen- tation is under consideration). Readers may also be familiar with MathType’s junior version, Equa- tion Editor, as it is supplied as part of many personal computer software products, such as Microsoft Word and Corel WordPerfect. Unlike TEX, MathType does not process entire documents. Rather, it is used in conjunction with other products, such as word processors, page layout programs, presentation programs, web/HTML edi- tors, spreadsheets, graphing software, and virtually any other kind of application that allows insertion MathType of a graphical object into its documents. Figure 1:TheMathType Window equations can even be inserted into database fields with most modern database systems! MathType has a simple but powerful direct- the numerator and denominator. The contents of manipulation interface for creating standard math- each slot are filled in by the user by more typing ematical notation. Instead of entering a computer and inserting of templates. The displayed equation language, such as TEX, the MathType user combines is reformatted as the user types and spacing is added simple typing with the insertion of “templates”. For automatically (although spacing may be explicitly example, inserting a fraction template results in a overridden). Some find this interface to be simpler fraction bar with empty slots above and below for than direct TEX input as there are no keywords to 184 TUGboat, Volume 20 (1999), No. 3 — Proceedings of the 1999 Annual Meeting Using MathType to Create TEX and MathML Equations remember and, most importantly, no possibility of controlled by a translator definition file, a text file syntax errors. containing a simple translation rule language that One common complaint heard from TEXusers allows a fragment of the target language to be asso- upon first seeing MathType’s user interface is that ciated with each of MathType’s many symbols and one must use the mouse for everything. Whereas templates. Although the chief motivation for its de- mouse support is an important part of MathType’s velopment was TEX translation, it can also be used user interface (as with virtually all Windows and to convert MathType equations to other languages, Mac applications), MathType 4.0 has keyboard meth- such as MathML and those specified by the math ods for performing all of its commands. Also, users parts of various SGML-based document languages. may assign keystrokes to commands in any kind of MathType is supplied with translator definition mnemonic scheme they care to invent. The ability to files for plain TEX, AMS-TEX, LATEX, AMS-LATEX, assign a keystroke to an arbitrary math expression and four MathML variations. These can be cus- is analogous to TEX’s macro facility. tomized for specific applications or translators for Although a thorough examination of MathType other mathematical languages can be written by start- is beyond the scope of this paper, here are some of ing from scratch. Also, commands are available in its most important features: Microsoft Word that will allow a Word document MathType Equation Editor • Any national language characters that the host containing (or ) equations operating system allows may be inserted into to be converted to TEX or any other language sup- MathType math, including Asian characters. ported by a translator. ’s translation fa- cilities can be used as an aid to learning T X, as a • MathType’s internal representation of charac- E 1 simpler interface for entering equations into a T X ters is Unicode, extended via its Private Use E authoring system, or as part of a document conver- area to cover more of the characters that ap- sion scheme for journal and book publishers. pear in mathematical notation. We call this MTCode. A user-extendable database of math The MTCode character encoding font-to-MTCode mappings is used to relate char- acters entered to knowledge used in line format- Although the designers of Unicode have attempted ting, as well as translation. to include many mathematical characters, their at- tempt falls somewhat short. In fairness to them, • A basic set of mathematical fonts (Roman, incorporating all the characters of the many natu- Greek, italics, Fraktur, blackboard bold, and ral languages in use in the world must have been an many mathematical symbols) is included. Math- overwhelming task. Type can also make use of any PostScript Type 1 There is an attempt by some in the mathemat- or TrueType font available via the operating ical community to get the Unicode Consortium to system. add the missing mathematical characters to a future • MathType also includes a translation system for version of Unicode. If and when they are successful, converting mathematics entered in its editing we will probably adopt it to replace MTCode. window to virtually any text-based language. MathType uses each character’s MTCode value This translation system is the chief subject of as a key into a database of character information this paper. In particular, it includes translators that, for each character, includes a human-readable for several flavors of TEX and MathML. description, an indicator of its role in mathematical MathType's translation facilities notation (e.g. variable, binary operator), and infor- mation used in the process of choosing an appropri- MathType has had a TEX translator for many years ate font to render it on screen and printer. Most that allows the user to copy all or part of an ex- importantly, a character’s MTCode value is an in- pression onto the clipboard in the TEX language, dex into tables of translation strings in MathType’s ready to be pasted into a document. However, un- translation system. til version 4.0, it had two important limitations: it We will use the terms MTCode and Unicode could only generate plain TEX and the user had no interchangeably in the remainder of this paper. control over the TEX fragments generated for par- ticular symbols and templates. MathType 4.0 fea- tures a complete re-design of the translator mecha- nism. The translation of a MathType expression is 1 Unicode is a standard for encoding characters. See www. unicode.org for information. TUGboat, Volume 20 (1999), No. 3 — Proceedings of the 1999 Annual Meeting 185 Paul Topping The translation system from a user's to the user in the Translators dialog (see Fig. 2) perspective and a longer description which appears in the dialog once the translator is chosen from the The basic scenario for using MathType to aid in the list. The description might include the author’s creation of a T X document is to run it simultane- E name and affiliation as well as the version num- ously with your favorite T X editor. The process is E ber of the translator. this: • a set of matching rules of the form • MathType whenever an equation is needed, the hthing to matchi = htranslation stringi ; window is brought to the front; MathType equations (just like T X ones) are • MathType E the equation is created in the win- represented internally as a tree. Let’s take the fol- dow; lowing equation as an example: • the equation is selected and copied to the clip- a b y + board, a process which invokes the previously = c selected translator; MathType sees this equation as: • the T X editor is brought to the front; E eqn (root) • the TEX code for the equation is pasted into the slot (main) document. character (y) Editing to correct mistakes is performed by re- character (=) template (fraction) versing this process, pasting the TEX code (along with a comment containing a compressed form of slot (numerator) character (a) MathType’s internal representation) back into a MathType character (+) window, and then repeating the above character (b) process once the corrections have been made. slot (denominator) At the beginning of such a document creation character (c) and editing session, the user must select one of Math- Type ’s translators. This is done via the Translators The translation process begins by applying the dialog, which presents a list of all the translators display equation rule,2 to the root of the MathType present on the user’s system in the MathType trans- expression: lators directory (Fig. 2). eqn = "\[@n#@n\]@n"; // display equation The characters between quotation marks are pro- cessed from left to right. Most of the characters in the eqn rule are simply placed in the output trans- lation stream. The @n sequence outputs a newline. The @ character, called the escape character, is used to insert special characters into the output stream.
Load more

Recommended publications
  • Mandoc: Becoming the Main BSD Manual Toolbox
    mandoc: becoming the main BSD manual toolbox BSDCan 2015, June 13, Ottawa Ingo Schwarze <[email protected]> Cynthia Livingston’sOTTB “Bedifferent” (c) 2013 C. Livingston (with permission) > Ingo Schwarze: mandoc page 2: INTROI BSDCan 2015, June 13, Ottawa Brief history of UNIX documentation • The key point: All documentation in one place and one format. Easy to find, uniform and easy to read and write. Be correct, complete, concise. • 1964: RUNOFF/roffmarkup syntax by Jerome H. Saltzer,MIT. Unobtrusive,diff(1)-friendly,easy to hand-edit, simple tools, high quality output. • 1971: Basic manual structure by Ken Thompson and Dennis Ritchie for the AT&T Version 1 UNIX manuals, Bell Labs. • 1979: man(7) physical markup language for AT&T Version 7 UNIX. • 1989: mdoc(7) semantic markup by Cynthia Livingston for 4.3BSD-Reno. Powerful, self-contained, portable. • 1989: GNU troffbyJames Clarke. • 2001: mdoc(7) rewrite by Werner Lemberg and Ruslan Ermilovfor groff-1.17. • 2008: mandoc(1) started by Kristaps Dzonsons. • 2010: mandoc(1) is the only documentation formatter in the OpenBSD base system. • 2014: mandoc(1) used by default in OpenBSD, FreeBSD, NetBSD, illumos. 16:19:30 What is the mandoc toolbox? → < > Ingo Schwarze: mandoc page 3: INTROIIBSDCan 2015, June 13, Ottawa What is the mandoc toolbox? User perspective:man(1), the manual viewer One comprehensive tool! Normal operation always proceeds in three steps: 1. Find one or more manuals in the file system or using a database by manual name — man(1) — or by search query — apropos(1) =man -k The result of this step can be printed out with man -w.
    [Show full text]
  • GUI Input Tools for Mathematics
    GUI input tools for Mathematics Gregory Tappero [email protected] UK Mathematical Content Workshop Milton Keynes 9 September 2009 http://groups.google.com/group/uk-math-content-2009/files/ 1 GUI is nice to end users Using emacs to edit LaTeX code then run command lines to compile and output a pdf may be fun, but only to a particular type of people. GUI input tools UKMCW 2009 2 Their Purpose From: To: A portable, standardised, digital format that we can share integrate and reuse. GUI input tools UKMCW 2009 3 Tools Survey: What's around ? ● MathType ● Formulator ● MathTran ● Publicon (Wolfram Research) ● Wiris ● Math Magic ● Edoboard ● Detexify ● Sitmo ● Math Input Panel (Windows 7) ● Word 2007 GUI input tools UKMCW 2009 4 MathType http://www.dessci.com/en/products/mathtype/ GUI input tools UKMCW 2009 5 MathType Pros Cons Point-and-click editing Desktop client. (WYSIWYG). Non Free (100$ for v6.5). TeX/LaTeX/MathML compatible. Feature Rich. Interoperable with many apps. http://www.dessci.com/en/products/mathtype/ GUI input tools UKMCW 2009 6 MathTran http://www.mathtran.org GUI input tools UKMCW 2009 7 MathTran Pros Cons Uses a variant of TeX. No visual shortcuts to input equations. Realtime output rendering. Web based. TeX knowledge required. Free & Open Source. FAB (formula autobuild) editing. http://www.mathtran.org GUI input tools UKMCW 2009 8 Edoboard http://edoboard.com GUI input tools UKMCW 2009 9 Edoboard Pros Cons Uses Mathtran as Flash Based. a Web Service (TeX). - Slow on Linux. - Takes some time to Load. Fit for simple Maths. Live collaboration.
    [Show full text]
  • Unix Programmer's Manual
    There is no warranty of merchantability nor any warranty of fitness for a particu!ar purpose nor any other warranty, either expressed or imp!ied, a’s to the accuracy of the enclosed m~=:crials or a~ Io ~helr ,~.ui~::~::.j!it’/ for ~ny p~rficu~ar pur~.~o~e. ~".-~--, ....-.re: " n~ I T~ ~hone Laaorator es 8ssumg$ no rO, p::::nS,-,,.:~:y ~or their use by the recipient. Furln=,, [: ’ La:::.c:,:e?o:,os ~:’urnes no ob~ja~tjon ~o furnish 6ny a~o,~,,..n~e at ~ny k:nd v,,hetsoever, or to furnish any additional jnformstjcn or documenta’tjon. UNIX PROGRAMMER’S MANUAL F~ifth ~ K. Thompson D. M. Ritchie June, 1974 Copyright:.©d972, 1973, 1974 Bell Telephone:Laboratories, Incorporated Copyright © 1972, 1973, 1974 Bell Telephone Laboratories, Incorporated This manual was set by a Graphic Systems photo- typesetter driven by the troff formatting program operating under the UNIX system. The text of the manual was prepared using the ed text editor. PREFACE to the Fifth Edition . The number of UNIX installations is now above 50, and many more are expected. None of these has exactly the same complement of hardware or software. Therefore, at any particular installa- tion, it is quite possible that this manual will give inappropriate information. The authors are grateful to L. L. Cherry, L. A. Dimino, R. C. Haight, S. C. Johnson, B. W. Ker- nighan, M. E. Lesk, and E. N. Pinson for their contributions to the system software, and to L. E. McMahon for software and for his contributions to this manual.
    [Show full text]
  • Typing Documents on the UNIX System: Using the –Ms and –Mcs
    Typing Documents on the UNIX System: Using the ±ms and ±mcs Macros with Troff² L. L. Cherry M. E. Lesk AT&T Bell Laboratories Murray Hill, New Jersey 07974 ABSTRACT This document describes a set of easy-to-use macros for preparing documents on the UNIX operating system. The macros provide facilities for paragraphs, sections headings (optionally with automatic numbering), page titles, footnotes, equations, tables, two-column for- mat, and several formats of cover pages for papers. This memo includes, as an appendix, the text of ``A Guide to Preparing Documents with ±ms and ±mcs,'' which contains additional examples of features of ±ms. Introduction. This memorandum describes a package of commands to produce papers using the troff formatting program. As with other formatting programs, text is prepared interspersed with formatting commands. However, this package, which itself is written in troff commands, provides higher-level commands than those pro- vided with the basic troff program. A separate set of macros, ±mcs, produces an official AT&T style internal docu- ment cover sheet. The ±mcs macros automatically invoke the ±ms macros. Although the basic ±ms macros work with nroff, the ±mcs macros do not. Macro names were selected in ±mcs to avoid collisions with the original ±ms macros and thereby maintain backward compatibility. This document reflects the new macros. The commands available in this package are listed in Appendix A; the cover sheet commands and their order are in Appendix B. Text. Type normally, except that instead of indenting for paragraphs, place a line reading ``.PP'' before each paragraph. This will produce indenting and extra space.
    [Show full text]
  • UNIX™ System V DOCUMENTER's WORKBENCH™ Volume ONE
    ___ALTOS _ UNIX™ SySTEM V DOCUMENTER'S WORKBENCH™ VOlUME ONE INTROduCTioN ANd TEXT FORMATTERS REfERENCE UNIX™ System V DOCUMENTER'S WORKBENCH™ Volume One ACKNOW'LBDGBMEN'rS The Altos logo, as it appears in this manual, is a registered trademark of Altos Computer Systems. DOCUMENTER IS WORKBENCH™ is a trademark of AT&T Technologies. IMPRINT@ and IMAGEN® are registered trademarks of the IMAGEN Corporation. TEKTRONIX® is a registered trademark of Tektronics, Inc. TELETYPE™ is a trademark of AT&T Teletype Corporation. TRENDATA® is a registered trademark of Trendata Corporation. UNIX™ is a tr ademark of AT &'1' Bell Labor at or ies. CONTENTS Chapter 1 DOCUMENTER'S WORKBENCH SOFTWARE Chapter 2 DOCUMENT PREPARATION APPENDIX USER REFERENCE MANUAL - i - Chapter 1 DOCUMENTER'S WORKBENCH SOFTWARE PAGE INTRODUCTION............................................... 1-1 HOW TO USE THIS BOOK. • . • . .. 1-2 I!.. 1 ,J Chapter 1 DOCUMENTER'S WORKBENCH SOFTWARE INTRODUCTION This book is the introductory volume of a set of documents that provide information about the DOCUMENTER'S WORKBENCH software on the UNIX* system. Other books in this series are: 307-151 Text Formatters Reference-provides a reference covering the text formatters nroff, troff (device independent), otroff (old troff), and sroff. 307 -152 Macro Packages Reference-provides a reference for the macro packages mm (memorandum macros), sroff/mm (mm macros for the sroff formatter), and mv (view graph macros). 307-153 Preprocessors Reference-provides a reference for the preprocessors tbl, pic, and eqn/neqn. This book is both an introduction to the DOCUMENTER'S WORKBENCH software and a DOCUMENTER'S WORKBENCH software command reference manual. Chapter 2 contains introductory material on some of the software, and the appendix provides pages describing the various commands that are part of the DOCUMENTER'S WORKBENCH software.
    [Show full text]
  • Design Science: Mathtype - Equation Editor
    Design Science: MathType - Equation Editor Products Solutions Store Support Reference Company Products > MathType Windows Products MathType Windows Features & Benefits Equations Everywhere and Anywhere™ Full Feature List Work with math in over 350 applications and Works With ... websites! Why Upgrade? Reviews FAQs $97 ($57 academic) Download 30-day Trial Upgrade $49 ($37 academic) Buy/Upgrade Online Find a Reseller MathType is a powerful interactive equation editor for Windows and Macintosh that lets you create Pricing mathematical notation for word processing, web pages, desktop publishing, presentations, Site Licenses elearning, and for TeX, LaTeX, and MathML documents. Training Future MathType MathType Mac MathFlow MathPlayer Features & Benefits | Full Feature List MathDaisy Math handwriting recognition: ● Requires Windows 7 and supports its ● Insert handwritten math into any Math Input Panel MathType window, or directly into Microsoft Word or PowerPoint ● Allows entry of handwritten math using the mouse, a tablet, or a touch ● Build larger equations by combining screen handwritten sub-expressions in MathType MathType works with over 350 applications and websites: ● Math Everywhere and Anywhere ● Equation image files ● MathType Application and Website ● MathML, TeX, LaTeX import and Compatibility Database export ● Insert Object (OLE) ● Translators for TeX, MathML, Maple, Mathematica, Physics Forum and ● Cut, copy, and paste more ● Drag and drop MathType with Microsoft Word: http://www.dessci.com/en/products/MathType/features.htm (1
    [Show full text]
  • History of Computing at Bell Labs
    COMPUTING AT BELL LABS Kedar Namjoshi December 18, 2014 COPYRIGHT © 2013 ALCATEL-LUCENT. ALL RIGHTS RESERVED. EARLY HISTORY: COMPUTERS FROM TELEPHONE RELAYS The Bell Labs Model IV (~1946) George Stibitz Claude Shannon with “Theseus” (1950) “It can add, subtract, multiply and divide, remember answers and use A Symbolic Analysis of Relay and Switching them later …” Circuits, MIT Masters’ thesis, 1937 Boolean Logic = Relay Circuits 2 COPYRIGHT © 2013 ALCATEL-LUCENT. ALL RIGHTS RESERVED. THE BIRTH OF UNIX Unix (1970s) An explosion of creativity “Little languages” and software tools with enduring influence make awk grep lex yacc sed troff eqn S Unix (1969-71) Ken Thompson and Dennis Ritchie “… a system around which a fellowship can form.” “… the size constraint has encouraged not only economy but a certain elegance of design.” 3 COPYRIGHT © 2013 ALCATEL-LUCENT. ALL RIGHTS RESERVED. C, C++, AND S C++ (1979-83) Bjarne Stroustrup “When I joined I was basically told to “do something interesting” … ” C (1969-73) Dennis Ritchie S (1976-) John Chambers “C is quirky, flawed, and an enormous success.” “We were concerned to support serious data analysis… ” 4 COPYRIGHT © 2013 ALCATEL-LUCENT. ALL RIGHTS RESERVED. ALGORITHMS Karmarkar: Interior-Point Linear Programming (1984) Highly Influential Books Aho-Hopcroft-Ullman Garey-Johnson 5 COPYRIGHT © 2013 ALCATEL-LUCENT. ALL RIGHTS RESERVED. OFFSHOOTS Functional Programming: Standard ML of New Jersey (1989 - ) Formal Verification: SPIN and COSPAN (1980-) Distributed Operating Systems Plan 9 (1989 - ) Quantum Computing Shor, Willet, Grover (1994 - ) 6 COPYRIGHT © 2013 ALCATEL-LUCENT. ALL RIGHTS RESERVED. THE SECRET “The management principles here are that you hire bright people and you introduce them to the environment, and you give them general directions as to what sort of thing is wanted, and you give them lots of freedom.
    [Show full text]
  • Domain-Specific Languages
    Domain-specific languages • also called application specific languages, little languages • narrow domain of applicability • not necessarily programmable or Turing-complete – often declarative, not imperative • sometimes small enough that you could build one yourself • examples: – regular expressions – shell – XML, HTML, troff, (La)TEX, Markdown: markup langauges – SQL: database access – R: statistics – AMPL: mathematical optimization – Verilog: circuit design and verification – … Example: Markup / document preparation languages • illustrates topics of 333 in a different setting – tools – language design (good and bad); notation – evolution of software systems; maintenance – personal interest, research area for 10-20 years, heavy use in books • examples: – roff and related early formatters – nroff (Unix man command still uses it) – troff – TEX – HTML, etc. Unix document preparation: *roff • text interspersed with formatting commands on separate lines .sp 2! .in 5! This is a paragraph … • originally just ASCII output, fixed layout, singlecolumn • nroff: macros, a event mechanism for page layout (Turing complete) • troff: version of nroff for phototypesetters – adds features for size, font, precise positioning, bigger character sets – originally by Joe Ossanna (~1972); inherited by BWK ~1977 • photypesetter produces output on photographic paper or film • first high-quality output device at a reasonable price (~$15K) – predates laser printers by 5-10 years – predates Postscript (1982) by 10 years, PDF (1993) by 21 years – klunky, slow, messy, expensive media • very complex program, very complex language – language reflects many of the weirdnesses of first typesetter – macro packages make it usable by mortals for standard tasks • troff + phototypesetter enables book-quality output – Elements of Programming Style, Software Tools, K&R, … Extension to complex specialized material • mathematics – called “penalty copy” in the printing industry • tables • drawings • graphs • references • indexes • etc.
    [Show full text]
  • Using Groff with the -Ms Macro Package
    Using groff with the -ms MacroPackage Larry Kollar [email protected] This document describes the GNU re-implementation of the popular groff-ms macro package. The -ms macros are suitable for reports, letters, books, user manuals, and so forth. The package provides macros for coverpages, section headings, paragraphs, lists, foot- notes, pagination, and a table of contents. This document provides both tutorial and reference material. It also discusses dif- ferences from the AT&T -ms macros, both omissions and additions. 1. Introduction The original -ms macros were included with AT&T troff as well as the -man macros. While the -man package is intended for brief documents that can be read on-line as well as printed, the -ms macros are suitable for longer documents that are meant to be printed rather than read on-line. The -ms macro package included with -groff is a complete, bottom-up re-implementation. Several macros (specific to AT&T or Berkeley) are not included, while several newcommands are. See Differ- ences from AT&T -ms,later in this document, for more information. 1.1. Basic information Most number registers have a default unit of measurement. Specifying a unit explicitly does not cause anyproblems, and can avoid problems in complexsituations. The following are typical units: Unit Description iinches ccentimeters ppoints (about 1/72") vline height nwidth of a letter ‘‘n’’inthe current font mwidth of a letter ‘‘M’’inthe current font Ppica (1/6") Youset number registers by using the .nr request; for example: .nr PS 12 2v0.1, April 2001 2. General structureofan -ms document The -ms macro package expects a certain amount of structure, but not as much as packages such as -man or -mdoc.
    [Show full text]
  • A System for Typesetting Mathematics
    A System for Typesetting Mathematics Brian W. Kernighan and Lorinda L. Cherry Bell Laboratories Murray Hill, New Jersey 07974 ABSTRACT This paper describes the design and implementation of a system for typesetting mathemat- ics. The language has been designed to be easy to learn and to use by people (for example, secretaries and mathematical typists) who know neither mathematics nor typesetting. Experience indicates that the language can be learned in an hour or so, for it has few rules and fewer excep- tions. For typical expressions, the size and font changes, positioning, line drawing, and the like necessary to print according to mathematical conventions are all done automatically. For exam- ple, the input sum from i=0 to infinity x sub i = pi over 2 produces ∞ _π_ Σxi = i =0 2 The syntax of the language is specified by a small context-free grammar; a compiler- compiler is used to make a compiler that translates this language into typesetting commands. Output may be produced on either a phototypesetter or on a terminal with forward and reverse half-line motions. The system interfaces directly with text formatting programs, so mixtures of text and mathematics may be handled simply. This paper is a revision of a paper originally published in CACM, March, 1975. 1. Introduction limits in the preceding example showed in its simplest ‘‘Mathematics is known in the trade as form. This is carried further by difficult, or penalty, copy because it is slower, more ________________ b 1 difficult, and more expensive to set in type than any a 0+ ____________ b 2 other kind of copy normally occurring in books and a 1+ ________ b 3 journals.’’ [1] a 2+ .
    [Show full text]
  • A System for Typesetting Mathematics
    -- -- A System for Typesetting Mathematics Brian W. Kernighan and Lorinda L. Cherry Bell Laboratories Murray Hill, New Jersey 07974 ABSTRACT This paper describes the design and implementation of a system for typesetting mathemat- ics. The language has been designed to be easy to learn and to use by people (for example, secretaries and mathematical typists) who know neither mathematics nor typesetting. Experience indicates that the language can be learned in an hour or so, for it has few rules and fewer excep- tions. For typical expressions, the size and font changes, positioning, line drawing, and the like necessary to print according to mathematical conventions are all done automatically. For exam- ple, the input sum from i=0 to in®nity x sub i = pi over 2 produces ∞ π __ Σxi = i =0 2 The syntax of the language is speci®ed by a small context-free grammar; a compiler- compiler is used to make a compiler that translates this language into typesetting commands. Output may be produced on either a phototypesetter or on a terminal with forward and reverse half-line motions. The system interfaces directly with text formatting programs, so mixtures of text and mathematics may be handled simply. This paper is a revision of a paper originally published in CACM, March, 1975. 1. Introduction limits in the preceding example showed in its simplest ``Mathematics is known in the trade as form. This is carried further by dif®cult, or penalty, copy because it is slower, more b +________________ 1 dif®cult, and more expensive to set in type than any a 0 b 2 a +____________ other kind of copy normally occurring in books and 1 b +________ 3 journals.'' [1] a 2 .
    [Show full text]
  • Mathml Applications Neil Soiffer, Design Science Inc
    MathML Applications Neil Soiffer, Design Science Inc Browsers o Internet Explorer + MathPlayer o Firefox and other Mozilla based browsers (eg, Netscape 7) o Amaya Browser Plug-ins, Scripts and Extensions o Abacus abacus.mozdev.org Extension for Mozilla-based applications for writing and editing MathML expressions. o ASCIIMathML www1.chapman.edu/~jipsen/asciimath.html JavaScript allows incorporating mathematical formulas on webpages using a simple linear math notation. o GtkMathView-Bonobo helm.cs.unibo.it/software/gtkmathview-bonobo Bonobo (GNOME) wrapper for GtkMathView which allows GtkMathView to be embedded inside Bonobo applications. GtkMathView is a C++ rendering engine for MathML documents. o MathPlayer www.dessci.com/en/products/mathplayer MathML display engine for Internet Explorer. o Techexplorer www.integretechpub.com/techexplorer Renders TeX, LaTeX, and MathML. Java APIs provide programmatic access to techexplorer and document properties. o WebEQ www.dessci.com/en/products/webeq Toolkit (edit, view, graph, evaluate) for building web pages that include interactive math. o webMathematica www.wolfram.com/products/webmathematica Enables creation of web sites that allow users to compute (using Mathematica) and visualize results directly from a web browser. Scientific Computation o jscl-meditor jscl-meditor.sourceforge.net Java symbolic computing library and a mathematical front-end to access it. Exports MathML. o Maple www.maplesoft.com/products/maple Symbolic and numeric computation system with support for importing and exporting MathML. o Mathcad www.adeptscience.co.uk/products/mathsim/mathcad Numerical and graphical scratchpad that supports MathML export. o Mathematica www.wolfram.com Technical computing system with high-quality mathematical typesetting and editing with support for importing and exporting MathML.
    [Show full text]