<<

Unicode with LATEX

Will Robertson

June 28, 2010

...... mathematics with LATEX

Will Robertson School of Mechanical University of Adelaide Australia

June 28, 2010

...... Unicode mathematics with LATEX

Will Robertson

LATEX3 Project

June 28, 2010

...... Acknowledgements

— The TEX Users Group for their very generous support — Barbara Beeton for her work on the STIX — Jonathan Kew, Taco Hoekwater for X TE EX, LuaTEX

...... Outline

What is unicode mathematics?

What fonts are available?

Using symbols and alphabets

How alphabets behave

Future

...... Origins of unicode maths

Ad hoc math encodings:

Math + AMS additions — Euler — Math — MathTime Pro

And of course other non-TEX fonts such as ‘Symbol’ and those used for Mathematica.

...... Origins of unicode maths

Math Font Group, http://tug.org/twg/mfg/

— Aim: as easy to switch maths fonts as text fonts — Implemented but not adopted — Designed for TEX’s constraints: 256 glyphs in 16 maths fonts — Project stalled because Unicode was the future

Which future we’re now participating in

...... THERE EXISTS THERE DOES NOT EXIST EMPTY SET INCREMENT NABLA ELEMENT OF NOT AN ELEMENT OF SMALL ELEMENT OF CONTAINS AS MEMBER DOES NOT CONTAIN AS MEMBER existential nexist emptyset Delta gradient element notelement epsis suchthat notcontains

0x02203∃ 0x02204∄ 0x02205∅ 0x02206∆ 0x02207∇ 0x02208∈ 0x02209∉ 0x0220A∊ 0x0220B∋ 0x0220C∌ SMALL CONTAINS AS MEMBER END OF PROOF N-ARY PRODUCT N-ARY COPRODUCT N-ARY SUMMATION MINUS-OR-PLUS SIGN DOT PLUS DIVISION SLASH SET MINUS ASTERISK OPERATOR bepsi uni220E product samalg summation minusplus plusdo fraction setmn asteriskmath

0x0220D∍ 0x0220E∎ 0x0220F∏ 0x02210∐ 0x02211∑ 0x02213∓ 0x02214∔ 0x02215∕ 0x02216∖ 0x02217∗ RING OPERATOR BULLET OPERATOR SQUARE ROOT CUBE ROOT FOURTH ROOT PROPORTIONAL TO INFINITY RIGHT ANGLE ANGLE MEASURED ANGLE compfn periodcentered radical uni221B uni221C proportional infinity orthogonal angle angmsd

0x02218∘ 0x02219∙ 0x0221A√ 0x0221B∛ 0x0221C∜ 0x0221D∝ 0x0221E∞ 0x0221F∟ 0x02220∠ 0x02221∡ SPHERICAL ANGLE DIVIDES DOES NOT DIVIDE PARALLEL TO NOT PARALLEL TO LOGICAL AND LOGICAL OR INTERSECTION UNION INTEGRAL angsph divides nmid parallel notparallel logicaland logicalor intersection union integral

0x02222∢ 0x02223∣ 0x02224∤ 0x02225∥ 0x02226∦ 0x02227∧ 0x02228∨ 0x02229∩ 0x0222A∪ 0x0222B∫ DOUBLE INTEGRAL TRIPLE INTEGRAL CONTOUR INTEGRAL SURFACE INTEGRAL VOLUME INTEGRAL CLOCKWISE INTEGRAL CLOCKWISE CONTOUR INTEGRALANTICLOCKWISE CONTOUR INTEGRAL THEREFORE BECAUSE dblintegral uni222D contourintegral uni222F uni2230 uni2231 uni2232 uni2233 therefore because

0x0222C∬ 0x0222D∭ 0x0222E∮ 0x0222F∯ 0x02230∰ 0x02231∱ 0x02232∲ 0x02233∳ 0x02234∴ 0x02235∵ RATIO PROPORTION DOT MINUS EXCESS GEOMETRIC PROPORTION HOMOTHETIC TILDE OPERATOR REVERSED TILDE INVERTED LAZY S SINE WAVE ratio proportion uni2238 uni2239 uni223A uni223B similar reversedtilde uni223E uni223F From the STIX fonts documentation.

0x02236∶ 0x02237∷ 0x02238∸ 0x02239∹ 0x0223A∺ 0x0223B∻ 0x0223C∼ 0x0223D∽ 0x0223E∾ 0x0223F∿ WREATH PRODUCT NOT TILDE MINUS TILDE ASYMPTOTICALLY EQUAL TONOT ASYMPTOTICALLY EQUAL TO APPROXIMATELY EQUALAPPROXIMATELY TO BUT NOT ACTUALLYNEITHER EQUALAPPROXIMATELY TO NOR ACTUALLY EQUALALMOST TO EQUAL TO NOT ALMOST EQUAL TO wreath nsim uni2242 asymptoticallyequal nsime congruent uni2246 ncong approxequal nap ......

0x02240≀ 0x02241≁ 0x02242≂ 0x02243≃ 0x02244≄ 0x02245≅ 0x02246≆ 0x02247≇ 0x02248≈ 0x02249≉ ALMOST EQUAL OR EQUAL TO TRIPLE TILDE ALL EQUAL TO EQUIVALENT TO GEOMETRICALLY EQUIVALENT TO DIFFERENCE BETWEEN APPROACHES THE LIMIT GEOMETRICALLY EQUALAPPROXIMATELY TO EQUAL TO OR THEIMAGE IMAGE OF OF OR APPROXIMATELY EQUAL TO ape uni224B allequal uni224D bump bumpe approaches geometricallyequal approxequalorimageimageorapproximatelyequal

0x0224A≊ 0x0224B≋ 0x0224C≌ 0x0224D≍ 0x0224E≎ 0x0224F≏ 0x02250≐ 0x02251≑ 0x02252≒ 0x02253≓ COLON EQUALS EQUALS COLON RING IN EQUAL TO RING EQUAL TO CORRESPONDS TO ESTIMATES EQUIANGULAR TO STAR EQUALS DELTA EQUAL TO EQUAL TO BY DEFINITION colone ecolon ecir cire uni2258 wedgeq uni225A uni225B trie uni225D

0x02254≔ 0x02255≕ 0x02256≖ 0x02257≗ 0x02258≘ 0x02259≙ 0x0225A≚ 0x0225B≛ 0x0225C≜ 0x0225D≝ MEASURED BY QUESTIONED EQUAL TO NOT EQUAL TO IDENTICAL TO NOT IDENTICAL TO STRICTLY EQUIVALENT TO LESS-THAN OR EQUAL TO GREATER-THAN OR EQUAL TO LESS-THAN OVER EQUAL TO GREATER-THAN OVER EQUAL TO uni225E uni225F notequal equivalence notidentical uni2263 lessequal greaterequal lessoverequal greateroverequal

0x0225E≞ 0x0225F≟ 0x02260≠ 0x02261≡ 0x02262≢ 0x02263≣ 0x02264≤ 0x02265≥ 0x02266≦ 0x02267≧ LESS-THAN BUT NOT EQUAL TOGREATER-THAN BUT NOT EQUAL TO MUCH LESS-THAN MUCH GREATER-THAN BETWEEN NOT EQUIVALENT TO NOT LESS-THAN NOT GREATER-THAN NEITHER LESS-THAN NOR EQUALNEITHER TO GREATER-THAN NOR EQUAL TO lvnE gvnE muchless muchgreater twixt uni226D notless notgreater notlessnorequal notgreaternorequal

0x02268≨ 0x02269≩ 0x0226A≪ 0x0226B≫ 0x0226C≬ 0x0226D≭ 0x0226E≮ 0x0226F≯ 0x02270≰ 0x02271≱ LESS-THAN OR EQUIVALENT TOGREATER-THAN OR EQUIVALENTNEITHER TO LESS-THAN NOR EQUIVALENTNEITHER GREATER-THAN TO NOR EQUIVALENTLESS-THAN TO OR GREATER-THANGREATER-THAN OR LESS-THANNEITHER LESS-THAN NOR GREATER-THANNEITHER GREATER-THAN NOR LESS-THAN PRECEDES SUCCEEDS lessorequivalent greaterorequivalent uni2274 uni2275 lessorgreater greaterorless uni2278 notgreaternorless precedes succeeds

0x02272≲ 0x02273≳ 0x02274≴ 0x02275≵ 0x02276≶ 0x02277≷ 0x02278≸ 0x02279≹ 0x0227A≺ 0x0227B≻ PRECEDES OR EQUAL TO SUCCEEDS OR EQUAL TO PRECEDES OR EQUIVALENT TO SUCCEEDS OR EQUIVALENT TO DOES NOT PRECEDE DOES NOT SUCCEED SUBSET OF SUPERSET OF NOT A SUBSET OF NOT A SUPERSET OF cupre sccue prsim scsim notprecedes notsucceeds propersubset propersuperset notsubset notsuperset

0x0227C≼ 0x0227D≽ 0x0227E≾ 0x0227F≿ 0x02280⊀ 0x02281⊁ 0x02282⊂ 0x02283⊃ 0x02284⊄ 0x02285⊅ SUBSET OF OR EQUAL TO SUPERSET OF OR EQUAL TONEITHER A SUBSET OF NOR EQUALNEITHER TO A SUPERSET OF NOR EQUALSUBSET TO OF WITH NOT EQUAL TOSUPERSET OF WITH NOT EQUAL TO MULTISET MULTISET MULTIPLICATION MULTISET UNION SQUARE IMAGE OF reflexsubset reflexsuperset nsube nsupe subsetnotequal supersetnotequal uni228C uni228D uplus sqsub

0x02286⊆ 0x02287⊇ 0x02288⊈ 0x02289⊉ 0x0228A⊊ 0x0228B⊋ 0x0228C⊌ 0x0228D⊍ 0x0228E⊎ 0x0228F⊏ SQUARE ORIGINAL OF SQUARE IMAGE OF OR EQUAL SQUARETO ORIGINAL OF OR EQUAL TO SQUARE CAP SQUARE CUP CIRCLED PLUS CIRCLED MINUS CIRCLED TIMES CIRCLED DIVISION SLASH CIRCLED DOT OPERATOR sqsup sqsube sqsupe sqcap sqcup circleplus minuscircle circlemultiply osol circleot

0x02290⊐ 0x02291⊑ 0x02292⊒ 0x02293⊓ 0x02294⊔ 0x02295⊕ 0x02296⊖ 0x02297⊗ 0x02298⊘ 0x02299⊙ OpenType mathematics

The unicode maths encoding saw the inception of the STIX fonts

— Which have now been released! (Good timing.) — We now had the means to typeset any known maths glyph — But maths needs more than glyphs for proper

...... Bogusław Jackowski

Figure 3: Assembling an accented formula, wy wx ; symbols are explained in the text ≤

Bogusław Jackowski.Figure “Appendix G illuminated”. 2: Assembling a radical; symbols explained In: TUGboat in the text 27.1 (2006), pp. 83–90

kern, δ, is inserted between the boxes, where δ = − min(x-height, hx ). The x-height is defined by the fifth dimen parameter (\fontdimen5. ) of. the accenter. . font.. . The horizontal shift of the accenter, s, is equal to the implicit kern between the accentee and the special character, skewchar (defined by the command \skewchar); in the plain format, it is the character of code 127 (tie after) for family 1, and the character of code 48 (prime) for family 2. The kern has nothing to do with the shape of the \skewchar, but is intended to provide an appropriate correction due to the skew- ness of the accentee. If the accentee is already a boxed formula, TEX assumes that s = 0. The width of the resulting formula is always equal

to the width of the accentee, wx ; the baseline of the resulting formula coincides with the baseline of the Figure 4: Assembling an accented formula, wy > wx ; accentee. symbols have the same meaning as in Figure 3

86 TUGboat, Volume 27 (2006), No. 1 — Proceedings of EuroTEX 2006 Microsoft Word 2007

Murray Sargeant and others:

— from the unicode maths encoding, — extended OpenType, — implemented a unicode maths typesetting engine for Microsoft Word (and now Office).

OpenType fonts can now contain the necessary information for typesetting maths.

...... The package

\usepackage{unicode-math}

— Requires a 32-bit unicode-aware TEX variant — Written for X LE ATEX — LuaLATEX support imminent

...... OpenType Maths Fonts

Cambria Math Microsoft

∞ 퐹(푠) = ℒ{푓(푡)} = e−푠푡푓(푡) d푡 0

\setmathfont{ Math}

...... OpenType Maths Fonts

Asana Math Apostolos Syropoulos

∞ 퐹(푠) = ℒ{푓(푡)} = ル e−푠푡푓(푡) d푡 ﷟

\setmathfont{Asana Math}

...... OpenType Maths Fonts

XITS Math Khaled Hosny

∞ 퐹(푠) = ℒ {푓(푡)} = e−푠푡푓(푡) d푡 0

\setmathfont{XITS Math}

...... OpenType Maths Fonts

STIX

∞ −푠푡 퐹(푠) = ℒ {푓(푡)} = ∫0 e 푓(푡) d푡

\setmathfont{STIXGeneral}

...... OpenType Maths Fonts

Neo Euler Khaled Hosny

F(s) = ℒ {f(t)} = ef(t) dt

\setmathfont[math-style=upright]{Neo Euler}

...... Symbols in the source

— Backwards compatibility is paramount — Existing maths document should work (modulo edge cases) — Inputing symbols and characters:

...... Symbols in the source

— Backwards compatibility is paramount — Existing maths document should work (modulo edge cases) — Inputing symbols and characters:

w unicode 푤 (U+1D464)

...... Symbols in the source

— Backwards compatibility is paramount — Existing maths document should work (modulo edge cases) — Inputing symbols and characters:

name \circledast char ⊛ (U+229B)

...... Symbols in the source

— Backwards compatibility is paramount — Existing maths document should work (modulo edge cases) — Inputing symbols and characters:

name \mbfx alphabet \mathbf{x} char 퐱

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathup •• • \mathit •• \mathbfup •• • \mathbfit ••

abcdefghijklmnopqrstuvwxyz

ABCDEFGHIJKLMNOPQRSTUVWXYZ αβγδεϵζηθϑικϰλμνξοπϖρϱςστυφϕχψω ΑΒΓΔΕΖΗΘϴΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ 0123456789

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathup •• • \mathit •• \mathbfup •• • \mathbfit ••

푎푏푐푑푒푓푔ℎ푖푗푘푙푚푛표푝푞푟푠푡푢푣푤푥푦푧

퐴퐵퐶퐷퐸퐹퐺퐻퐼퐽퐾퐿푀푁푂푃푄푅푆푇푈푉푊푋푌푍 훼훽훾훿휀휖휁휂휃휗휄휅휘휆휇휈휉휊휋휛휌휚휍휎휏휐휑휙휒휓휔 훢훣훤훥훦훧훨훩훳훪훫훬훭훮훯훰훱훲훴훵훶훷훸훹훺

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathup •• • \mathit •• \mathbfup •• • \mathbfit ••

퐚퐛퐜퐝퐞퐟퐠퐡퐢퐣퐤퐥퐦퐧퐨퐩퐪퐫퐬퐭퐮퐯퐰퐱퐲퐳

퐀퐁퐂퐃퐄퐅퐆퐇퐈퐉퐊퐋퐌퐍퐎퐏퐐퐑퐒퐓퐔퐕퐖퐗퐘퐙 훂훃후훅훆훜훇훈훉훝훊훋훞훌훍훎훏훐훑훡훒훠훓훔훕훖훗훟훘훙훚 효횩횪횫횬횭횮횯횹횰횱횲횳횴횵횶횷횸횺횻횼횽횾횿훀 ퟎퟏퟐퟑퟒퟓퟔퟕퟖퟗ

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathup •• • \mathit •• \mathbfup •• • \mathbfit ••

풂풃풄풅풆풇품풉풊풋풌풍풎풏풐풑풒풓풔풕풖풗풘풙풚풛

푨푩푪푫푬푭푮푯푰푱푲푳푴푵푶푷푸푹푺푻푼푽푾푿풀풁 휶휷휸휹휺흐휻휼휽흑휾휿흒흀흁흂흃흄흅흕흆흔흇흈흉흊흋흓흌흍흎 휜휝휞휟휠휡휢휣휭휤휥휦휧휨휩휪휫휬휮휯휰휱휲휳휴

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathsfup • • \mathsfit • \mathbfsfup •• • \mathbfsfit ••

햺햻햼햽햾햿헀헁헂헃헄헅헆헇허헉헊헋헌헍헎헏헐헑헒헓

햠햡햢햣햤향햦햧햨햩햪햫햬햭햮햯햰햱햲햳햴햵햶햷햸햹

ퟢퟣퟤퟥퟦퟧퟨퟩퟪퟫ

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathsfup • • \mathsfit • \mathbfsfup •• • \mathbfsfit ••

혢혣혤혥혦혧혨혩혪혫혬혭혮혯혰혱혲혳혴혵혶혷호혹혺혻

혈혉혊혋혌혍혎혏혐협혒혓혔형혖혗혘혙혚혛혜혝혞혟혠혡

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathsfup • • \mathsfit • \mathbfsfup •• • \mathbfsfit ••

헮헯헰헱헲헳헴헵헶헷헸헹헺헻헼헽헾헿혀혁혂혃현혅혆혇

헔헕헖헗험헙헚헛헜헝헞헟헠헡헢헣헤헥헦헧헨헩헪헫헬헭 흰흱흲흳흴힊흵흶흷힋흸흹힌흺흻흼흽흾흿힏힀힎힁힂힃힄힅힍힆힇히 흖흗흘흙흚흛흜흝흧흞흟흠흡흢흣흤흥흦흨흩흪흫희흭흮 ퟬퟭퟮퟯퟰퟱퟲퟳퟴퟵ

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathsfup • • \mathsfit • \mathbfsfup •• • \mathbfsfit ••

홖홗환홙홚홛활홝홞홟홠홡홢홣홤홥홦홧홨황홪홫홬홭홮홯

혼혽혾혿홀홁홂홃홄홅홆홇홈홉홊홋홌홍홎홏홐홑홒홓화확 힪힫힬힭힮ퟄ힯ힰힱퟅힲힳퟆힴힵힶힷힸힹ퟉ힺ퟈ힻힼힽힾힿ퟇ퟀퟁퟂ 힐힑힒힓힔힕힖힗힡힘힙힚힛힜힝힞힟힠힢힣힤힥힦힧힨

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathtt • • \mathbb • • \mathscr • \mathbfscr • \mathfrak • \mathbffrak •

횊횋회획횎횏횐횑횒횓횔횕횖횗횘횙횚횛횜횝횞횟횠횡횢횣

홰홱홲홳홴홵홶홷홸홹홺홻홼홽홾홿횀횁횂횃횄횅횆횇횈횉 ퟶퟷퟸퟹퟺퟻ퟼퟽퟾퟿

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathtt • • \mathbb • • \mathscr • \mathbfscr • \mathfrak • \mathbffrak •

핒핓핔핕핖핗하학핚핛한핝핞핟할핡핢핣핤핥핦핧함합핪핫

픸픹ℂ픻피픽픾ℍ핀핁핂핃필ℕ핆ℙℚℝ핊핋핌핍핎핏핐ℤ ퟘퟙퟚퟛퟜퟝퟞퟟퟠퟡ

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathtt • • \mathbb • • \mathscr • \mathbfscr • \mathfrak • \mathbffrak •

풶풷풸풹ℯ풻ℊ풽풾풿퓀퓁퓂퓃ℴ퓅퓆퓇퓈퓉퓊퓋퓌퓍퓎퓏

풜ℬ풞풟ℰℱ풢ℋℐ풥풦ℒℳ풩풪풫풬ℛ풮풯풰풱풲풳풴풵

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathtt • • \mathbb • • \mathscr • \mathbfscr • \mathfrak • \mathbffrak •

퓪퓫퓬퓭퓮퓯퓰퓱퓲퓳퓴퓵퓶퓷퓸퓹퓺퓻퓼퓽퓾퓿픀픁픂픃

퓐퓑퓒퓓퓔퓕퓖퓗퓘퓙퓚퓛퓜퓝퓞퓟퓠퓡퓢퓣퓤퓥퓦퓧퓨퓩

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathtt • • \mathbb • • \mathscr • \mathbfscr • \mathfrak • \mathbffrak •

픞픟픠픡픢픣픤픥픦픧픨픩픪픫픬픭픮픯픰픱픲픳픴픵픶픷

프픅ℭ픇픈픉픊ℌℑ픍픎픏픐픑픒픓픔ℜ픖픗픘픙픚픛픜ℨ

...... Fourteen alphabets

Alphabet switch Latin Greek Numerals \mathtt • • \mathbb • • \mathscr • \mathbfscr • \mathfrak • \mathbffrak •

