Unicode mathematics in LaTeX: advantages and challenges

UnicodemathematicswithLATEX
WillRobertson
June28, 2010
.
.
.
.
.
.
UnicodemathematicswithLATEX
WillRobertson
SchoolofMechanicalEngineering
UniversityofAdelaide
Australia
June28, 2010
.
.
.
.
.
.
UnicodemathematicswithLATEX
WillRobertson
LATEX3Project
June28, 2010
.
.
.
.
.
.
Acknowledgements
— TheTEXUsersGroupfortheirverygeneroussupport
— BarbaraBeetonforherworkontheSTIX fonts
— JonathanKew, TacoHoekwaterforXETEX,LuaTEX
.
.
.
.
.
.
Outline
Whatisunicodemathematics?
Whatfontsareavailable?
Usingsymbolsandalphabets
Howalphabetsbehave
Future
.
.
.
.
.
.
Originsofunicodemaths
Adhocmathfontencodings:
— ComputerModernMath+AMS additions
— Euler
— LucidaMath
— MathTimePro
Andofcourseothernon-TEXfontssuchas‘Symbol’andthose
usedforMathematica.
.
.
.
.
.
.
Originsofunicodemaths
MathFontGroup, http://tug.org/twg/mfg/
— Aim: aseasytoswitchmathsfontsastextfonts
— Implementedbutnotadopted
— DesignedforTEX’sconstraints:
256glyphsin16mathsfonts
— ProjectstalledbecauseUnicodewasthefuture
Whichfuturewe’renowparticipatingin
.
.
.
.
.
.
THERE EXISTS
THERE DOES NOT EXIST
existential
∃
SMALL CONTAINS AS MEMBER
ELEMENT OF
NOT AN ELEMENT OF
gradient
element
notelement
0x02204
0x02205
0x02206
0x02207
0x02208
0x02209
∅
END OF PROOF
N-ARY PRODUCT
uni220E
product
0x0220D
0x0220E
0x0220F
RING OPERATOR
NABLA
Delta
bepsi
∍
INCREMENT
emptyset
∄
0x02203
EMPTY SET
nexist
∎
∏
BULLET OPERATOR
SQUARE ROOT
∆
N-ARY COPRODUCT
∇
N-ARY SUMMATION
∈
SMALL ELEMENT OF
∉
MINUS-OR-PLUS SIGN
CONTAINS AS MEM
epsis
∊
0x0220A
DOT PLUS
suchthat
∋
0x0220B
DIVISION SLASH
SET MINUS
samalg
summation
minusplus
plusdo
fraction
setmn
0x02210
0x02211
0x02213
0x02214
0x02215
0x02216
∐
CUBE ROOT
∑
FOURTH ROOT
∓
∔
PROPORTIONAL TO
INFINITY
∕
∖
RIGHT ANGLE
ANGLE
compfn
periodcentered
radical
uni221B
uni221C
proportional
infinity
orthogonal
angle
0x02218
0x02219
0x0221A
0x0221B
0x0221C
0x0221D
0x0221E
0x0221F
0x02220
∘
SPHERICAL ANGLE
∙
DIVIDES
angsph
divides
0x02222
0x02223
∢
DOUBLE INTEGRAL
∣
TRIPLE INTEGRAL
√
DOES NOT DIVIDE
∛
PARALLEL TO
∜
NOT PARALLEL TO
intersection
union
0x02224
0x02225
0x02226
0x02227
0x02228
0x02229
0x0222A
∤
∥
CONTOUR INTEGRAL
SURFACE INTEGRAL
∦
VOLUME INTEGRAL
0x0222C
0x0222D
0x0222E
0x0222F
0x02230
proportion
0x02236
0x02237
∶
WREATH PRODUCT
wreath
∷
NOT TILDE
nsim
UNION
logicalor
uni2230
ratio
∠
logicaland
uni222F
PROPORTION
∟
INTERSECTION
notparallel
contourintegral
∭
LOGICAL OR
parallel
uni222D
RATIO
∞
nmid
dblintegral
∬
∝
LOGICAL AND
∮
∯
DOT MINUS
EXCESS
uni2238
uni2239
0x02238
0x02239
∸
∹
∰
GEOMETRIC PROPORTION
∧
CLOCKWISE INTEGRAL
∱
0x0223B
therefore
0x02232
0x02233
0x02234
TILDE OPERATOR
∻
MINUS TILDE
∳
REVERSED TILDE
∴
INVERTED LAZY
similar
reversedtilde
uni223E
0x0223C
0x0223D
0x0223E
FromtheSTIX fontsdocumentation.
uni2242
THEREFORE
uni2233
HOMOTHETIC
0x0223A
∪
uni2232
∲
0x02231
uni223B
∩
CLOCKWISE CONTOUR INTEGRAL
ANTICLOCKWISE CONTOUR INTEGRAL
uni2231
uni223A
∺
∨
∼
∽
∾
ASYMPTOTICALLY EQUAL TO NOT ASYMPTOTICALLY EQUAL TO APPROXIMATELY EQUAL
APPROXIMATELY
TO
BUT NOT ACTUALLY
NEITHER EQUAL
APPROXIMATELY
TO
NOR ACTUALLY EQUAL
ALMOST
TO EQUAL T
asymptoticallyequal
nsime
congruent
.
uni2246
.
.
ncong
.
approxequal
.
.
OpenTypemathematics
TheunicodemathsencodingsawtheinceptionoftheSTIX fonts
— Whichhavenowbeenreleased! (Goodtiming.)
— Wenowhadthemeanstotypesetanyknownmathsglyph
— Butmathsneedsmorethanglyphsforpropertypesetting
.
.
.
.
.
.
Figu
sym
Figure“AppendixGilluminated”.
2: Assembling a radical; symbols explained
in the text
Bogusław Jackowski.
In: TUGboat
27.1 (2006), pp. 83–90
kern, −δ, is inserted between the boxes, where δ =
min(x-height, h x ). The x-height is defined by the fifth
dimen parameter (\fontdimen5) of the accenter font.
.
.
.
.
.
.
MicrosoftWord2007
MurraySargeantandothers:
— fromtheunicodemathsencoding,
— extendedOpenType,
— implementedaunicodemathstypesettingenginefor
MicrosoftWord(andnowOffice).
OpenTypefontscannowcontainthenecessaryinformationfor
typesettingmaths.
.
.
.
.
.
.
Thepackage
\usepackage{unicode-math}
— Requiresa32-bitunicode-awareTEXvariant
— WrittenforXELATEX
— LuaLATEXsupportimminent
.
.
.
.
.
.
OpenTypeMathsFonts
Cambria Math
Microsoft
∞
𝐹(𝑠) = ℒ{𝑓(𝑡)} =
e−𝑠𝑡 𝑓(𝑡) d𝑡
0
\setmathfont{Cambria Math}
.
.
.
.
.
.
OpenTypeMathsFonts
Asana Math
Apostolos Syropoulos
∞
𝐹(𝑠) = ℒ{𝑓(𝑡)} = 􏾙 e−𝑠𝑡𝑓(𝑡) d𝑡
􏷟
\setmathfont{Asana Math}
.
.
.
.
.
.
OpenTypeMathsFonts
XITS Math
Khaled Hosny
∞
e−𝑠𝑡𝑓(𝑡) d𝑡
𝐹(𝑠) = ℒ {𝑓(𝑡)} =
0
\setmathfont{XITS Math}
.
.
.
.
.
.
OpenTypeMathsFonts
STIX
∞
𝐹(𝑠) = ℒ {𝑓(𝑡)} = ∫0 e−𝑠𝑡𝑓(𝑡) d𝑡
\setmathfont{STIXGeneral}
.
.
.
.
.
.
OpenTypeMathsFonts
Neo Euler
Khaled Hosny
F(s) = ℒ {f(t)} =
e
f(t) dt
\setmathfont[math-style=upright]{Neo Euler}
.
.
.
.
.
.
Symbolsinthesource
— Backwardscompatibilityisparamount
— Existingmathsdocument should work
(moduloedgecases)
— Inputingsymbolsandcharacters:
.
.
.
.
.
.
Symbolsinthesource
— Backwardscompatibilityisparamount
— Existingmathsdocument should work
(moduloedgecases)
— Inputingsymbolsandcharacters:
ascii
unicode
w
𝑤
(U+1D464)
.
.
.
.
.
.
Symbolsinthesource
— Backwardscompatibilityisparamount
— Existingmathsdocument should work
(moduloedgecases)
— Inputingsymbolsandcharacters:
name \circledast
char
⊛
(U+229B)
.
.
.
.
.
.
Symbolsinthesource
— Backwardscompatibilityisparamount
— Existingmathsdocument should work
(moduloedgecases)
— Inputingsymbolsandcharacters:
name
\mbfx
alphabet \mathbf{x}
char
𝐱
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathup
\mathit
\mathbfup
\mathbfit
Latin
•
•
•
•
Greek
•
•
•
•
Numerals
•
•
abcdefghijklmnopqrstuvwxyz
ABCDEFGHIJKLMNOPQRSTUVWXYZ
αβγδεϵζηθϑικϰλμνξοπϖρϱςστυφϕχψω
ΑΒΓΔΕΖΗΘϴΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ
0123456789
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathup
\mathit
\mathbfup
\mathbfit
Latin
•
•
•
•
Greek
•
•
•
•
Numerals
•
•
𝑎𝑏𝑐𝑑𝑒𝑓𝑔ℎ𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
𝐴𝐵𝐶𝐷𝐸𝐹𝐺𝐻𝐼𝐽𝐾𝐿𝑀𝑁𝑂𝑃𝑄𝑅𝑆𝑇𝑈𝑉𝑊𝑋𝑌𝑍
𝛼𝛽𝛾𝛿𝜀𝜖𝜁𝜂𝜃𝜗𝜄𝜅𝜘𝜆𝜇𝜈𝜉𝜊𝜋𝜛𝜌𝜚𝜍𝜎𝜏𝜐𝜑𝜙𝜒𝜓𝜔
𝛢𝛣𝛤𝛥𝛦𝛧𝛨𝛩𝛳𝛪𝛫𝛬𝛭𝛮𝛯𝛰𝛱𝛲𝛴𝛵𝛶𝛷𝛸𝛹𝛺
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathup
\mathit
\mathbfup
\mathbfit
Latin
•
•
•
•
Greek
•
•
•
•
Numerals
•
•
𝐚𝐛𝐜𝐝𝐞𝐟𝐠𝐡𝐢𝐣𝐤𝐥𝐦𝐧𝐨𝐩𝐪𝐫𝐬𝐭𝐮𝐯𝐰𝐱𝐲𝐳
𝐀𝐁𝐂𝐃𝐄𝐅𝐆𝐇𝐈𝐉𝐊𝐋𝐌𝐍𝐎𝐏𝐐𝐑𝐒𝐓𝐔𝐕𝐖𝐗𝐘𝐙
𝛂𝛃𝛄𝛅𝛆𝛜𝛇𝛈𝛉𝛝𝛊𝛋𝛞𝛌𝛍𝛎𝛏𝛐𝛑𝛡𝛒𝛠𝛓𝛔𝛕𝛖𝛗𝛟𝛘𝛙𝛚
𝚨𝚩𝚪𝚫𝚬𝚭𝚮𝚯𝚹𝚰𝚱𝚲𝚳𝚴𝚵𝚶𝚷𝚸𝚺𝚻𝚼𝚽𝚾𝚿𝛀
𝟎𝟏𝟐𝟑𝟒𝟓𝟔𝟕𝟖𝟗
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathup
\mathit
\mathbfup
\mathbfit
Latin
•
•
•
•
Greek
•
•
•
•
Numerals
•
•
𝒂𝒃𝒄𝒅𝒆𝒇𝒈𝒉𝒊𝒋𝒌𝒍𝒎𝒏𝒐𝒑𝒒𝒓𝒔𝒕𝒖𝒗𝒘𝒙𝒚𝒛
𝑨𝑩𝑪𝑫𝑬𝑭𝑮𝑯𝑰𝑱𝑲𝑳𝑴𝑵𝑶𝑷𝑸𝑹𝑺𝑻𝑼𝑽𝑾𝑿𝒀𝒁
𝜶𝜷𝜸𝜹𝜺𝝐𝜻𝜼𝜽𝝑𝜾𝜿𝝒𝝀𝝁𝝂𝝃𝝄𝝅𝝕𝝆𝝔𝝇𝝈𝝉𝝊𝝋𝝓𝝌𝝍𝝎
𝜜𝜝𝜞𝜟𝜠𝜡𝜢𝜣𝜭𝜤𝜥𝜦𝜧𝜨𝜩𝜪𝜫𝜬𝜮𝜯𝜰𝜱𝜲𝜳𝜴
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfup
\mathbfsfit
Latin
•
•
•
•
Greek
Numerals
•
•
•
•
𝖺𝖻𝖼𝖽𝖾𝖿𝗀𝗁𝗂𝗃𝗄𝗅𝗆𝗇𝗈𝗉𝗊𝗋𝗌𝗍𝗎𝗏𝗐𝗑𝗒𝗓
𝖠𝖡𝖢𝖣𝖤𝖥𝖦𝖧𝖨𝖩𝖪𝖫𝖬𝖭𝖮𝖯𝖰𝖱𝖲𝖳𝖴𝖵𝖶𝖷𝖸𝖹
𝟢𝟣𝟤𝟥𝟦𝟧𝟨𝟩𝟪𝟫
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfup
\mathbfsfit
Latin
•
•
•
•
Greek
Numerals
•
•
•
•
𝘢𝘣𝘤𝘥𝘦𝘧𝘨𝘩𝘪𝘫𝘬𝘭𝘮𝘯𝘰𝘱𝘲𝘳𝘴𝘵𝘶𝘷𝘸𝘹𝘺𝘻
𝘈𝘉𝘊𝘋𝘌𝘍𝘎𝘏𝘐𝘑𝘒𝘓𝘔𝘕𝘖𝘗𝘘𝘙𝘚𝘛𝘜𝘝𝘞𝘟𝘠𝘡
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfup
\mathbfsfit
Latin
•
•
•
•
Greek
Numerals
•
•
•
•
𝗮𝗯𝗰𝗱𝗲𝗳𝗴𝗵𝗶𝗷𝗸𝗹𝗺𝗻𝗼𝗽𝗾𝗿𝘀𝘁𝘂𝘃𝘄𝘅𝘆𝘇
𝗔𝗕𝗖𝗗𝗘𝗙𝗚𝗛𝗜𝗝𝗞𝗟𝗠𝗡𝗢𝗣𝗤𝗥𝗦𝗧𝗨𝗩𝗪𝗫𝗬𝗭
𝝰𝝱𝝲𝝳𝝴𝞊𝝵𝝶𝝷𝞋𝝸𝝹𝞌𝝺𝝻𝝼𝝽𝝾𝝿𝞏𝞀𝞎𝞁𝞂𝞃𝞄𝞅𝞍𝞆𝞇𝞈
𝝖𝝗𝝘𝝙𝝚𝝛𝝜𝝝𝝧𝝞𝝟𝝠𝝡𝝢𝝣𝝤𝝥𝝦𝝨𝝩𝝪𝝫𝝬𝝭𝝮
𝟬𝟭𝟮𝟯𝟰𝟱𝟲𝟳𝟴𝟵
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfup
\mathbfsfit
Latin
•
•
•
•
Greek
Numerals
•
•
•
•
𝙖𝙗𝙘𝙙𝙚𝙛𝙜𝙝𝙞𝙟𝙠𝙡𝙢𝙣𝙤𝙥𝙦𝙧𝙨𝙩𝙪𝙫𝙬𝙭𝙮𝙯
𝘼𝘽𝘾𝘿𝙀𝙁𝙂𝙃𝙄𝙅𝙆𝙇𝙈𝙉𝙊𝙋𝙌𝙍𝙎𝙏𝙐𝙑𝙒𝙓𝙔𝙕
𝞪𝞫𝞬𝞭𝞮𝟄𝞯𝞰𝞱𝟅𝞲𝞳𝟆𝞴𝞵𝞶𝞷𝞸𝞹𝟉𝞺𝟈𝞻𝞼𝞽𝞾𝞿𝟇𝟀𝟁𝟂
𝞐𝞑𝞒𝞓𝞔𝞕𝞖𝞗𝞡𝞘𝞙𝞚𝞛𝞜𝞝𝞞𝞟𝞠𝞢𝞣𝞤𝞥𝞦𝞧𝞨
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathtt
\mathbb
\mathscr
\mathbfscr
\mathfrak
\mathbffrak
Latin
•
•
•
•
•
•
Greek
Numerals
•
•
𝚊𝚋𝚌𝚍𝚎𝚏𝚐𝚑𝚒𝚓𝚔𝚕𝚖𝚗𝚘𝚙𝚚𝚛𝚜𝚝𝚞𝚟𝚠𝚡𝚢𝚣
𝙰𝙱𝙲𝙳𝙴𝙵𝙶𝙷𝙸𝙹𝙺𝙻𝙼𝙽𝙾𝙿𝚀𝚁𝚂𝚃𝚄𝚅𝚆𝚇𝚈𝚉
𝟶𝟷𝟸𝟹𝟺𝟻𝟼𝟽𝟾𝟿
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathtt
\mathbb
\mathscr
\mathbfscr
\mathfrak
\mathbffrak
Latin
•
•
•
•
•
•
Greek
Numerals
•
•
𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛𝕜𝕝𝕞𝕟𝕠𝕡𝕢𝕣𝕤𝕥𝕦𝕧𝕨𝕩𝕪𝕫
𝔸𝔹ℂ𝔻𝔼𝔽𝔾ℍ𝕀𝕁𝕂𝕃𝕄ℕ𝕆ℙℚℝ𝕊𝕋𝕌𝕍𝕎𝕏𝕐ℤ
𝟘𝟙𝟚𝟛𝟜𝟝𝟞𝟟𝟠𝟡
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathtt
\mathbb
\mathscr
\mathbfscr
\mathfrak
\mathbffrak
Latin
•
•
•
•
•
•
Greek
Numerals
•
•
𝒶𝒷𝒸𝒹ℯ𝒻ℊ𝒽𝒾𝒿𝓀𝓁𝓂𝓃ℴ𝓅𝓆𝓇𝓈𝓉𝓊𝓋𝓌𝓍𝓎𝓏
𝒜ℬ𝒞𝒟ℰℱ𝒢ℋℐ𝒥𝒦ℒℳ𝒩𝒪𝒫𝒬ℛ𝒮𝒯𝒰𝒱𝒲𝒳𝒴𝒵
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathtt
\mathbb
\mathscr
\mathbfscr
\mathfrak
\mathbffrak
Latin
•
•
•
•
•
•
Greek
Numerals
•
•
𝓪𝓫𝓬𝓭𝓮𝓯𝓰𝓱𝓲𝓳𝓴𝓵𝓶𝓷𝓸𝓹𝓺𝓻𝓼𝓽𝓾𝓿𝔀𝔁𝔂𝔃
𝓐𝓑𝓒𝓓𝓔𝓕𝓖𝓗𝓘𝓙𝓚𝓛𝓜𝓝𝓞𝓟𝓠𝓡𝓢𝓣𝓤𝓥𝓦𝓧𝓨𝓩
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathtt
\mathbb
\mathscr
\mathbfscr
\mathfrak
\mathbffrak
Latin
•
•
•
•
•
•
Greek
Numerals
•
•
𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷
𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌℑ𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔ℜ𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ
.
.
.
.
.
.
Fourteenalphabets
Alphabetswitch
\mathtt
\mathbb
\mathscr
\mathbfscr
\mathfrak
\mathbffrak
Latin
•
•
•
•
•
•
Greek
Numerals
•
•
𝖆𝖇𝖈𝖉𝖊𝖋𝖌𝖍𝖎𝖏𝖐𝖑𝖒𝖓𝖔𝖕𝖖𝖗𝖘𝖙𝖚𝖛𝖜𝖝𝖞𝖟
𝕬𝕭𝕮𝕯𝕰𝕱𝕲𝕳𝕴𝕵𝕶𝕷𝕸𝕹𝕺𝕻𝕼𝕽𝕾𝕿𝖀𝖁𝖂𝖃𝖄𝖅
.
.
.
.
.
.
EightextraSTIX alphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfit
Latin
Greek
•
•
Numerals
•
•
.
.
.
.
.
.
EightextraSTIX alphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfit
\mathbbit
\mathbfbb
\mathbfbbit
Latin
Greek
•
•
Numerals
•
•
•
•
•
•
.
.
.
.
.
.
EightextraSTIX alphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfit
\mathbbit
\mathbfbb
\mathbfbbit
\mathcal
\mathbfcal
Latin
Greek
•
•
Numerals
•
•
•
•
•
•
•
•
•
.
.
.
.
.
.
EightextraSTIX alphabets
Alphabetswitch
\mathsfup
\mathsfit
\mathbfsfit
\mathbbit
\mathbfbb
\mathbfbbit
\mathcal
\mathbfcal
Latin
Greek
•
•
Numerals
•
•
•
•
•
•
•
•
•


