11880790858

Committed 17 Nov 2024 05:21PM UTC coverage: 65.762% (+9.6%) from 56.187%

Build # 11880790858

Build Type

push

github

Committed by

web-flow

Commit Message

Merge 7870e0c07 into 7411744d9

Run Details

4048 of 4057 new or added lines in 6 files covered. (99.78%)

105 existing lines in 4 files now uncovered.

12986 of 19747 relevant lines covered (65.76%)

3525.33 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

98.08

/packages/math/unicode-symbols.lua

--- Extend the unicode-symbols-generated symbols with additional aliases.
local gen = require("packages/math/unicode-symbols-generated")
local symbols = gen.symbols
local operatorDict = gen.operatorDict

--- Add aliases for symbols that have multiple names.
-- We check that the alias is already defined in the generated dictionary,
-- and that the symbol is not defined.
-- If not, we raise an error: our operator dictionary is probably broken.
-- @tparam string symbol Symbol needing an alias
-- @tparam string alias  Existing alias
local function addAlias(symbol, alias)
   if symbols[symbol] then
      SU.error("Symbol " .. symbol .. " already defined (operator dictionary is probably broken)")
   end
   if not symbols[alias] then
      SU.error("Symbol " .. alias .. " not defined (operator dictionary is probably broken)")
   end
   symbols[symbol] = symbols[alias]
end

-- \% in TeX is the regular ordinary mathpercent symbol (U+0025)
addAlias("%", "mathpercent")

-- Additional TeX-like operators
addAlias("dots", "unicodeellipsis")
addAlias("ldots", "unicodeellipsis")
addAlias("cdots", "unicodecdots")
addAlias("implies", "Longrightarrow")
addAlias("iff", "Longleftrightarrow")
addAlias("vec", "overrightarrow")

-- Alias from unicode-math/um-code-epilogue.dtx
-- (Symbols with multiple names)
addAlias("le", "leq")
addAlias("ge", "geq")
addAlias("neq", "ne")
addAlias("triangle", "bigtriangleup")
addAlias("bigcirc", "mdlgwhtcircle")
addAlias("circ", "vysmwhtcircle")
addAlias("bullet", "smblkcircle")
addAlias("yen", "mathyen")
addAlias("sterling", "mathsterling")
addAlias("diamond", "smwhtdiamond")
addAlias("emptyset", "varnothing")
addAlias("hbar", "hslash")
addAlias("land", "wedge")
addAlias("lor", "vee")
addAlias("owns", "ni")
addAlias("gets", "leftarrow")
addAlias("mathring", "ocirc")
addAlias("lnot", "neg")

