Misplaced Pages

OMDoc

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

OMDoc (Open Mathematical Documents) is a semantic markup format for mathematical documents. While MathML only covers mathematical formulae and the related OpenMath standard only supports formulae and “content dictionaries” containing definitions of the symbols used in formulae, OMDoc covers the whole range of written mathematics.

#492507

41-484: OMDoc allows for mathematical expressions on three levels: On each level, formal syntax and informal natural language can be used, depending on the application. OMDoc is a semantic markup language that allows writing down the meaning of texts about mathematics. In contrast to LaTeX , for example, it is not primarily presentation-oriented. An OMDoc document need not specify what its contents should look like. A conversion to LaTeX and XHTML (with Presentation MathML for

82-486: A voiceless velar fricative as in Modern Greek, similar to the ch in loch ). Lamport remarks that "TeX is usually pronounced tech , making lah -tech, lah- tech , and lay -tech the logical choices; but language is not always logical, so lay-tecks is also possible." The name is printed in running text with a typographical logo : L a T e X . In media where the logo cannot be precisely reproduced in running text,

123-569: A T e X ) is a software system for typesetting documents. LaTeX markup describes the content and layout of the document, as opposed to the formatted text found in WYSIWYG word processors like Google Docs , LibreOffice Writer and Microsoft Word . The writer uses markup tagging conventions to define the general structure of a document, to stylise text throughout a document (such as bold and italics), and to add citations and cross-references . A TeX distribution such as TeX Live or MiKTeX

164-473: A TeX Users Group (TUG) meeting at Stanford, Lamport agreed to turn over maintenance and development of LaTeX to Frank Mittelbach . Frank Mittelbach, along with Chris Rowley and Rainer Schöpf, formed the LaTeX3 team; in 1994, they released LaTeX2e, the current standard version. LaTeX3 has since been cancelled with features intended for that version being back-ported to LaTeX2e since 2018. LaTeX attempts to follow

205-655: A document in LaTeX, a user first creates a file, such as document.tex , typically using a text editor . The user then gives their document.tex file as input to the TeX program (with the LaTeX macros loaded), which prompts TeX to write out a file suitable for onscreen viewing or printing. This write-format-preview cycle is one of the chief ways in which working with LaTeX differs from the What-You-See-Is-What-You-Get (WYSIWYG) style of document editing. It