.
.
.
.
.
.
Stylesofmaths
Separationbetweencontentandform:
\[ a A \gamma \Gamma \]
TEX
𝑎𝐴𝛾Γ
French
𝑎AγΓ
ISO
𝑎𝐴𝛾𝛤
Upright
aAγΓ
[math-style=TeX]
.
.
.
.
.
.
Stylesofmaths
Separationbetweencontentandform:
\[ a A \gamma \Gamma \]
TEX
𝑎𝐴𝛾Γ
French
𝑎AγΓ
ISO
𝑎𝐴𝛾𝛤
Upright
aAγΓ
[math-style=ISO]
.
.
.
.
.
.
Stylesofmaths
Separationbetweencontentandform:
\[ a A \gamma \Gamma \]
TEX
𝑎𝐴𝛾Γ
French
𝑎AγΓ
ISO
𝑎𝐴𝛾𝛤
Upright
aAγΓ
[math-style=french]
.
.
.
.
.
.
Stylesofmaths
Separationbetweencontentandform:
\[ a A \gamma \Gamma \]
TEX
𝑎𝐴𝛾Γ
French
𝑎AγΓ
ISO
𝑎𝐴𝛾𝛤
Upright
aAγΓ
[math-style=upright]
.
.
.
.
.
.
Stylesofboldmaths
Separationbetweencontentandform:
\[ \mathbf {a A \gamma \Gamma } \]
TEX
ISO
Upright
𝑎 𝐴 𝛾 Γ
𝑎 𝐴 𝛾 𝛤
a A γ Γ
𝐚 𝐀 𝜸 𝚪
𝒂 𝑨 𝜸 𝜞
𝐚 𝐀 𝛄 𝚪
[bold-style=TeX]
.
.
.
.
.
.
Stylesofboldmaths
Separationbetweencontentandform:
\[ \mathbf {a A \gamma \Gamma } \]
TEX
ISO
Upright
𝑎 𝐴 𝛾 Γ
𝑎 𝐴 𝛾 𝛤
a A γ Γ
𝐚 𝐀 𝜸 𝚪
𝒂 𝑨 𝜸 𝜞
𝐚 𝐀 𝛄 𝚪
[bold-style=ISO]
.
.
.
.
.
.
Stylesofboldmaths
Separationbetweencontentandform:
\[ \mathbf {a A \gamma \Gamma } \]
TEX
ISO
Upright
𝑎 𝐴 𝛾 Γ
𝑎 𝐴 𝛾 𝛤
a A γ Γ
𝐚 𝐀 𝜸 𝚪
𝒂 𝑨 𝜸 𝜞
𝐚 𝐀 𝛄 𝚪
[bold-style=upright]
.
.
.
.
.
.
DEMO
.
.
.
.
.
.
Sillyexample
𝐹(𝑠) = ℒ{𝑓(𝑡)} =
e
𝑓(𝑡) d𝑡
\setmathfont [
...
]{Cambria Math}
.
.
.
.
.
.
Sillyexample
𝐹(𝑠) = ℒ{𝑓(𝑡)} =
e
𝑓(𝑡) d𝑡
\setmathfont [
range={\equal }, Colour=009922
]{Cambria Math}
.
.
.
.
.
.
Sillyexample
𝐹(𝑠) = ℒ{𝑓(𝑡)} =
e
𝑓(𝑡) d𝑡
\setmathfont [
range={\mathop ,\mathscr }, Colour=red
]{Cambria Math}
.
.
.
.
.
.
Outline
Whatisunicodemathematics?
Whatfontsareavailable?
Usingsymbolsandalphabets
Howalphabetsbehave
Future
.
.
.
.
.
.
Who
knows?
.
.
.
.
.
.
Whatnext?
— ProperLuaLATEXsupport
— LATEX’s‘mathversion’notsupported: whatis‘\boldmath’?
— Generalisingthedatabaseformathsglyphs:
CollaborationwithConTEXt
.
.
.
.
.
.
Whatelse?
— Integrationwith breqn
(‘beyond amsmath’)
— ‘Semantic’maths, analogoustoContentMathML
the cool package
the sTeX package
.
.
.
.
.
.
.
.
.
.
.
.