햆햇했행햊햋햌햍햎햏햐햑햒햓햔햕햖햗햘햙햚햛햜햝햞햟

핬항핮핯핰핱핲핳해핵핶핷핸핹핺핻핼핽핾핿햀햁햂햃햄햅

...... Eight extra STIX alphabets

Alphabet switch Latin Greek Numerals \mathsfup • \mathsfit • • \mathbfsfit •

...... Eight extra STIX alphabets

Alphabet switch Latin Greek Numerals \mathsfup • \mathsfit • • \mathbfsfit • \mathbbit • \mathbfbb • • \mathbfbbit •

...... Eight extra STIX alphabets

Alphabet switch Latin Greek Numerals \mathsfup • \mathsfit • • \mathbfsfit • \mathbbit • \mathbfbb • • \mathbfbbit • \mathcal • • \mathbfcal •

...... Eight extra STIX alphabets

Alphabet switch Latin Greek Numerals \mathsfup • \mathsfit • • \mathbfsfit • \mathbbit • \mathbfbb • • \mathbfbbit • \mathcal • • \mathbfcal •





...... Styles of maths

Separation between content and form:

\[ a A \gamma \Gamma \]

TEX 푎 퐴 훾 Γ French 푎 A γ Γ

ISO 푎 퐴 훾 훤 Upright a A γ Γ

[math-style=TeX]

...... Styles of maths

Separation between content and form:

\[ a A \gamma \Gamma \]

TEX 푎 퐴 훾 Γ French 푎 A γ Γ

ISO 푎 퐴 훾 훤 Upright a A γ Γ

[math-style=ISO]

...... Styles of maths

Separation between content and form:

\[ a A \gamma \Gamma \]

TEX 푎 퐴 훾 Γ French 푎 A γ Γ

ISO 푎 퐴 훾 훤 Upright a A γ Γ

[math-style=french]

...... Styles of maths

Separation between content and form:

\[ a A \gamma \Gamma \]

TEX 푎 퐴 훾 Γ French 푎 A γ Γ

ISO 푎 퐴 훾 훤 Upright a A γ Γ

[math-style=upright]

...... Styles of bold maths

Separation between content and form:

\[ \mathbf {a A \gamma \Gamma } \]

TEX 푎 퐴 훾 Γ 퐚 퐀 휸 횪

ISO 푎 퐴 훾 훤 풂 푨 휸 휞

Upright a A γ Γ 퐚 퐀 후 횪

[bold-style=TeX]

...... Styles of bold maths

Separation between content and form:

\[ \mathbf {a A \gamma \Gamma } \]

TEX 푎 퐴 훾 Γ 퐚 퐀 휸 횪

ISO 푎 퐴 훾 훤 풂 푨 휸 휞

Upright a A γ Γ 퐚 퐀 후 횪

[bold-style=ISO]

...... Styles of bold maths

Separation between content and form:

\[ \mathbf {a A \gamma \Gamma } \]

TEX 푎 퐴 훾 Γ 퐚 퐀 휸 횪

ISO 푎 퐴 훾 훤 풂 푨 휸 휞

Upright a A γ Γ 퐚 퐀 후 횪

[bold-style=upright]

...... DEMO

...... Silly example

퐹(푠) = ℒ{푓(푡)} = e푓(푡) d푡

\setmathfont [ ... ]{Cambria Math}

...... Silly example

퐹(푠) = ℒ{푓(푡)} = e푓(푡) d푡

\setmathfont [ range={\equal }, Colour=009922 ]{Cambria Math}

...... Silly example

퐹(푠) = ℒ{푓(푡)} = e푓(푡) d푡

\setmathfont [ range={\mathop ,\mathscr }, Colour=red ]{Cambria Math}

...... Outline

What is unicode mathematics?

What fonts are available?

Using symbols and alphabets

How alphabets behave

Future

...... Who knows?

...... What next?

— Proper LuaLATEX support — LATEX’s ‘mathversion’ not supported: what is ‘\boldmath’? — Generalising the database for maths glyphs: Collaboration with ConTEXt

...... What else?

— Integration with breqn (‘beyond amsmath’) — ‘Semantic’ maths, analogous to Content MathML the cool package the sTeX package

......