246-527: A document, it follows (from the user's point of view) the following processing sequence: Macros → TeX → Driver → Output. Different implementations of each of these steps are typically available in TeX distributions. Traditional TeX will output a DVI file, which is usually converted to a PostScript file. In 2000, Hàn Thế Thành and others wrote an implementation of TeX called pdfTeX , which also outputs to PDF and takes advantage of features available in that format. The XeTeX engine developed by Jonathan Kew, on

287-410: A little extra effort, he could make a general package usable by others. Peter Gordon, an editor at Addison-Wesley , convinced him to write a LaTeX user's manual for publication (Lamport was initially skeptical that anyone would pay money for it); it came out in 1986 and sold hundreds of thousands of copies. Meanwhile, Lamport released versions of his LaTeX macros in 1984 and 1985. On 21 August 1989, at

328-493: A result, it encourages the separation of the layout from the content — while still allowing manual typesetting adjustments whenever needed. This concept is similar to the mechanism by which many word processors allow styles to be defined globally for an entire document, or the use of Cascading Style Sheets in styling HyperText Markup Language ( HTML ) documents. The LaTeX system is a markup language that handles typesetting and rendering, and can be arbitrarily extended by using

369-462: A wide variety of languages aside from Arabic, including Persian , Malay and Urdu , which are not Semitic . Such adaptations may feature altered or new characters to represent phonemes that do not appear in Arabic phonology . For example, the Arabic language lacks a voiceless bilabial plosive (the [p] sound), therefore many languages add their own letter to represent [p] in the script, though

410-429: A writing tool for mathematicians and computer scientists, but even from early in its development, it has also been taken up by scholars who needed to write documents that include complex math expressions or non-Latin scripts, such as Arabic , Devanagari and Chinese . LaTeX is intended to provide a high-level, descriptive markup language to utilize TeX more easily. TeX handles the document layout, while LaTeX handles

451-460: Is Debian Free Software Guidelines (DFSG) compliant as of version 1.3. As free software , LaTeX is available on most operating systems, which include Unix ( Solaris , HP-UX , AIX ), BSD ( FreeBSD , macOS , NetBSD , OpenBSD ), Linux ( Red Hat , Debian , Arch , Gentoo ), Windows , DOS , RISC OS , AmigaOS , and Plan 9 . LaTeX2e is the current version of LaTeX, since it replaced LaTeX 2.09 in 1994. As of 2020 , LaTeX3, which started in

SECTION 10

#1732780338493

492-560: Is LaTeX2e, first released in 1994 but incrementally updated starting in 2015. This update policy replaced earlier plans for a separate release of LaTeX3, which had been in development since 1989. LaTeX is free software and is distributed under the LaTeX Project Public License (LPPL) . LaTeX was created in the early 1980s by Leslie Lamport when he was working at Stanford Research Institute (SRI). He needed to write TeX macros for his own use and thought that with

533-441: Is being extended towards sciences other than mathematics. The first result is PhysML , an OMDoc variant extended towards physics . For a better integration with other Semantic Web applications, an OWL ontology of OMDoc is under development, as well as an export facility to RDF . LaTeX LaTeX ( / ˈ l ɑː t ɛ k / LAH -tek or / ˈ l eɪ t ɛ k / LAY -tek , often stylized as L

574-404: Is similar to the code-compile-execute cycle known to computer programmers. Today, many LaTeX-aware editing programs make this cycle a simple matter through the pressing of a single key, while showing the output preview on the screen beside the input window. Some online LaTeX editors even automatically refresh the preview, while other online tools provide incremental editing in-place, mixed in with

615-554: Is the writing system used for Arabic ( Arabic alphabet ) and several other languages of Asia and Africa. It is the second-most widely used alphabetic writing system in the world (after the Latin script ), the second-most widely used writing system in the world by number of countries using it, and the third-most by number of users (after the Latin and Chinese scripts ). The script was first used to write texts in Arabic, most notably

656-577: Is typically distributed along with plain TeX under a free software license : the LaTeX Project Public License (LPPL). The LPPL is not compatible with the GNU General Public License , as it requires that modified files must be clearly differentiable from their originals (usually by changing the filename); this was done to ensure that files that depend on other files will produce the expected behavior and avoid dependency hell . The LPPL

697-491: Is used to produce an output file (such as PDF or DVI ) suitable for printing or digital distribution . LaTeX is widely used in academia for the communication and publication of scientific documents and technical note-taking in many fields, owing partially to its support for complex mathematical notation. It also has a prominent role in the preparation and publication of books and articles that contain complex multilingual materials , such as Arabic and Greek . LaTeX uses

738-656: The Quran , the holy book of Islam . With the religion's spread , it came to be used as the primary script for many language families, leading to the addition of new letters and other symbols. Such languages still using it are: Persian ( Farsi and Dari ), Urdu , Uyghur , Kurdish , Pashto , Punjabi ( Shahmukhi ), Sindhi , Azerbaijani (Torki in Iran), Malay ( Jawi ), Javanese and Indonesian ( Pegon ), Balti , Balochi , Luri , Kashmiri , Cham (Akhar Srak), Rohingya , Somali , Mandinka , and Mooré , among others. Until

779-642: The Sahel , developed with the spread of Islam . To a certain degree the style and usage tends to follow those of the Maghreb (for instance the position of the dots in the letters fāʼ and qāf ). Additional diacritics have come into use to facilitate the writing of sounds not represented in the Arabic language. The term ʻAjamī , which comes from the Arabic root for "foreign", has been applied to Arabic-based orthographies of African languages. Today Iran, Afghanistan, Pakistan, India, and China are

820-802: The Syriac alphabet , which are both derived from the Aramaic alphabet , which, in turn, descended from the Phoenician alphabet . The Phoenician script also gave rise to the Greek alphabet (and, therefore, both the Cyrillic alphabet and the Latin alphabet used in America and most European countries.). In the 6th and 5th centuries BCE, northern Arab tribes emigrated and founded a kingdom centred around Petra , Jordan . These people (now named Nabataeans from

861-426: The 16th century, it was also used for some Spanish texts, and—prior to the script reform in 1928 —it was the writing system of Turkish . The script is written from right to left in a cursive style, in which most of the letters are written in slightly different forms according to whether they stand alone or are joined to a following or preceding letter. The script does not have capital letters . In most cases,

SECTION 20

#1732780338493

902-438: The Arabic alphabet use the same base shapes. Most additional letters in languages that use alphabets based on the Arabic alphabet are built by adding (or removing) diacritics to existing Arabic letters. Some stylistic variants in Arabic have distinct meanings in other languages. For example, variant forms of kāf ك ک ڪ ‎ are used in some languages and sometimes have specific usages. In Urdu and some neighbouring languages,

943-520: The Arabic script is used to write Serbo-Croatian , Sorani , Kashmiri , Mandarin Chinese , or Uyghur , vowels are mandatory. The Arabic script can, therefore, be used as a true alphabet as well as an abjad , although it is often strongly, if erroneously, connected to the latter due to it being originally used only for Arabic. Use of the Arabic script in West African languages, especially in

984-578: The Arabic script were incorporated among the assortment of scripts used for writing native languages. In the 20th century, the Arabic script was generally replaced by the Latin alphabet in the Balkans , parts of Sub-Saharan Africa , and Southeast Asia , while in the Soviet Union , after a brief period of Latinisation , use of Cyrillic was mandated. Turkey changed to the Latin alphabet in 1928 as part of an internal Westernizing revolution. After

1025-459: The Aramaic alphabet, which continued to evolve; it separated into two forms: one intended for inscriptions (known as "monumental Nabataean") and the other, more cursive and hurriedly written and with joined letters, for writing on papyrus . This cursive form influenced the monumental form more and more and gradually changed into the Arabic alphabet. The Arabic script has been adapted for use in

1066-584: The LaTeX file to other formats such as OpenDocument , XML , or class ( *.cls ) files. LaTeX can also (and commonly is) rendered to PDF files using the LaTeX extension pdfLaTeX. LaTeX files containing Unicode text can be processed into PDFs with the inputenc package, or by the TeX extensions XeLaTeX and LuaLaTeX. LaTeX has become the de facto standard to typeset mathematical expression in scientific documents. Hence, there are several conversion tools focusing on mathematical LaTeX expressions, such as converters to MathML or Computer Algebra System . LaTeX

1107-688: The TeX typesetting program for formatting its output, and is itself written in the TeX macro language. LaTeX can be used as a standalone document preparation system, or as an intermediate format. In the latter role, for example, it is sometimes used as part of a pipeline for translating DocBook and other XML -based formats for PDF . The typesetting system offers programmable desktop publishing features and extensive facilities for automating most aspects of typesetting and desktop publishing, including numbering and cross-referencing of tables and figures, chapter and section headings, graphics, page layout, indexing and bibliographies . Like TeX, LaTeX started as

1148-787: The collapse of the Soviet Union in 1991, many of the Turkic languages of the ex-USSR attempted to follow Turkey's lead and convert to a Turkish-style Latin alphabet. However, renewed use of the Arabic alphabet has occurred to a limited extent in Tajikistan , whose language's close resemblance to Persian allows direct use of publications from Afghanistan and Iran. As of Unicode 15.1, the following ranges encode Arabic characters: Used to represent / ɡ / in Morocco and in many dialects of Algerian . Most languages that use alphabets based on

1189-461: The content side for document processing. LaTeX comprises a collection of TeX macros and a program to process LaTeX documents, and because the plain TeX formatting commands are elementary, it provides authors with ready-made commands for formatting and layout requirements such as chapter headings, footnotes, cross-references and bibliographies. LaTeX was originally written in the early 1980s by Leslie Lamport at SRI International . The current version

1230-433: The design philosophy of separating presentation from content , so that authors can focus on the content of what they are writing without attending simultaneously to its visual appearance. In preparing a LaTeX document, the author specifies the logical structure using simple, familiar concepts such as chapter , section , table , figure , etc., and lets the LaTeX system handle the formatting and layout of these structures. As

1271-491: The early 1990s, is under a long-term development project. Planned features include improved syntax (separation of content from styling), hyperlink support, a new user interface, access to arbitrary fonts and a new documentation. Some LaTeX3 features are available in LaTeX2e using packages, and by 2020 many features have been enabled in LaTeX2e by default for a gradual transition. There are many commercial implementations of

OMDoc - Misplaced Pages Continue

1312-619: The entire TeX system. System vendors may add extra features like added typefaces and telephone support . LyX is a free software , WYSIWYM visual document processor that uses LaTeX for a back-end. TeXmacs is a free, WYSIWYG editor with similar functionalities as LaTeX, but with a different typesetting engine. Other WYSIWYG editors that produce LaTeX include Scientific Word on Windows, and BaKoMa TeX on Windows, Mac and Linux. Many community-supported TeX distributions are available. Arabic script Co-official script in: Official script at regional level in: The Arabic script

1353-485: The formulae) is possible, though. To this end, the presentation of each symbol can be defined. Today, OMDoc is used in the following settings: OMDoc has been developed by the German mathematician and computer scientist Michael Kohlhase since 1998. So far, there have been the following releases: It is planned to create the infrastructure for a “ semantic web for technology and science” based on OMDoc. To this end, OMDoc

1394-470: The letters transcribe consonants , or consonants and a few vowels, so most Arabic alphabets are abjads , with the versions used for some languages, such as Kurdish dialect of Sorani , Uyghur , Mandarin , and Bosniak , being alphabets . It is the basis for the tradition of Arabic calligraphy . The Arabic alphabet is derived either from the Nabataean alphabet or (less widely believed) directly from

1435-407: The main non-Arabic speaking states using the Arabic alphabet to write one or more official national languages, including Azerbaijani , Baluchi , Brahui , Persian , Pashto , Central Kurdish , Urdu , Sindhi , Kashmiri , Punjabi and Uyghur . An Arabic alphabet is currently used for the following languages: With the establishment of Muslim rule in the subcontinent , one or more forms of

1476-573: The name of one of the tribes, Nabatu) spoke Nabataean Arabic , a dialect of the Arabic language. In the 2nd or 1st centuries BCE, the first known records of the Nabataean alphabet were written in the Aramaic language (which was the language of communication and trade), but included some Arabic language features: the Nabataeans did not write the language which they spoke. They wrote in a form of

1517-538: The other hand, merges modern font technologies and Unicode with TeX. LuaTeX is an extended version of pdfTeX using Lua as an embedded scripting language. There are also many editors for LaTeX, some of which are offline, source-code-based while others are online, partial-WYSIWYG-based. For more, see Comparison of TeX editors . LaTeX documents ( *.tex ) can be opened with any text editor. They consist of plain text and contain no hidden formatting codes or binary information. TeX documents can also be shared by rendering

1558-530: The preview in a streamlined single window. The example below shows the input to LaTeX and the corresponding output from the system: The characters 'T', 'E', and 'X' in the name come from the Greek capital letters tau , epsilon , and chi , as the name of TeX derives from the Ancient Greek : τέχνη ('skill', 'art', 'technique'); for this reason, TeX's creator Donald Knuth promotes its pronunciation as / t ɛ x / ( tekh ) (that is, with

1599-533: The specific letter used varies from language to language. These modifications tend to fall into groups: Indian and Turkic languages written in the Arabic script tend to use the Persian modified letters , whereas the languages of Indonesia tend to imitate those of Jawi . The modified version of the Arabic script originally devised for use with Persian is known as the Perso-Arabic script by scholars. When

1640-416: The underlying macro language to develop custom macros such as new environments and commands. Such macros are often collected into packages, which could then be made available to address some specific typesetting needs such as the formatting of complex mathematical expressions or graphics (e.g., the use of the align environment provided by the amsmath package to produce aligned equations). To create

1681-466: The word is typically given the unique capitalization LaTeX. Alternatively, the TeX, LaTeX and XeTeX logos can also be rendered via pure CSS and XHTML for use in graphical web browsers — by following the specifications of the internal \LaTeX macro. As a macro package, LaTeX provides a set of macros for TeX to interpret. There are many other macro packages for TeX, including Plain TeX, GNU Texinfo , AMSTeX , and ConTeXt . When TeX "compiles"

OMDoc - Misplaced Pages Continue

#492507