At some places in my text document I am using Dr. Carlisle’s XSLT to convert MathML to LaTeX; whereas, at other places I am using standard ams-LaTeX.In MikTeX, the following properly displays “a squared” and “a sub 2”\documentclass{article}\begin{document}\[a^2\]\[a_2\]\end{document}But when including the \usepackage{pmml-new} in the preamble the above displays as simple text a^2 and a_2.If I remove the last two lines (shown at the end below) from the pmml-new.sty file the “^” and “_” work fine for superscripts and subscripts respectively. Moreover, msup and msub defined in the above file continue to work for superscript and subscript, as well. I would like to use both the LaTeX generated from MathML and the standard LaTeX in a same document. For example I would like to be able to use the following quadratic formula generated from MathML or a simple LaTeX \(a^2\) on the same tex document:\(\let\par\emptyx={\frac{{-b\unicode{177}\sqrt{{\msup{{b}}{{{2}}}}-{4}ac}}}{{{2}a}}}\) Would removing the following last two lines from the pmml-new.sty file cause any other issues? If yes, are there any other changes we can make to the .sty file to make both ams-LaTeX and LaTeX generated by Dr. Carlisle’s files work together on a same document\catcode`\_=12\catcode`\^=12 Thanks..Saf

On 07/07/2015 20:46, saf sied wrote: > At some places in my text document I am using Dr. Carlisle’s XSLT "David" is fine:-) > <https://github.com/davidcarlisle/web-xslt/tree/master/pmml2tex> to > convert MathML to LaTeX; whereas, at other places I am using standard > ams-LaTeX. > In MikTeX, the following properly displays “a squared” and “a sub 2” > \documentclass{article} > \begin{document} > \[a^2\] > \[a_2\] > \end{document} > But when including the \usepackage{pmml-new} in the preamble the above > displays as simple text a^2 and a_2. > If I remove the last two lines (shown at the end below) from the > pmml-new.sty file the “^” and “_” work fine for superscripts and > subscripts respectively. Moreover, msup and msub defined in the above > file continue to work for superscript and subscript, as well. I would > like to use both the LaTeX generated from MathML and the standard LaTeX > in a same document. For example I would like to be able to use the > following quadratic formula generated from MathML or a simple LaTeX > \(a^2\) on the same tex document: > \(\let\par\empty > x={\frac{{-b\unicode{177}\sqrt{{\msup{{b}}{{{2}}}}-{4}ac}}}{{{2}a}}} > \) > Would removing the following last two lines from the pmml-new.sty file > cause any other issues? If yes, are there any other changes we can make > to the .sty file to make both ams-LaTeX and LaTeX generated by Dr. > Carlisle’s files work together on a same document > \catcode`\_=12 > \catcode`\^=12 > Yes you could remove that from a local copy or just set them back to catcode 8 and 7 after loading the package. The original use case for the style was converting XML (such as the XML source of the MathML spec) where ^ (and especially) _ may occur just as normal text and rather than have to trap and escape those I just made all _ normal text and never generated _ for subscripts, always used \msub etc. As your fragments show it doesn't really to to make "clean" tex to put into an existing document, it was used to convert the entire document to tex for pdf generation as a "black box" process, so the tex it generates is rather ugly. David ________________________________ The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom. This e-mail has been scanned for all viruses by Microsoft Office 365. ________________________________

Final Call for Participation Conference on Intelligent Computer Mathematics CICM 2015 13-17 July 2015 Washington DC, USA Registration Deadline July 6th, 2015 The programme for this year's CICM in Washington can be found as http://www.cicm-conference.org/2015/cicm.php?event=&menu=detailed-programme The accepted papers as http://www.cicm-conference.org/2015/cicm.php?event=&menu=talks In addition we solicit for posters which will not be peer reviewed, but we will just do a screen review for relevance to the conference. A poster presentation will consist of a 5 minute teaser talk and the presentation of the poster on Tuesday morning (together with the other presentations in the Systems/Data/Projects track). You can submit a brief abstract on a poster by 22 June 2015 via EasyChair: https://www.easychair.org/conferences/?conf=cicm2015 You will be informed about acceptance shortly after your submission. Registration to the conference will open shortly. For details on the conference, registration, accommodation, etc. see http://www.cicm-conference.org/2015/cicm.php ********************************************************************** Invited Speakers: ********************************************************************** * Leonardo de Moura, https://leodemoura.github.io/ "Formalizing mathematics using the Lean Theorem Prover" (http://leanprover.github.io/) * Tobias Nipkow, http://www21.in.tum.de/~nipkow/ "Analyzing the Archive of Formal Proofs" * Jim Pitman, http://www.stat.berkeley.edu/~pitman/ "Towards a Global Digital Mathematics Library" * Richard Zanibbi, http://www.cs.rit.edu/~rlaz/ "Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval" ********************************************************************** The principal tracks of the conference will be: ********************************************************************** * Calculemus (Symbolic Computation and Mechanised Reasoning) Chair: Jacques Carette * DML (Digital Mathematical Libraries) Chair: Volker Sorge * MKM (Mathematical Knowledge Management) Chair: Cezary Kaliszyk * Systems and Data Chair: Florian Rabe * Doctoral Programme Chair: Umair Siddique Publicity chair is Serge Autexier. The local arrangements are coordinated by the Local Arrangements Chairs, Bruce R. Miller (National Institute of Standards and Technology, USA) and Abdou Youssef (The George Washington University, Washington, D.C.), and the overall programme is organized by the General Programme Chair, Manfred Kerber (U. Birmingham, UK). As in previous years, we have co-located workshops: * Formal Mathematics for Mathematicians * Theorem proving components for Educational software (ThEdu'15) * MathUI Furthermore we have a doctoral programme to mentor doctoral students giving presentations and a tutorial on the generic proof assistant Isabelle. --------------------------------------------------------------------------------

On 20150627 at 143534-0700 "Asmus Freytag (t)" writes: > Unicode generally does not encode characters by usage. For > example there's no distinction between period, decimal > point, abbreviation point etc.. This reflects the underlying > situation, to wit, that this is a case of the *same* symbol > being used in different conventions. > > The downside is that it is thus not possible to use plain > text to capture which convention is intended (but nothing > prevents anyone from providing rich-text markup). The upside > is that data can't exhibit "random alternation" between > identical looking symbols; experience has shown that this is > a most likely outcome if "the same" item is encoded several > times, based merely on convention. Period, decimal point, abbreviation point: three different names and three different concepts commonly sharing the same symbol though not necessarily the same left and right spacing. As a point of argument (but not a request) they *should* be three different characters. Absent that, the typesetter with a proportional font must use various conventions, not completely reliable, to guess the spacing. Of course, commonly the user will be oblivious of these differences and the user's keyboard will have only one of these. But the astute user may want to be able to make distinctions. The distinctions can be made available, for example, in rich text, as you observe, in SGML, or in LaTeX. With a given oblivious user and a given typesetting suite random alternation will not occur. Other than for searching I fail to see why random alternation should be a problem. Are there other problems associated with random alternation? As to mathematical searching, searching for mathematical symbols is an order of magnitude more complicated than searching for text, e.g., multi-character math symbols, things like phi vs varphi, ..., so the small number of possible alternations (at most 256, the size of the U+21xx block, actually quite a few less than that) should not add much complexity to code for mathematical symbol searching. -- Bill