This commit is contained in:
Juergen Spitzmueller 2020-12-03 14:51:05 +01:00
parent a04d30a650
commit e3f7f18440

View File

@ -321,7 +321,7 @@ char const * const known_tex_extensions[] = {"tex", 0};
char const * const known_spaces[] = { " ", "space",
",", "thinspace",// \\, = \\thinspace
"quad", "qquad", "enspace", "enskip",
";", ">", "medspace",// \\; = \\> = \medspace
";", ">", "medspace",// \\; = \\> = \\medspace
":", "thickspace",// \\: = \\thickspace
"!", "negthinspace",// \\! = \\negthinspace
"negmedspace", "negthickspace",