1
Fork 0

Reorganize stuff added by the previous commit

This commit is contained in:
Matei Adriel 2023-11-21 16:14:55 +01:00
parent bae7f9d93f
commit 5ee47314bf
No known key found for this signature in database

View file

@ -78,6 +78,11 @@ local abbreviations = {
{ "cdots", "\\cdots" }, -- center dots
{ "ldots", "\\ldots" }, -- low dots
{ "cldots", ",\\ldots," }, -- comma, low dots
{ "frac", "\\frac" }, -- fraction
{ "lim", "\\lim" }, -- Limit
{ "sup", "\\sup" }, -- supremum
{ "limsup", "\\lim\\sup" }, -- Limit of the supremum
{ "cal", "\\mathcal" }, -- Limit of the supremum
-- Decorations
{ "hat", "\\hat" },
@ -95,10 +100,6 @@ local abbreviations = {
{ "gen", "\\gen" }, -- custom command for group generated by element
{ "ord", "\\ordop" }, -- order of a group
{ "vsm", "\\vecspace" }, -- custom math vector space
{ "frac", "\\frac" }, -- fraction
{ "lim", "\\lim" }, -- Limit
{ "sup", "\\sup" }, -- supremum
{ "limsup", "\\lim\\sup" }, -- Limit of the supremum
{ "half", "\\half" }, -- 1/2 fraction
}
@ -249,7 +250,7 @@ local abolishAbbreviations = {
local expanded = scrap.expand_many(abolishAbbreviations)
-- Last I checked this contained 1179 abbreviations
-- Last I checked this contained 1229 abbreviations
-- print(#abbreviations + #expanded)
A.manyLocalAbbr(abbreviations)