-- Additional aliases from LaTeX / AMS
-- (Mix from unicode-math and AMS names in unicode.xml
addAlias("colon", "mathcolon")
addAlias("eth", "matheth")
addAlias("AA", "Angstrom")
addAlias("bbsum", "Bbbsum")
addAlias("blacksquare", "mdlgblksquare")
addAlias("square", "mdlgwhtsquare")
addAlias("lozenge", "mdlgwhtlozenge")
addAlias("circlearrowleft", "acwcirclearrow")
addAlias("circlearrowright", "cwcirclearrow")
addAlias("blacklozenge", "mdlgblklozenge")

-- (Original-TeX) TeX-like greek letters
symbols.alpha = "α"
symbols.beta = "β"
symbols.gamma = "γ"
symbols.delta = "δ"
symbols.epsilon = "ϵ"
symbols.varepsilon = "ε"
symbols.zeta = "ζ"
symbols.eta = "η"
symbols.theta = "θ"
symbols.vartheta = "ϑ"
symbols.iota = "ι"
symbols.kappa = "κ"
symbols.lambda = "λ"
symbols.mu = "μ"
symbols.nu = "ν"
symbols.xi = "ξ"
symbols.omicron = "ο"
symbols.pi = "π"
symbols.varpi = "ϖ"
symbols.rho = "ρ"
symbols.varrho = "ϱ"
symbols.sigma = "σ"
symbols.varsigma = "ς"
symbols.tau = "τ"
symbols.upsilon = "υ"
symbols.phi = "ϕ"
symbols.varphi = "φ"
symbols.chi = "χ"
symbols.psi = "ψ"
symbols.omega = "ω"
symbols.Alpha = "Α"
symbols.Beta = "Β"
symbols.Gamma = "Γ"
symbols.Delta = "Δ"
symbols.Epsilon = "Ε"
symbols.Zeta = "Ζ"
symbols.Eta = "Η"
symbols.Theta = "Θ"
symbols.Iota = "Ι"
symbols.Kappa = "Κ"
symbols.Lambda = "Λ"
symbols.Mu = "Μ"
symbols.Nu = "Ν"
symbols.Xi = "Ξ"
symbols.Omicron = "Ο"
symbols.Pi = "Π"
symbols.Rho = "Ρ"
symbols.Sigma = "Σ"
symbols.Tau = "Τ"
symbols.Upsilon = "Υ"
symbols.Phi = "Φ"
symbols.Chi = "Χ"
symbols.Psi = "Ψ"
symbols.Omega = "Ω"
-- Other TeX-like greek symbols
symbols.digamma = "ϝ" -- Supported by TeMML, MathJax, and LaTeX's unicode-math
symbols.Digamma = "Ϝ" -- Supported by LaTeX's unicode-math

-- In xml-entities's unicode.xml, the minus-hyphen (U+002D) has different
-- properties from to the minus sign (U+2212).
-- In our TeX-like syntax, they should however lead to the same symbol.
operatorDict["-"] = operatorDict["−"]

return {
   symbols = symbols,
   operatorDict = operatorDict,
}

1	--- Extend the unicode-symbols-generated symbols with additional aliases.
2	local gen = require("packages/math/unicode-symbols-generated")	12✔
3	local symbols = gen.symbols	12✔
4	local operatorDict = gen.operatorDict	12✔
5
6	--- Add aliases for symbols that have multiple names.
7	-- We check that the alias is already defined in the generated dictionary,
8	-- and that the symbol is not defined.
9	-- If not, we raise an error: our operator dictionary is probably broken.
10	-- @tparam string symbol Symbol needing an alias
11	-- @tparam string alias Existing alias
12	local function addAlias(symbol, alias)
13	if symbols[symbol] then	420✔
NEW 14	SU.error("Symbol " .. symbol .. " already defined (operator dictionary is probably broken)")	×
15	end
16	if not symbols[alias] then	420✔
NEW 17	SU.error("Symbol " .. alias .. " not defined (operator dictionary is probably broken)")	×
18	end
19	symbols[symbol] = symbols[alias]	420✔
20	end
21
22	-- \% in TeX is the regular ordinary mathpercent symbol (U+0025)
23	addAlias("%", "mathpercent")	12✔
24
25	-- Additional TeX-like operators
26	addAlias("dots", "unicodeellipsis")	12✔
27	addAlias("ldots", "unicodeellipsis")	12✔
28	addAlias("cdots", "unicodecdots")	12✔
29	addAlias("implies", "Longrightarrow")	12✔
30	addAlias("iff", "Longleftrightarrow")	12✔
31	addAlias("vec", "overrightarrow")	12✔
32
33	-- Alias from unicode-math/um-code-epilogue.dtx
34	-- (Symbols with multiple names)
35	addAlias("le", "leq")	12✔
36	addAlias("ge", "geq")	12✔
37	addAlias("neq", "ne")	12✔
38	addAlias("triangle", "bigtriangleup")	12✔
39	addAlias("bigcirc", "mdlgwhtcircle")	12✔
40	addAlias("circ", "vysmwhtcircle")	12✔
41	addAlias("bullet", "smblkcircle")	12✔
42	addAlias("yen", "mathyen")	12✔
43	addAlias("sterling", "mathsterling")	12✔
44	addAlias("diamond", "smwhtdiamond")	12✔
45	addAlias("emptyset", "varnothing")	12✔
46	addAlias("hbar", "hslash")	12✔
47	addAlias("land", "wedge")	12✔
48	addAlias("lor", "vee")	12✔
49	addAlias("owns", "ni")	12✔
50	addAlias("gets", "leftarrow")	12✔
51	addAlias("mathring", "ocirc")	12✔
52	addAlias("lnot", "neg")	12✔
53
54	-- Additional aliases from LaTeX / AMS
55	-- (Mix from unicode-math and AMS names in unicode.xml
56	addAlias("colon", "mathcolon")	12✔
57	addAlias("eth", "matheth")	12✔
58	addAlias("AA", "Angstrom")	12✔
59	addAlias("bbsum", "Bbbsum")	12✔
60	addAlias("blacksquare", "mdlgblksquare")	12✔
61	addAlias("square", "mdlgwhtsquare")	12✔
62	addAlias("lozenge", "mdlgwhtlozenge")	12✔
63	addAlias("circlearrowleft", "acwcirclearrow")	12✔
64	addAlias("circlearrowright", "cwcirclearrow")	12✔
65	addAlias("blacklozenge", "mdlgblklozenge")	12✔
66
67	-- (Original-TeX) TeX-like greek letters
68	symbols.alpha = "α"	12✔
69	symbols.beta = "β"	12✔
70	symbols.gamma = "γ"	12✔
71	symbols.delta = "δ"	12✔
72	symbols.epsilon = "ϵ"	12✔
73	symbols.varepsilon = "ε"	12✔
74	symbols.zeta = "ζ"	12✔
75	symbols.eta = "η"	12✔
76	symbols.theta = "θ"	12✔
77	symbols.vartheta = "ϑ"	12✔
78	symbols.iota = "ι"	12✔
79	symbols.kappa = "κ"	12✔
80	symbols.lambda = "λ"	12✔
81	symbols.mu = "μ"	12✔
82	symbols.nu = "ν"	12✔
83	symbols.xi = "ξ"	12✔
84	symbols.omicron = "ο"	12✔
85	symbols.pi = "π"	12✔
86	symbols.varpi = "ϖ"	12✔
87	symbols.rho = "ρ"	12✔
88	symbols.varrho = "ϱ"	12✔
89	symbols.sigma = "σ"	12✔
90	symbols.varsigma = "ς"	12✔
91	symbols.tau = "τ"	12✔
92	symbols.upsilon = "υ"	12✔
93	symbols.phi = "ϕ"	12✔
94	symbols.varphi = "φ"	12✔
95	symbols.chi = "χ"	12✔
96	symbols.psi = "ψ"	12✔
97	symbols.omega = "ω"	12✔
98	symbols.Alpha = "Α"	12✔
99	symbols.Beta = "Β"	12✔
100	symbols.Gamma = "Γ"	12✔
101	symbols.Delta = "Δ"	12✔
102	symbols.Epsilon = "Ε"	12✔
103	symbols.Zeta = "Ζ"	12✔
104	symbols.Eta = "Η"	12✔
105	symbols.Theta = "Θ"	12✔
106	symbols.Iota = "Ι"	12✔
107	symbols.Kappa = "Κ"	12✔
108	symbols.Lambda = "Λ"	12✔
109	symbols.Mu = "Μ"	12✔
110	symbols.Nu = "Ν"	12✔
111	symbols.Xi = "Ξ"	12✔
112	symbols.Omicron = "Ο"	12✔
113	symbols.Pi = "Π"	12✔
114	symbols.Rho = "Ρ"	12✔
115	symbols.Sigma = "Σ"	12✔
116	symbols.Tau = "Τ"	12✔
117	symbols.Upsilon = "Υ"	12✔
118	symbols.Phi = "Φ"	12✔
119	symbols.Chi = "Χ"	12✔
120	symbols.Psi = "Ψ"	12✔
121	symbols.Omega = "Ω"	12✔
122	-- Other TeX-like greek symbols
123	symbols.digamma = "ϝ" -- Supported by TeMML, MathJax, and LaTeX's unicode-math	12✔
124	symbols.Digamma = "Ϝ" -- Supported by LaTeX's unicode-math	12✔
125
126	-- In xml-entities's unicode.xml, the minus-hyphen (U+002D) has different
127	-- properties from to the minus sign (U+2212).
128	-- In our TeX-like syntax, they should however lead to the same symbol.
129	operatorDict["-"] = operatorDict["−"]	12✔
130
131	return {	12✔
132	symbols = symbols,	12✔
133	operatorDict = operatorDict,	12✔
134	}	12✔

sile-typesetter / sile / 11880790858

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous