add 1607 new LaTeX tab completions from the unicode-math package

[stevengj]

The unicode-math package gives a table of relatively standard (or at least common) LaTeX names for many more symbols. I only included those that are currently valid in Julia identifiers or operators, but we can re-run the script if we expand the list of allowed identifiers.

See also the discussion in #8036. Closes #7657.

[stevengj]

I am tempted to remove some of the "m" prefixes, e.g. \mbfA for 𝐀 could just be \bfA, since there is no question that we are in "math" mode. But there is a certain appeal to using the unicode-math names as-is.

[StefanKarpinski]

I'd be cool with that, but I'm also not entirely sure what \bfA is, which makes me a little dubious about this change. But I guess supporting more standard (by some definition) LaTeX escapes is good.

[stevengj]

\mbfA is short for "math-bold-font A"

[stevengj]

By the way, here are the ~300 unicode-math symbols that are not currently valid Julia identifiers or operators. Some of them (not counting brackets) should probably be allowed (cc @jiahao):

U+00023 = # = \mathoctothorpe = number sign
U+00028 = ( = \lparen = left parenthesis
U+00029 = ) = \rparen = right parenthesis
U+0002C = , = \mathcomma = comma
U+0003B = ; = \mathsemicolon = semicolon p:
U+00040 = @ = \mathatsign = commercial at
U+0005B = [ = \lbrack = left square bracket
U+0005D = ] = \rbrack = right square bracket
U+0007B = { = \lbrace = left curly bracket
U+0007D = } = \rbrace = right curly bracket
U+000B7 = · = \cdotp = /centerdot b: middle dot
U+003F6 = ϶ = \upbackepsilon = greek reversed lunate epsilon symbol
U+02015 = ― = \horizbar = horizontal bar
U+02016 = ‖ = \Vert = double vertical bar
U+02017 = ‗ = \twolowline = double low line (spacing)
U+02020 = † = \dagger = dagger relation
U+02021 = ‡ = \ddagger = double dagger relation
U+02022 = • = \smblkcircle = /bullet b: round bullet, filled
U+02025 = ‥ = \enleadertwodots = double baseline dot (en leader)
U+02026 = … = \unicodeellipsis = ellipsis (horizontal)
U+02038 = ‸ = \caretinsert = caret (insertion mark)
U+0203C = ‼ = \Exclam = double exclamation mark
U+02043 = ⁃ = \hyphenbullet = rectangle, filled (hyphen bullet)
U+02044 = ⁄ = \fracslash = fraction slash
U+02047 = ⁇ = \Question = double question mark
U+02050 = ⁐ = \closure = close up
U+02200 = ∀ = \forall = for all
U+02201 = ∁ = \complement = complement sign
U+02203 = ∃ = \exists = at least one exists
U+02204 = ∄ = \nexists = negated exists
U+02212 = − = \minus = minus sign
U+02215 = ∕ = \divslash = division slash
U+02216 = ∖ = \smallsetminus = small set minus (cf. reverse solidus)
U+02223 = ∣ = \mid = /mid r:
U+02234 = ∴ = \therefore = therefore
U+02235 = ∵ = \because = because
U+02236 = ∶ = \mathratio = ratio
U+02239 = ∹ = \dashcolon = excess (-:)
U+0223C = ∼ = \sim = similar
U+0228C = ⊌ = \cupleftarrow = multiset
U+0229D = ⊝ = \circleddash = hyphen in circle
U+022A6 = ⊦ = \assert = assertion (vertical, short dash)
U+022A7 = ⊧ = \models = models (vertical, short double dash)
U+022A8 = ⊨ = \vDash = vertical, double dash
U+022AA = ⊪ = \Vvdash = triple vertical, dash
U+022AB = ⊫ = \VDash = double vert, double dash
U+022AD = ⊭ = \nvDash = not vertical, double dash
U+022AF = ⊯ = \nVDash = not double vert, double dash
U+022B8 = ⊸ = \multimap = /multimap a:
U+022B9 = ⊹ = \hermitmatrix = hermitian conjugate matrix
U+022BA = ⊺ = \intercal = intercal
U+022C8 = ⋈ = \bowtie = bowtie
U+022D4 = ⋔ = \pitchfork = pitchfork
U+02308 = ⌈ = \lceil = left ceiling
U+02309 = ⌉ = \rceil = right ceiling
U+0230A = ⌊ = \lfloor = left floor
U+0230B = ⌋ = \rfloor = right floor
U+02320 = ⌠ = \inttop = top half integral
U+02321 = ⌡ = \intbottom = bottom half integral
U+0237C = ⍼ = \rangledownzigzagarrow = right angle with downwards zigzag arrow
U+0239B = ⎛ = \lparenuend = left parenthesis upper hook
U+0239C = ⎜ = \lparenextender = left parenthesis extension
U+0239D = ⎝ = \lparenlend = left parenthesis lower hook
U+0239E = ⎞ = \rparenuend = right parenthesis upper hook
U+0239F = ⎟ = \rparenextender = right parenthesis extension
U+023A0 = ⎠ = \rparenlend = right parenthesis lower hook
U+023A1 = ⎡ = \lbrackuend = left square bracket upper corner
U+023A2 = ⎢ = \lbrackextender = left square bracket extension
U+023A3 = ⎣ = \lbracklend = left square bracket lower corner
U+023A4 = ⎤ = \rbrackuend = right square bracket upper corner
U+023A5 = ⎥ = \rbrackextender = right square bracket extension
U+023A6 = ⎦ = \rbracklend = right square bracket lower corner
U+023A7 = ⎧ = \lbraceuend = left curly bracket upper hook
U+023A8 = ⎨ = \lbracemid = left curly bracket middle piece
U+023A9 = ⎩ = \lbracelend = left curly bracket lower hook
U+023AA = ⎪ = \vbraceextender = curly bracket extension
U+023AB = ⎫ = \rbraceuend = right curly bracket upper hook
U+023AC = ⎬ = \rbracemid = right curly bracket middle piece
U+023AD = ⎭ = \rbracelend = right curly bracket lower hook
U+023AE = ⎮ = \intextender = integral extension
U+023AF = ⎯ = \harrowextender = horizontal line extension (used to extend arrows)
U+023B0 = ⎰ = \lmoustache = upper left or lower right curly bracket section
U+023B1 = ⎱ = \rmoustache = upper right or lower left curly bracket section
U+023B2 = ⎲ = \sumtop = summation top
U+023B3 = ⎳ = \sumbottom = summation bottom
U+023DC = ⏜ = \overparen = top parenthesis (mathematical use)
U+023DD = ⏝ = \underparen = bottom parenthesis (mathematical use)
U+023DE = ⏞ = \overbrace = top curly bracket (mathematical use)
U+023DF = ⏟ = \underbrace = bottom curly bracket (mathematical use)
U+023E0 = ⏠ = \obrbrak = top tortoise shell bracket (mathematical use)
U+023E1 = ⏡ = \ubrbrak = bottom tortoise shell bracket (mathematical use)
U+025B7 = ▷ = \triangleright = (large) right triangle, open; z notation range restriction
U+025C1 = ◁ = \triangleleft = (large) left triangle, open; z notation domain restriction
U+02772 = ❲ = \lbrbrak = light left tortoise shell bracket ornament
U+02773 = ❳ = \rbrbrak = light right tortoise shell bracket ornament
U+027C3 = ⟃ = \subsetcirc = open subset
U+027C4 = ⟄ = \supsetcirc = open superset
U+027C5 = ⟅ = \lbag = left s-shaped bag delimiter
U+027C6 = ⟆ = \rbag = right s-shaped bag delimiter
U+027C7 = ⟇ = \veedot = or with dot inside
U+027CC = ⟌ = \longdivision = long division
U+027D0 = ⟐ = \diamondcdot = white diamond with centred dot
U+027D3 = ⟓ = \pullback = lower right corner with dot
U+027D4 = ⟔ = \pushout = upper left corner with dot
U+027D5 = ⟕ = \leftouterjoin = left outer join
U+027D6 = ⟖ = \rightouterjoin = right outer join
U+027D7 = ⟗ = \fullouterjoin = full outer join
U+027DA = ⟚ = \DashVDash = left and right double turnstile
U+027DB = ⟛ = \dashVdash = left and right tack
U+027DC = ⟜ = \multimapinv = left multimap
U+027DD = ⟝ = \vlongdash = long left tack
U+027DE = ⟞ = \longdashv = long right tack
U+027DF = ⟟ = \cirbot = up tack with circle above
U+027E0 = ⟠ = \lozengeminus = lozenge divided by horizontal rule
U+027E1 = ⟡ = \concavediamond = white concave-sided diamond
U+027E2 = ⟢ = \concavediamondtickleft = white concave-sided diamond with leftwards tick
U+027E3 = ⟣ = \concavediamondtickright = white concave-sided diamond with rightwards tick
U+027E4 = ⟤ = \whitesquaretickleft = white square with leftwards tick
U+027E5 = ⟥ = \whitesquaretickright = white square with rightwards tick
U+027E6 = ⟦ = \lBrack = mathematical left white square bracket
U+027E7 = ⟧ = \rBrack = mathematical right white square bracket
U+027E8 = ⟨ = \langle = mathematical left angle bracket
U+027E9 = ⟩ = \rangle = mathematical right angle bracket
U+027EA = ⟪ = \lAngle = mathematical left double angle bracket
U+027EB = ⟫ = \rAngle = mathematical right double angle bracket
U+027EC = ⟬ = \Lbrbrak = mathematical left white tortoise shell bracket
U+027ED = ⟭ = \Rbrbrak = mathematical right white tortoise shell bracket
U+027EE = ⟮ = \lgroup = mathematical left flattened parenthesis
U+027EF = ⟯ = \rgroup = mathematical right flattened parenthesis
U+027F2 = ⟲ = \acwgapcirclearrow = anticlockwise gapped circle arrow
U+027F3 = ⟳ = \cwgapcirclearrow = clockwise gapped circle arrow
U+027F4 = ⟴ = \rightarrowonoplus = right arrow with circled plus
U+027F8 = ⟸ = \Longleftarrow = long leftwards double arrow
U+02919 = ⤙ = \lefttail = leftwards arrow-tail
U+0291A = ⤚ = \righttail = rightwards arrow-tail
U+0291B = ⤛ = \leftdbltail = leftwards double arrow-tail
U+0291C = ⤜ = \rightdbltail = rightwards double arrow-tail
U+02921 = ⤡ = \nwsearrow = north west and south east arrow
U+02922 = ⤢ = \neswarrow = north east and south west arrow
U+02923 = ⤣ = \hknwarrow = north west arrow with hook
U+02924 = ⤤ = \hknearrow = north east arrow with hook
U+02925 = ⤥ = \hksearow = south east arrow with hook
U+02926 = ⤦ = \hkswarow = south west arrow with hook
U+02927 = ⤧ = \tona = north west arrow and north east arrow
U+02928 = ⤨ = \toea = north east arrow and south east arrow
U+02929 = ⤩ = \tosa = south east arrow and south west arrow
U+0292A = ⤪ = \towa = south west arrow and north west arrow
U+0292B = ⤫ = \rdiagovfdiag = rising diagonal crossing falling diagonal
U+0292C = ⤬ = \fdiagovrdiag = falling diagonal crossing rising diagonal
U+0292D = ⤭ = \seovnearrow = south east arrow crossing north east arrow
U+0292E = ⤮ = \neovsearrow = north east arrow crossing south east arrow
U+0292F = ⤯ = \fdiagovnearrow = falling diagonal crossing north east arrow
U+02930 = ⤰ = \rdiagovsearrow = rising diagonal crossing south east arrow
U+02931 = ⤱ = \neovnwarrow = north east arrow crossing north west arrow
U+02932 = ⤲ = \nwovnearrow = north west arrow crossing north east arrow
U+02933 = ⤳ = \rightcurvedarrow = wave arrow pointing directly right
U+02934 = ⤴ = \uprightcurvearrow = arrow pointing rightwards then curving upwards
U+02935 = ⤵ = \downrightcurvedarrow = arrow pointing rightwards then curving downwards
U+02936 = ⤶ = \leftdowncurvedarrow = arrow pointing downwards then curving leftwards
U+02937 = ⤷ = \rightdowncurvedarrow = arrow pointing downwards then curving rightwards
U+02938 = ⤸ = \cwrightarcarrow = right-side arc clockwise arrow
U+02939 = ⤹ = \acwleftarcarrow = left-side arc anticlockwise arrow
U+0293A = ⤺ = \acwoverarcarrow = top arc anticlockwise arrow
U+0293B = ⤻ = \acwunderarcarrow = bottom arc anticlockwise arrow
U+0293C = ⤼ = \curvearrowrightminus = top arc clockwise arrow with minus
U+0293D = ⤽ = \curvearrowleftplus = top arc anticlockwise arrow with plus
U+0293E = ⤾ = \cwundercurvearrow = lower right semicircular clockwise arrow
U+0293F = ⤿ = \ccwundercurvearrow = lower left semicircular anticlockwise arrow
U+02940 = ⥀ = \acwcirclearrow = anticlockwise closed circle arrow
U+02941 = ⥁ = \cwcirclearrow = clockwise closed circle arrow
U+02942 = ⥂ = \rightarrowshortleftarrow = rightwards arrow above short leftwards arrow
U+02943 = ⥃ = \leftarrowshortrightarrow = leftwards arrow above short rightwards arrow
U+02971 = ⥱ = \equalrightarrow = equals sign above rightwards arrow
U+02972 = ⥲ = \similarrightarrow = tilde operator above rightwards arrow
U+02973 = ⥳ = \leftarrowsimilar = leftwards arrow above tilde operator
U+02974 = ⥴ = \rightarrowsimilar = rightwards arrow above tilde operator
U+02975 = ⥵ = \rightarrowapprox = rightwards arrow above almost equal to
U+02976 = ⥶ = \ltlarr = less-than above leftwards arrow
U+02977 = ⥷ = \leftarrowless = leftwards arrow through less-than
U+02978 = ⥸ = \gtrarr = greater-than above rightwards arrow
U+02979 = ⥹ = \subrarr = subset above rightwards arrow
U+0297A = ⥺ = \leftarrowsubset = leftwards arrow through subset
U+0297B = ⥻ = \suplarr = superset above leftwards arrow
U+0297C = ⥼ = \leftfishtail = left fish tail
U+0297D = ⥽ = \rightfishtail = right fish tail
U+0297E = ⥾ = \upfishtail = up fish tail
U+0297F = ⥿ = \downfishtail = down fish tail
U+02980 = ⦀ = \Vvert = triple vertical bar delimiter
U+02981 = ⦁ = \mdsmblkcircle = z notation spot
U+02982 = ⦂ = \typecolon = z notation type colon
U+02983 = ⦃ = \lBrace = left white curly bracket
U+02984 = ⦄ = \rBrace = right white curly bracket
U+02985 = ⦅ = \lParen = left white parenthesis
U+02986 = ⦆ = \rParen = right white parenthesis
U+02987 = ⦇ = \llparenthesis = z notation left image bracket
U+02988 = ⦈ = \rrparenthesis = z notation right image bracket
U+02989 = ⦉ = \llangle = z notation left binding bracket
U+0298A = ⦊ = \rrangle = z notation right binding bracket
U+0298B = ⦋ = \lbrackubar = left square bracket with underbar
U+0298C = ⦌ = \rbrackubar = right square bracket with underbar
U+0298D = ⦍ = \lbrackultick = left square bracket with tick in top corner
U+0298E = ⦎ = \rbracklrtick = right square bracket with tick in bottom corner
U+0298F = ⦏ = \lbracklltick = left square bracket with tick in bottom corner
U+02990 = ⦐ = \rbrackurtick = right square bracket with tick in top corner
U+02991 = ⦑ = \langledot = left angle bracket with dot
U+02992 = ⦒ = \rangledot = right angle bracket with dot
U+02993 = ⦓ = \lparenless = left arc less-than bracket
U+02994 = ⦔ = \rparengtr = right arc greater-than bracket
U+02995 = ⦕ = \Lparengtr = double left arc greater-than bracket
U+02996 = ⦖ = \Rparenless = double right arc less-than bracket
U+02997 = ⦗ = \lblkbrbrak = left black tortoise shell bracket
U+02998 = ⦘ = \rblkbrbrak = right black tortoise shell bracket
U+02999 = ⦙ = \fourvdots = dotted fence
U+0299A = ⦚ = \vzigzag = vertical zigzag line
U+029B5 = ⦵ = \circlehbar = circle with horizontal bar
U+029B6 = ⦶ = \circledvert = circled vertical bar
U+029B9 = ⦹ = \operp = circled perpendicular
U+029BA = ⦺ = \obot = circle divided by horizontal bar and top half divided by vertical bar
U+029BB = ⦻ = \olcross = circle with superimposed x
U+029BD = ⦽ = \uparrowoncircle = up arrow through circle
U+029C2 = ⧂ = \cirscir = circle with small circle to the right
U+029C3 = ⧃ = \cirE = circle with two horizontal strokes to the right
U+029C4 = ⧄ = \boxdiag = squared rising diagonal slash
U+029C5 = ⧅ = \boxbslash = squared falling diagonal slash
U+029C6 = ⧆ = \boxast = squared asterisk
U+029C7 = ⧇ = \boxcircle = squared small circle
U+029C8 = ⧈ = \boxbox = squared square
U+029C9 = ⧉ = \boxonbox = two joined squares
U+029CA = ⧊ = \triangleodot = triangle with dot above
U+029CB = ⧋ = \triangleubar = triangle with underbar
U+029CC = ⧌ = \triangles = s in triangle
U+029CD = ⧍ = \triangleserifs = triangle with serifs at bottom
U+029CE = ⧎ = \rtriltri = right triangle above left triangle
U+029CF = ⧏ = \ltrivb = left triangle beside vertical bar
U+029D0 = ⧐ = \vbrtri = vertical bar beside right triangle
U+029D1 = ⧑ = \lfbowtie = left black bowtie
U+029D2 = ⧒ = \rfbowtie = right black bowtie
U+029D3 = ⧓ = \fbowtie = black bowtie
U+029D4 = ⧔ = \lftimes = left black times
U+029D5 = ⧕ = \rftimes = right black times
U+029D6 = ⧖ = \hourglass = white hourglass
U+029D7 = ⧗ = \blackhourglass = black hourglass
U+029D8 = ⧘ = \lvzigzag = left wiggly fence
U+029D9 = ⧙ = \rvzigzag = right wiggly fence
U+029DA = ⧚ = \Lvzigzag = left double wiggly fence
U+029DB = ⧛ = \Rvzigzag = right double wiggly fence
U+029DC = ⧜ = \iinfin = incomplete infinity
U+029DD = ⧝ = \tieinfty = tie over infinity
U+029DE = ⧞ = \nvinfty = infinity negated with vertical bar
U+029DF = ⧟ = \dualmap = double-ended multimap
U+029E0 = ⧠ = \laplac = square with contoured outline
U+029E2 = ⧢ = \shuffle = shuffle product
U+029E6 = ⧦ = \gleichstark = gleich stark
U+029E7 = ⧧ = \thermod = thermodynamic
U+029E8 = ⧨ = \downtriangleleftblack = down-pointing triangle with left half black
U+029E9 = ⧩ = \downtrianglerightblack = down-pointing triangle with right half black
U+029EA = ⧪ = \blackdiamonddownarrow = black diamond with down arrow
U+029EB = ⧫ = \mdlgblklozenge = black lozenge
U+029EC = ⧬ = \circledownarrow = white circle with down arrow
U+029ED = ⧭ = \blackcircledownarrow = black circle with down arrow
U+029EE = ⧮ = \errbarsquare = error-barred white square
U+029EF = ⧯ = \errbarblacksquare = error-barred black square
U+029F0 = ⧰ = \errbardiamond = error-barred white diamond
U+029F1 = ⧱ = \errbarblackdiamond = error-barred black diamond
U+029F2 = ⧲ = \errbarcircle = error-barred white circle
U+029F3 = ⧳ = \errbarblackcircle = error-barred black circle
U+029F5 = ⧵ = \setminus = reverse solidus operator
U+029F8 = ⧸ = \xsol = big solidus
U+029F9 = ⧹ = \xbsol = big reverse solidus
U+029FC = ⧼ = \lcurvyangle = left pointing curved angle bracket
U+029FD = ⧽ = \rcurvyangle = right pointing curved angle bracket
U+029FE = ⧾ = \tplus = tiny
U+029FF = ⧿ = \tminus = miny
U+02A17 = ⨗ = \intlarhk = integral with leftwards arrow with hook
U+02A18 = ⨘ = \intx = integral with times sign
U+02A19 = ⨙ = \intcap = integral with intersection
U+02A1A = ⨚ = \intcup = integral with union
U+02A1D = ⨝ = \Join = join
U+02A1E = ⨞ = \bigtriangleleft = large left triangle operator
U+02A1F = ⨟ = \zcmp = z notation schema composition
U+02A20 = ⨠ = \zpipe = z notation schema piping
U+02A21 = ⨡ = \zproject = z notation schema projection
U+02A2F = ⨯ = \vectimes = vector or cross product
U+02A3E = ⨾ = \fcmp = z notation relational composition
U+02A3F = ⨿ = \amalg = amalgamation or coproduct
U+02A46 = ⩆ = \cupovercap = union above intersection
U+02A47 = ⩇ = \capovercup = intersection above union
U+02A48 = ⩈ = \cupbarcap = union above bar above intersection
U+02A49 = ⩉ = \capbarcup = intersection above bar above union
U+02A59 = ⩙ = \veeonwedge = logical or overlapping logical and
U+02A64 = ⩤ = \dsub = z notation domain antirestriction
U+02A65 = ⩥ = \rsub = z notation range antirestriction
U+02A68 = ⩨ = \equivVert = triple horizontal bar with double vertical stroke
U+02A69 = ⩩ = \equivVvert = triple horizontal bar with triple vertical stroke
U+02ADA = ⫚ = \topfork = pitchfork with tee top
U+02ADC = ⫝̸ = \forks = forking
U+02ADD = ⫝ = \forksnot = nonforking
U+02ADE = ⫞ = \shortlefttack = short left tack
U+02ADF = ⫟ = \shortdowntack = short down tack
U+02AE0 = ⫠ = \shortuptack = short up tack
U+02AE1 = ⫡ = \perps = perpendicular with s
U+02AE2 = ⫢ = \vDdash = vertical bar triple right turnstile
U+02AE3 = ⫣ = \dashV = double vertical bar left turnstile
U+02AE4 = ⫤ = \Dashv = vertical bar double left turnstile
U+02AE5 = ⫥ = \DashV = double vertical bar double left turnstile
U+02AE6 = ⫦ = \varVdash = long dash from left member of double vertical
U+02AE7 = ⫧ = \Barv = short down tack with overbar
U+02AE8 = ⫨ = \vBar = short up tack with underbar
U+02AE9 = ⫩ = \vBarv = short up tack above short down tack
U+02AEA = ⫪ = \barV = double down tack
U+02AEB = ⫫ = \Vbar = double up tack
U+02AEC = ⫬ = \Not = double stroke not sign
U+02AED = ⫭ = \bNot = reversed double stroke not sign
U+02AEE = ⫮ = \revnmid = does not divide with reversed negation slash
U+02AEF = ⫯ = \cirmid = vertical line with circle above
U+02AF0 = ⫰ = \midcir = vertical line with circle below
U+02AF1 = ⫱ = \topcir = down tack with circle below
U+02AF2 = ⫲ = \nhpar = parallel with horizontal stroke
U+02AF3 = ⫳ = \parsim = parallel with tilde operator
U+02AF4 = ⫴ = \interleave = triple vertical bar binary relation
U+02AF5 = ⫵ = \nhVvert = triple vertical bar with horizontal stroke
U+02AF6 = ⫶ = \threedotcolon = triple colon operator
U+02AFB = ⫻ = \trslash = triple solidus binary relation
U+02AFC = ⫼ = \biginterleave = large triple vertical bar operator
U+02AFD = ⫽ = \sslash = double solidus operator
U+02AFE = ⫾ = \talloblong = white vertical bar
U+02AFF = ⫿ = \bigtalloblong = n-ary white vertical bar
U+03014 = 〔 = \lbrbrak = left broken bracket
U+03015 = 〕 = \rbrbrak = right broken bracket
U+03018 = 〘 = \Lbrbrak = left white tortoise shell bracket
U+03019 = 〙 = \Rbrbrak = right white tortoise shell bracket
U+03030 = 〰 = \hzigzag = zigzag

[StefanKarpinski]

I totally want to use # as a variable name. No confusion could possibly occur.

[jiahao]

Can I just say that we will put APL to deep shame if we support \rangledownzigzagarrow...

[elextr]

So when does Julia start delivering its own font :)

(about 10% of the list above don't display on my machine, a default load Mint 17)