commit 977b5d15a225037e62fceb447b29867e93af61e4
Author: Kornel Benko <[email protected]>
Date: Sun Apr 27 14:41:42 2025 +0200
Amend(2) c877648e: ADV-Find: Handle some math symbols
Polishing
---
src/lyxfind.cpp | 26 ++++++++++++++++++++++----
1 file changed, 22 insertions(+), 4 deletions(-)
diff --git a/src/lyxfind.cpp b/src/lyxfind.cpp
index b184c7b043..153ccd271b 100644
--- a/src/lyxfind.cpp
+++ b/src/lyxfind.cpp
@@ -1747,12 +1747,14 @@ void static fillMissingUnicodesymbols()
addAccents("\\exists", getutf8(0xf0103));
addAccents("\\nexists", getutf8(0xf0104));
addAccents("\\varnothing", getutf8(0xf0105));
+ addAccents("\\nabla", getutf8(0xf0107));
addAccents("\\in", getutf8(0xf0108));
addAccents("\\notin", getutf8(0xf0109));
addAccents("\\ni", getutf8(0xf010b));
addAccents("\\prod", getutf8(0xf010f));
addAccents("\\coprod", getutf8(0xf0110));
addAccents("\\sum", getutf8(0xf0111));
+ addAccents("\\textminus", getutf8(0xf0112));
addAccents("\\mp", getutf8(0xf0113));
addAccents("\\dotplus", getutf8(0xf0114));
addAccents("\\slash", getutf8(0xf0115));
@@ -1776,13 +1778,17 @@ void static fillMissingUnicodesymbols()
addAccents("\\iint", getutf8(0xf012c));
addAccents("\\iiint", getutf8(0xf012d));
addAccents("\\oint", getutf8(0xf012e));
+ addAccents("\\oiint", getutf8(0xf012f));
addAccents("\\ointclockwise", getutf8(0xf0132));
addAccents("\\ointctrclockwise", getutf8(0xf0133));
addAccents("\\therefore", getutf8(0xf0134));
addAccents("\\because", getutf8(0xf0135));
addAccents("\\dblcolon", getutf8(0xf0137));
addAccents("\\eqcolon", getutf8(0xf0139));
+ addAccents("\\lyxtilde", getutf8(0xf013c));
+ addAccents("\\sim", getutf8(0xf013c));
addAccents("\\backsim", getutf8(0xf013d));
+ addAccents("\\AC", getutf8(0xf013f));
addAccents("\\wr", getutf8(0xf0140));
addAccents("\\eqsim", getutf8(0xf0142));
addAccents("\\simeq", getutf8(0xf0143));
@@ -1795,6 +1801,7 @@ void static fillMissingUnicodesymbols()
addAccents("\\coloneqq", getutf8(0xf0154));
addAccents("\\eqqcolon", getutf8(0xf0155));
addAccents("\\eqcirc", getutf8(0xf0156));
+ addAccents("\\circeq", getutf8(0xf0157));
addAccents("\\triangleq", getutf8(0xf015c));
addAccents("\\neq", getutf8(0xf0160));
addAccents("\\equiv", getutf8(0xf0161));
@@ -1824,6 +1831,7 @@ void static fillMissingUnicodesymbols()
addAccents("\\nprec", getutf8(0xf0180));
addAccents("\\nsucc", getutf8(0xf0181));
addAccents("\\subset", getutf8(0xf0182));
+ addAccents("\\supset", getutf8(0xf0183));
addAccents("\\subseteq", getutf8(0xf0186));
addAccents("\\supseteq", getutf8(0xf0187));
addAccents("\\nsubseteq", getutf8(0xf0188));
@@ -1855,6 +1863,7 @@ void static fillMissingUnicodesymbols()
addAccents("\\bot", getutf8(0xf01a5));
addAccents("\\vDash", getutf8(0xf01a8));
addAccents("\\Vdash", getutf8(0xf01a9));
+ addAccents("\\Vvdash", getutf8(0xf01aa));
addAccents("\\nvdash", getutf8(0xf01ac));
addAccents("\\nvDash", getutf8(0xf01ad));
addAccents("\\nVdash", getutf8(0xf01ae));
@@ -1894,21 +1903,32 @@ void static fillMissingUnicodesymbols()
addAccents("\\cdots", getutf8(0xf01ef));
addAccents("\\iddots", getutf8(0xf01f0));
addAccents("\\ddots", getutf8(0xf01f1));
+ addAccents("\\diameter", getutf8(0xf0200));
+ addAccents("\\DEL", getutf8(0xf0202));
addAccents("\\lceil", getutf8(0xf0208));
addAccents("\\rceil", getutf8(0xf0209));
addAccents("\\lfloor", getutf8(0xf020a));
addAccents("\\rfloor", getutf8(0xf020b));
addAccents("\\invneg", getutf8(0xf0210));
addAccents("\\wasylozenge", getutf8(0xf0211));
+ addAccents("\\recorder", getutf8(0xf0215));
+ addAccents("\\cmdmac", getutf8(0xf0218));
+ addAccents("\\Clocklogo", getutf8(0xf021a));
addAccents("\\ulcorner", getutf8(0xf021c));
addAccents("\\urcorner", getutf8(0xf021d));
addAccents("\\llcorner", getutf8(0xf021e));
addAccents("\\lrcorner", getutf8(0xf021f));
addAccents("\\frown", getutf8(0xf0222));
addAccents("\\smile", getutf8(0xf0223));
+ addAccents("\\enter", getutf8(0xf0224));
+ addAccents("\\Altmac", getutf8(0xf0225));
+ addAccents("\\delmac", getutf8(0xf0226));
+ addAccents("\\Keyboard", getutf8(0xf0228));
+ addAccents("\\backdelmac", getutf8(0xf022b));
addAccents("\\APLinv", getutf8(0xf0239));
addAccents("\\notslash", getutf8(0xf023f));
addAccents("\\notbackslash", getutf8(0xf0240));
+ addAccents("\\escmac", getutf8(0xf028b));
//
addAccents("\\pounds", getutf8(0x00a3));
addAccents("\\textsterling", getutf8(0x00a3));
@@ -2166,8 +2186,8 @@ void static fillMissingUnicodesymbols()
addAccents("\\nearrow", getutf8(0x2197));
addAccents("\\textglobfall", getutf8(0x2198));
addAccents("\\searrow", getutf8(0x2198));
- addAccents("\\textsurd", getutf8(0x221a));
- addAccents("\\surd", getutf8(0x221a));
+ addAccents("\\textsurd", getutf8(0xf011a));
+ addAccents("\\surd", getutf8(0xf011a));
addAccents("\\textbigcircle", getutf8(0x25ef));
addAccents("\\bigcirc", getutf8(0x25ef));
addAccents("\\FiveStar", getutf8(0x2605));
@@ -2212,8 +2232,6 @@ static void buildAccentsMap()
accents["lyxarrow"] = getutf8(0xf0020);
accents["braceleft"] = getutf8(0xf0030);
accents["braceright"] = getutf8(0xf0031);
- accents["lyxtilde"] = getutf8(0xf0032);
- accents["sim"] = getutf8(0xf0032);
accents["lyxdollar"] = getutf8(0xf0033);
accents["backslash lyx"] = getutf8(0xf0010); // Used logos
inserted with starting \backslash
accents["backslash LyX"] = getutf8(0xf0010);
--
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs
