diff options
author | Karl Berry <karl@freefriends.org> | 2021-06-09 20:41:32 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2021-06-09 20:41:32 +0000 |
commit | 0b17ff1e693fb0338c0175b21437d0fb5d445b40 (patch) | |
tree | 070b2e00f6f9d4919fe7733315e8350b0be267c7 /Master/texmf-dist/doc/luatex | |
parent | a81bd3ba3336ba74c9fc657ec765256675c21af0 (diff) |
minim-math (9jun21)
git-svn-id: svn://tug.org/texlive/trunk@59537 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/luatex')
-rw-r--r-- | Master/texmf-dist/doc/luatex/minim-math/EUPL-1.2-EN.txt | 287 | ||||
-rw-r--r-- | Master/texmf-dist/doc/luatex/minim-math/README | 27 | ||||
-rw-r--r-- | Master/texmf-dist/doc/luatex/minim-math/minim-math.doc | 244 | ||||
-rw-r--r-- | Master/texmf-dist/doc/luatex/minim-math/minim-math.pdf | bin | 0 -> 106915 bytes |
4 files changed, 558 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/luatex/minim-math/EUPL-1.2-EN.txt b/Master/texmf-dist/doc/luatex/minim-math/EUPL-1.2-EN.txt new file mode 100644 index 00000000000..4153cd37753 --- /dev/null +++ b/Master/texmf-dist/doc/luatex/minim-math/EUPL-1.2-EN.txt @@ -0,0 +1,287 @@ + EUROPEAN UNION PUBLIC LICENCE v. 1.2 + EUPL © the European Union 2007, 2016 + +This European Union Public Licence (the ‘EUPL’) applies to the Work (as defined +below) which is provided under the terms of this Licence. Any use of the Work, +other than as authorised under this Licence is prohibited (to the extent such +use is covered by a right of the copyright holder of the Work). + +The Work is provided under the terms of this Licence when the Licensor (as +defined below) has placed the following notice immediately following the +copyright notice for the Work: + + Licensed under the EUPL + +or has expressed by any other means his willingness to license under the EUPL. + +1. Definitions + +In this Licence, the following terms have the following meaning: + +- ‘The Licence’: this Licence. + +- ‘The Original Work’: the work or software distributed or communicated by the + Licensor under this Licence, available as Source Code and also as Executable + Code as the case may be. + +- ‘Derivative Works’: the works or software that could be created by the + Licensee, based upon the Original Work or modifications thereof. This Licence + does not define the extent of modification or dependence on the Original Work + required in order to classify a work as a Derivative Work; this extent is + determined by copyright law applicable in the country mentioned in Article 15. + +- ‘The Work’: the Original Work or its Derivative Works. + +- ‘The Source Code’: the human-readable form of the Work which is the most + convenient for people to study and modify. + +- ‘The Executable Code’: any code which has generally been compiled and which is + meant to be interpreted by a computer as a program. + +- ‘The Licensor’: the natural or legal person that distributes or communicates + the Work under the Licence. + +- ‘Contributor(s)’: any natural or legal person who modifies the Work under the + Licence, or otherwise contributes to the creation of a Derivative Work. + +- ‘The Licensee’ or ‘You’: any natural or legal person who makes any usage of + the Work under the terms of the Licence. + +- ‘Distribution’ or ‘Communication’: any act of selling, giving, lending, + renting, distributing, communicating, transmitting, or otherwise making + available, online or offline, copies of the Work or providing access to its + essential functionalities at the disposal of any other natural or legal + person. + +2. Scope of the rights granted by the Licence + +The Licensor hereby grants You a worldwide, royalty-free, non-exclusive, +sublicensable licence to do the following, for the duration of copyright vested +in the Original Work: + +- use the Work in any circumstance and for all usage, +- reproduce the Work, +- modify the Work, and make Derivative Works based upon the Work, +- communicate to the public, including the right to make available or display + the Work or copies thereof to the public and perform publicly, as the case may + be, the Work, +- distribute the Work or copies thereof, +- lend and rent the Work or copies thereof, +- sublicense rights in the Work or copies thereof. + +Those rights can be exercised on any media, supports and formats, whether now +known or later invented, as far as the applicable law permits so. + +In the countries where moral rights apply, the Licensor waives his right to +exercise his moral right to the extent allowed by law in order to make effective +the licence of the economic rights here above listed. + +The Licensor grants to the Licensee royalty-free, non-exclusive usage rights to +any patents held by the Licensor, to the extent necessary to make use of the +rights granted on the Work under this Licence. + +3. Communication of the Source Code + +The Licensor may provide the Work either in its Source Code form, or as +Executable Code. If the Work is provided as Executable Code, the Licensor +provides in addition a machine-readable copy of the Source Code of the Work +along with each copy of the Work that the Licensor distributes or indicates, in +a notice following the copyright notice attached to the Work, a repository where +the Source Code is easily and freely accessible for as long as the Licensor +continues to distribute or communicate the Work. + +4. Limitations on copyright + +Nothing in this Licence is intended to deprive the Licensee of the benefits from +any exception or limitation to the exclusive rights of the rights owners in the +Work, of the exhaustion of those rights or of other applicable limitations +thereto. + +5. Obligations of the Licensee + +The grant of the rights mentioned above is subject to some restrictions and +obligations imposed on the Licensee. Those obligations are the following: + +Attribution right: The Licensee shall keep intact all copyright, patent or +trademarks notices and all notices that refer to the Licence and to the +disclaimer of warranties. The Licensee must include a copy of such notices and a +copy of the Licence with every copy of the Work he/she distributes or +communicates. The Licensee must cause any Derivative Work to carry prominent +notices stating that the Work has been modified and the date of modification. + +Copyleft clause: If the Licensee distributes or communicates copies of the +Original Works or Derivative Works, this Distribution or Communication will be +done under the terms of this Licence or of a later version of this Licence +unless the Original Work is expressly distributed only under this version of the +Licence — for example by communicating ‘EUPL v. 1.2 only’. The Licensee +(becoming Licensor) cannot offer or impose any additional terms or conditions on +the Work or Derivative Work that alter or restrict the terms of the Licence. + +Compatibility clause: If the Licensee Distributes or Communicates Derivative +Works or copies thereof based upon both the Work and another work licensed under +a Compatible Licence, this Distribution or Communication can be done under the +terms of this Compatible Licence. For the sake of this clause, ‘Compatible +Licence’ refers to the licences listed in the appendix attached to this Licence. +Should the Licensee's obligations under the Compatible Licence conflict with +his/her obligations under this Licence, the obligations of the Compatible +Licence shall prevail. + +Provision of Source Code: When distributing or communicating copies of the Work, +the Licensee will provide a machine-readable copy of the Source Code or indicate +a repository where this Source will be easily and freely available for as long +as the Licensee continues to distribute or communicate the Work. + +Legal Protection: This Licence does not grant permission to use the trade names, +trademarks, service marks, or names of the Licensor, except as required for +reasonable and customary use in describing the origin of the Work and +reproducing the content of the copyright notice. + +6. Chain of Authorship + +The original Licensor warrants that the copyright in the Original Work granted +hereunder is owned by him/her or licensed to him/her and that he/she has the +power and authority to grant the Licence. + +Each Contributor warrants that the copyright in the modifications he/she brings +to the Work are owned by him/her or licensed to him/her and that he/she has the +power and authority to grant the Licence. + +Each time You accept the Licence, the original Licensor and subsequent +Contributors grant You a licence to their contributions to the Work, under the +terms of this Licence. + +7. Disclaimer of Warranty + +The Work is a work in progress, which is continuously improved by numerous +Contributors. It is not a finished work and may therefore contain defects or +‘bugs’ inherent to this type of development. + +For the above reason, the Work is provided under the Licence on an ‘as is’ basis +and without warranties of any kind concerning the Work, including without +limitation merchantability, fitness for a particular purpose, absence of defects +or errors, accuracy, non-infringement of intellectual property rights other than +copyright as stated in Article 6 of this Licence. + +This disclaimer of warranty is an essential part of the Licence and a condition +for the grant of any rights to the Work. + +8. Disclaimer of Liability + +Except in the cases of wilful misconduct or damages directly caused to natural +persons, the Licensor will in no event be liable for any direct or indirect, +material or moral, damages of any kind, arising out of the Licence or of the use +of the Work, including without limitation, damages for loss of goodwill, work +stoppage, computer failure or malfunction, loss of data or any commercial +damage, even if the Licensor has been advised of the possibility of such damage. +However, the Licensor will be liable under statutory product liability laws as +far such laws apply to the Work. + +9. Additional agreements + +While distributing the Work, You may choose to conclude an additional agreement, +defining obligations or services consistent with this Licence. However, if +accepting obligations, You may act only on your own behalf and on your sole +responsibility, not on behalf of the original Licensor or any other Contributor, +and only if You agree to indemnify, defend, and hold each Contributor harmless +for any liability incurred by, or claims asserted against such Contributor by +the fact You have accepted any warranty or additional liability. + +10. Acceptance of the Licence + +The provisions of this Licence can be accepted by clicking on an icon ‘I agree’ +placed under the bottom of a window displaying the text of this Licence or by +affirming consent in any other similar way, in accordance with the rules of +applicable law. Clicking on that icon indicates your clear and irrevocable +acceptance of this Licence and all of its terms and conditions. + +Similarly, you irrevocably accept this Licence and all of its terms and +conditions by exercising any rights granted to You by Article 2 of this Licence, +such as the use of the Work, the creation by You of a Derivative Work or the +Distribution or Communication by You of the Work or copies thereof. + +11. Information to the public + +In case of any Distribution or Communication of the Work by means of electronic +communication by You (for example, by offering to download the Work from a +remote location) the distribution channel or media (for example, a website) must +at least provide to the public the information requested by the applicable law +regarding the Licensor, the Licence and the way it may be accessible, concluded, +stored and reproduced by the Licensee. + +12. Termination of the Licence + +The Licence and the rights granted hereunder will terminate automatically upon +any breach by the Licensee of the terms of the Licence. + +Such a termination will not terminate the licences of any person who has +received the Work from the Licensee under the Licence, provided such persons +remain in full compliance with the Licence. + +13. Miscellaneous + +Without prejudice of Article 9 above, the Licence represents the complete +agreement between the Parties as to the Work. + +If any provision of the Licence is invalid or unenforceable under applicable +law, this will not affect the validity or enforceability of the Licence as a +whole. Such provision will be construed or reformed so as necessary to make it +valid and enforceable. + +The European Commission may publish other linguistic versions or new versions of +this Licence or updated versions of the Appendix, so far this is required and +reasonable, without reducing the scope of the rights granted by the Licence. New +versions of the Licence will be published with a unique version number. + +All linguistic versions of this Licence, approved by the European Commission, +have identical value. Parties can take advantage of the linguistic version of +their choice. + +14. Jurisdiction + +Without prejudice to specific agreement between parties, + +- any litigation resulting from the interpretation of this License, arising + between the European Union institutions, bodies, offices or agencies, as a + Licensor, and any Licensee, will be subject to the jurisdiction of the Court + of Justice of the European Union, as laid down in article 272 of the Treaty on + the Functioning of the European Union, + +- any litigation arising between other parties and resulting from the + interpretation of this License, will be subject to the exclusive jurisdiction + of the competent court where the Licensor resides or conducts its primary + business. + +15. Applicable Law + +Without prejudice to specific agreement between parties, + +- this Licence shall be governed by the law of the European Union Member State + where the Licensor has his seat, resides or has his registered office, + +- this licence shall be governed by Belgian law if the Licensor has no seat, + residence or registered office inside a European Union Member State. + +Appendix + +‘Compatible Licences’ according to Article 5 EUPL are: + +- GNU General Public License (GPL) v. 2, v. 3 +- GNU Affero General Public License (AGPL) v. 3 +- Open Software License (OSL) v. 2.1, v. 3.0 +- Eclipse Public License (EPL) v. 1.0 +- CeCILL v. 2.0, v. 2.1 +- Mozilla Public Licence (MPL) v. 2 +- GNU Lesser General Public Licence (LGPL) v. 2.1, v. 3 +- Creative Commons Attribution-ShareAlike v. 3.0 Unported (CC BY-SA 3.0) for + works other than software +- European Union Public Licence (EUPL) v. 1.1, v. 1.2 +- Québec Free and Open-Source Licence — Reciprocity (LiLiQ-R) or Strong + Reciprocity (LiLiQ-R+). + +The European Commission may update this Appendix to later versions of the above +licences without producing a new version of the EUPL, as long as they provide +the rights granted in Article 2 of this Licence and protect the covered Source +Code from exclusive appropriation. + +All other changes or additions to this Appendix require the production of a new +EUPL version. diff --git a/Master/texmf-dist/doc/luatex/minim-math/README b/Master/texmf-dist/doc/luatex/minim-math/README new file mode 100644 index 00000000000..b463a8bad3a --- /dev/null +++ b/Master/texmf-dist/doc/luatex/minim-math/README @@ -0,0 +1,27 @@ +Version: 2021/1.0 + +SUMMARY + +This package gives a simple and higly-configurable way of using unicode and +OpenType mathematics with plain LuaTeX, making use of most of the latter +engine’s new capabilities in mathematical typesetting. Also included are +proper settings and definitions for nearly all unicode mathematical +characters. + + +DOCUMENTATION + +In order to obtain the typeset manual of this package, simply say: + + luatex minim-math.doc + + +COPYING + +(c) 2021 Esger Renkema + +These files may be distributed under the terms of the European Union Public +Licence (EUPL) version 1.2 or later. A copy can be obtained at: + +https://joinup.ec.europa.eu/collection/eupl/eupl-text-eupl-12 + diff --git a/Master/texmf-dist/doc/luatex/minim-math/minim-math.doc b/Master/texmf-dist/doc/luatex/minim-math/minim-math.doc new file mode 100644 index 00000000000..a176c9b1d03 --- /dev/null +++ b/Master/texmf-dist/doc/luatex/minim-math/minim-math.doc @@ -0,0 +1,244 @@ + +\input minim-doc.sty + +\manual{minim-math} + +\ifchapter \chapter Mathematics + +\else \startmetadata + author {Esger Renkema} + title {minim-math} + date {2021-06-01} + version {2021/1.0} + keywords {LuaTeX; Plain TeX; Unicode mathematics} + stopmetadata +\maketitle \fi + +This package gives a simple and higly-configurable way of using unicode and +OpenType mathematics with plain LuaTeX, making use of most of the latter +engine’s new capabilities in mathematical typesetting. Also included are proper +settings and definitions for nearly all unicode mathematical characters, as +well as a few shorthands and helper macros that seemed useful additions. + +Load the package by saying ⟦\input minim-math.tex⟧; this will set up luatex for +using opentype mathematical fonts and unicode math input. +It will not, however, select mathematical fonts for you. That you will have to +do for yourself; see below for instructions. + + +\section Styles and alphabets + +For some (mostly alphabetical) characters, multiple variants are available, +e.g. $\mit A \mup A \mbf A \mbfit A \mbb A \frak A \bffrak A \scr A \bfscr A$. +You can (locally) override the default style of these with +⟦*\mathstyle {style}⟧ (equivalent to the old ⟦\bf⟧, ⟦\rm⟧ etc.) +or with one of the shorthands that apply the style to their argument only: +\smallskip\smallskip\automarktable \halign{\qquad + #\unskip\quad\hfil &#\unskip\quad\hfil &#\unskip\hfil\cr +Shorthand\quad\strut & Value of ⟦style⟧\quad\strut & Result \cr +⟦*\mup⟧ & ⟦up⟧/⟦rm⟧ & $\mup {ABC}$ \cr +⟦*\mit⟧ & ⟦it⟧ & $\mit {ABC}$ \cr +⟦*\mbf⟧ & ⟦bf⟧ & $\mbf {ABC}$ \cr +⟦*\mbfit⟧ & ⟦bfit⟧ & $\mbfit {ABC}$ \cr +⟦*\mbb⟧ & ⟦bb⟧ & $\mbb {ABC}$ \cr +⟦*\frak⟧ & ⟦frak⟧ & $\frak {ABC}$ \cr +⟦*\bffrak⟧ & ⟦bffrak⟧ & $\bffrak {ABC}$ \cr +⟦*\scr⟧ & ⟦cal⟧/⟦scr⟧ & $\scr {ABC}$ \cr +⟦*\bfscr⟧ & ⟦bfscr⟧ & $\bfscr {ABC}$ \cr +} +Styles without shorthand are ⟦sans⟧/⟦sf⟧, ⟦sfit⟧, ⟦sfbf⟧, ⟦sfbfit⟧, ⟦tt⟧/⟦mono⟧ +and finally the special value ⟦*clear⟧ for using the default style. +You can use the shorthands directly in sub- and superscripts: ⟦v^\scr F⟧ will +result in $v^\scr F$. + +While math families are not used anymore for switching between styles (see +below), you still can use ⟦\fam⟧ with the values 0, 1, 2, 4, 5, 6 or~7 for +doing so. This means that plain tex’s ⟦\rm⟧, ⟦\it⟧, ⟦\cal⟧, ⟦\sl⟧, ⟦\bf⟧ and +⟦\tt⟧ can still be used (at least in math mode). + +Please note that ⟦*\mup⟧ is not the right choice for upright multiletter +symbols or operators: you should use ⟦*\mord⟧ or ⟦*\mop⟧ instead (see near the +end of this chapter). +For nonmathematical text, you should use ⟦*\text⟧ instead of ⟦\mup⟧. + +The default properties of characters can be set with one of the following three +commands: +\startlist +\item\ignore. ⟦*\mathmap {character list} {style}⟧ +\item\ignore. ⟦*\mathclass {character list} {class}⟧ +\item\ignore. ⟦*\mathfam {character list} nr⟧ +\stoplist +There, ⟦style⟧ is one of the above and ⟦class⟧ is the name of a class as below. +Finally, the ⟦character list⟧ should be a comma-separated list with elements of +one of the following forms: +\startlist +{\def\⟦#1{⟦[\uppercase{#1}#1]\kern-1pt} +\item1. a list of characters, like ⟦abc⟧ or ⟦\partial⟧ or $ℝ$; +\item2. a character range, like ⟦`A-`Z⟧, ⟦65-90⟧ or ⟦"41-"5A⟧; +\item3. one of the alphabets \⟦latin⟧, \⟦greek⟧, or ⟦digits⟧; +\item4. one of the style groups ⟦bold⟧, ⟦boldgreek⟧, ⟦sans⟧, ⟦sansgreek⟧, +⟦mono⟧, ⟦blackboard⟧, ⟦fraktur⟧ or ⟦script⟧; +\item5. the name of a math class: +⟦ord⟧, ⟦op⟧, ⟦bin⟧, ⟦rel⟧, ⟦fence⟧, ⟦open⟧, ⟦close⟧ or ⟦punct⟧. +}\stoplist + +Note that unicode is somewhat irregular in its encoding of mathematical +letters; this is taken into account when using ranges as under~(2) above. Thus, +⟦`\mscra-`\mscrz⟧ really gives you all lowercase script characters, despite +e.g.~$ℯ$ being well outside that range. + +The default style settings are ⟦\mathmap {latin, greek, Latin}{it}⟧. +Since the math family setting is not used anymore for selecting different +styles, the default family of every symbol is zero. +Instead, you can use ⟦\mathfam⟧ for mixing fonts (see below). +The ⟦class⟧ option to ⟦\mathclass⟧ should be one of the names under~5. + + +\section Character variants + +You can change the default appearance of several greek characters with +⟦*\use∥-math∥-variant {chars}⟧ or ⟦*\usemathdefault {chars}⟧, where ⟦chars⟧ is +a list of normal greek characters. +As in unicode but against tex’s tradition, the variants are +$\usemathvariant{εθΘκπρφ}εθΘκπρφ$ and the defaults $εθΘκπρφ$. +The macros ⟦*\varepsilon⟧ etc. have been updated to reflect the unicode +variants. + +The appearance of root symbols can be set with ⟦*\closedroots⟧ ($\closedroots +\smash{√2}$) and ⟦*\normalroots⟧ ($\smash{√2}$, the default). + +Say ⟦*\unicodedots⟧ to use the unicode dots characters ($\unicodedots…⋮⋰⋱$) and +⟦*\traditionaldots⟧ to construct these characters from periods ($\smash{…⋮⋰⋱}$, +the default). +Both settings affect the meaning of both the actual characters and the ⟦\xdots⟧ +macros ($\mathstyle{mono}x∈\{l,v,c,a,d\}$). +Unlike in traditional plain tex, the traditional dots are available in script +sizes, too. + +Say ⟦*\decimalcomma⟧ and have commas appear as $\decimalcomma1,2$ instead +of~$1,2$ (⟦*\nodecimalcomma⟧ restores the default). +The explicit ⟦*\comma⟧, like ⟦*\colon⟧, will always be punctuation. + +The behaviour of limits on integral signs can be set by redefining +⟦*\intlimits⟧ (the default is ⟦\let \intlimits = \nolimits⟧). + +If you want to change the meaning (inside math mode) altogether for a single +character, you can use the commands ⟦*\mathdef⟧ and ⟦*\mathlet⟧. +For example, by default, you can use the letter ħ for the reduced planck +constant~$ħ$; +this has been made so with ⟦*\mathdef ħ {\hbar}⟧ (you could also have said +⟦\mathlet ħ \hbar⟧). + + +\section Setting up fonts + +The minimum you need do to set up a mathematical font is this: + +⟦*\font\tenmath + {Latin Modern Math:mode=base;script=math;ssty=0} at 10pt +\font\tenmaths + {Latin Modern Math:mode=base;script=math;ssty=1} at 7pt +\font\tenmathss + {Latin Modern Math:mode=base;script=math;ssty=2} at 5pt +\textfont 0 = \tenmath +\scriptfont 0 = \tenmaths +\scriptscriptfont 0 = \tenmathss⟧ + +Note that you only have to set up the font for a single family: opentype +mathematical fonts typically contain all necessary variants of all mathematical +characters. +Therefore, the ⟦*\fam⟧ setting has been made a no-op (use ⟦*\setfam⟧ if you +really need the old primitive) and the default family of all symbols has been +set to zero. + +As mentioned above, you can still change the family number of specific +characters and this allows you to mix mathematical fonts. For instance, if you +dislike the current blackboard bold characters, just assign a second font to +family +1 and say ⟦\mathfam {blackboard} 1⟧. Less useful are the parameters +⟦*\accentfam⟧, ⟦*\radicalfam⟧ and ⟦*\extensiblefam⟧ that control the family of +all accents, radicals and extensibles. + + +\section Shorthands and additions + +You can use ⟦*\text⟧ for adding nonmathematical text to your equations. +It will behave well in sub- and superscripts: +⟦\text{word}^\text{word}⟧ gives $\smash{\text{word}^\text{word}}$. +By default, the font used is the normal mathematical font. You can change this +by setting the ⟦*\textfam⟧ parameter to some nonzero value and assigning +a different font to that family (see above). +You probably want to do this, since most commonly-used mathematical fonts do not +include a normal kerning table. + +All the usual arrows can be made extensible by prefacing them with an ⟦x⟧, +including ⟦\xmapsto⟧ and ⟦\xmapsfrom⟧. Alternatively, you can use ⟦\→⟧ etc. as +shorthands. Additionally, you can use the following: + +{\smallskip\smallskip\automarktable \halign{\qquad + \vrule width0pt depth 9pt#\unskip\hfil + &&\qquad#\unskip\hfil\cr +Shorthand & Result \cr +⟦\bra x, \ket y⟧ & $\bra x, \ket y$ \cr +⟦\braket x y⟧ & $\braket x y$ \cr +⟦\norm x, \Norm x⟧ & $\norm x, \Norm x$ \cr +⟦x \stackrel ?= y⟧ & $x \stackrel ?= y$ \cr +⟦x \stackbin a+ y⟧ & $x \stackbin a+ y$ \cr +⟦f\inv⟧ & $f\inv$ \quad (cf. $f^{-1}$) \cr +⟦a \xrightarrow[down]{up} b⟧ & $a \xrightarrow[down]{up} b$ \cr +⟦a \xeq[down]{up} b⟧ & $a \xeq[down]{up} b$ \cr +⟦\frac12, \tfrac12, \dfrac12⟧& $\frac12, \tfrac12, \dfrac12$\cr +}\smallskip} + +Also new are the operators +⟦\Tr⟧, ⟦\tr⟧, ⟦\Span⟧, ⟦\GL⟧, ⟦\SL⟧, ⟦\SU⟧, ⟦\U⟧, ⟦\SO⟧, ⟦\O⟧, +⟦\Sp⟧, ⟦\im⟧, ⟦\End⟧, ⟦\Aut⟧, ⟦\Dom⟧ and ⟦\Codom⟧. +You can define new operators with ⟦*\newmathop⟧ and ⟦*\newlargemathop⟧: +⟦\newmathop{op}⟧ will define the new operator ⟦\op⟧. +For single use of an upright symbol, operator or large operator you can use +⟦*\mord⟧, ⟦*\mop⟧ and ⟦*\mlop⟧. +The difference between ⟦\mord⟧ and ⟦\mup⟧ is that ⟦\mord⟧ also applies the +correct symbol spacing. + +The accents ⟦\overbrace⟧, ⟦\underbracket⟧ etc. allow a label between square +brackets: +⟦$$\underbrace[=1]{(x^2+∥penalty0y^2)}$$⟧ gives +$$\underbrace[=1]{(x^2 + y^2)}.$$ + + +\section Best practices + +The following remarks on mathematical typesetting have no relation to the +contents of this package; I have included them because I find them hard to +remember. + +\startlist +\item1. ⟦*\eqalign⟧ gives a vertically centered box and can occur many times in +an equation, while ⟦*\eqalignno⟧ and ⟦*\leqalignno⟧ span whole lines (put the +equation numbers in the third column). All assume the relation (or operator) +appears at the right hand side of the ampsersand. +\item2. The command ⟦*\displaylines⟧ can only have one column that spans the +whole line (and you will have to add the equation number by hand). +\item3. Further alignment commands are ⟦*\cases⟧, ⟦*\matrix⟧, ⟦*\pmatrix⟧ (with +parentheses) and ⟦*\bordermatrix⟧ (includes labels for lines and columns). +\item4. Finetuning alignments can be done with ⟦*\smash⟧, ⟦*\phantom⟧, +⟦*\hphantom⟧ and ⟦*\vphantom⟧. +\item5. Small matrices like $1\;2\choose3\;4$ can be made by misusing +⟦*\choose⟧ or ⟦*\atop⟧. +\item6. If you start a line with a binary operator, put a ⟦*{}⟧ before it: this +way, tex recognises it as such. +\item7. Thin spaces (⟦*\,⟧) should be inserted: before $\mup dx$, before units, +after factorials and after ⟦*\dots⟧ if those are followed by a closing +parenthesis. +\item8. Whether the differential operator should be set upright or not is as of +yet an open question in mathematics. +\item9. You should prefer ⟦*\bigr⟧ and ⟦*\bigl⟧ etc. over ⟦\big⟧, ⟦\Big⟧, +⟦\bigg⟧ and ⟦\Bigg⟧. +\item10. An overview of mathematical symbols, with control sequences and their +availability in different fonts, can be found in ⟦*unimath-symbols.pdf⟧, which +is part of the unicode-math package. +\stoplist + +\endmanual + + diff --git a/Master/texmf-dist/doc/luatex/minim-math/minim-math.pdf b/Master/texmf-dist/doc/luatex/minim-math/minim-math.pdf Binary files differnew file mode 100644 index 00000000000..b5269815dc2 --- /dev/null +++ b/Master/texmf-dist/doc/luatex/minim-math/minim-math.pdf |