commit c877648e49c4e2e44b697e2c9da5121e523f1ea8
Author: Kornel Benko <[email protected]>
Date: Fri Apr 25 02:18:58 2025 +0200
ADV-Find: Handle some math symbols
Use the symbol representation of the respective math commands.
This should fix #13175 "find and replace finds prefixes of math
commands"
---
src/lyxfind.cpp | 171 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 171 insertions(+)
diff --git a/src/lyxfind.cpp b/src/lyxfind.cpp
index 2966fc5dfc..10dc504734 100644
--- a/src/lyxfind.cpp
+++ b/src/lyxfind.cpp
@@ -1740,6 +1740,177 @@ static void addAccents(string latex_in, string
unicode_out)
void static fillMissingUnicodesymbols()
{
+ // Some math operators
+ addAccents("\\forall", getutf8(0x2200));
+ addAccents("\\complement", getutf8(0x2201));
+ addAccents("\\partial", getutf8(0x2202));
+ addAccents("\\exists", getutf8(0x2203));
+ addAccents("\\nexists", getutf8(0x2204));
+ addAccents("\\varnothing", getutf8(0x2205));
+ addAccents("\\in", getutf8(0x2208));
+ addAccents("\\notin", getutf8(0x2209));
+ addAccents("\\ni", getutf8(0x220b));
+ addAccents("\\prod", getutf8(0x220f));
+ addAccents("\\coprod", getutf8(0x2210));
+ addAccents("\\sum", getutf8(0x2211));
+ addAccents("\\mp", getutf8(0x2213));
+ addAccents("\\dotplus", getutf8(0x2214));
+ addAccents("\\slash", getutf8(0x2215));
+ addAccents("\\setminus", getutf8(0x2216));
+ addAccents("\\circ", getutf8(0x2218));
+ addAccents("\\centerdot", getutf8(0x2219));
+ addAccents("\\propto", getutf8(0x221d));
+ addAccents("\\infty", getutf8(0x221e));
+ addAccents("\\angle", getutf8(0x2220));
+ addAccents("\\measuredangle", getutf8(0x2221));
+ addAccents("\\sphericalangle", getutf8(0x2222));
+ addAccents("\\mid", getutf8(0x2223));
+ addAccents("\\nmid", getutf8(0x2224));
+ addAccents("\\parallel", getutf8(0x2225));
+ addAccents("\\nparallel", getutf8(0x2226));
+ addAccents("\\wedge", getutf8(0x2227));
+ addAccents("\\vee", getutf8(0x2228));
+ addAccents("\\cap", getutf8(0x2229));
+ addAccents("\\cup", getutf8(0x222a));
+ addAccents("\\int", getutf8(0x222b));
+ addAccents("\\iint", getutf8(0x222c));
+ addAccents("\\iiint", getutf8(0x222d));
+ addAccents("\\oint", getutf8(0x222e));
+ addAccents("\\ointclockwise", getutf8(0x2232));
+ addAccents("\\ointctrclockwise", getutf8(0x2233));
+ addAccents("\\therefore", getutf8(0x2234));
+ addAccents("\\because", getutf8(0x2235));
+ addAccents("\\dblcolon", getutf8(0x2237));
+ addAccents("\\eqcolon", getutf8(0x2239));
+ addAccents("\\sim", getutf8(0x223c));
+ addAccents("\\backsim", getutf8(0x223d));
+ addAccents("\\wr", getutf8(0x2240));
+ addAccents("\\eqsim", getutf8(0x2242));
+ addAccents("\\simeq", getutf8(0x2243));
+ addAccents("\\approx", getutf8(0x2248));
+ addAccents("\\approxeq", getutf8(0x224a));
+ addAccents("\\asymp", getutf8(0x224d));
+ addAccents("\\Doteq", getutf8(0x2251));
+ addAccents("\\fallingdotseq", getutf8(0x2252));
+ addAccents("\\risingdotseq", getutf8(0x2253));
+ addAccents("\\coloneqq", getutf8(0x2254));
+ addAccents("\\eqqcolon", getutf8(0x2255));
+ addAccents("\\eqcirc", getutf8(0x2256));
+ addAccents("\\triangleq", getutf8(0x225c));
+ addAccents("\\neq", getutf8(0x2260));
+ addAccents("\\equiv", getutf8(0x2261));
+ addAccents("\\le", getutf8(0x2264));
+ addAccents("\\ge", getutf8(0x2265));
+ addAccents("\\leqq", getutf8(0x2266));
+ addAccents("\\geqq", getutf8(0x2267));
+ addAccents("\\lneqq", getutf8(0x2268));
+ addAccents("\\gneqq", getutf8(0x2269));
+ addAccents("\\ll", getutf8(0x226a));
+ addAccents("\\gg", getutf8(0x226b));
+ addAccents("\\between", getutf8(0x226c));
+ addAccents("\\nless", getutf8(0x226e));
+ addAccents("\\ngtr", getutf8(0x226f));
+ addAccents("\\nleq", getutf8(0x2270));
+ addAccents("\\ngeq", getutf8(0x2271));
+ addAccents("\\lesssim", getutf8(0x2272));
+ addAccents("\\gtrsim", getutf8(0x2273));
+ addAccents("\\lessgtr", getutf8(0x2276));
+ addAccents("\\gtrless", getutf8(0x2277));
+ addAccents("\\prec", getutf8(0x227a));
+ addAccents("\\succ", getutf8(0x227b));
+ addAccents("\\preccurlyeq", getutf8(0x227c));
+ addAccents("\\succcurlyeq", getutf8(0x227d));
+ addAccents("\\precsim", getutf8(0x227e));
+ addAccents("\\succsim", getutf8(0x227f));
+ addAccents("\\nprec", getutf8(0x2280));
+ addAccents("\\nsucc", getutf8(0x2281));
+ addAccents("\\subset", getutf8(0x2282));
+ addAccents("\\subseteq", getutf8(0x2286));
+ addAccents("\\supseteq", getutf8(0x2287));
+ addAccents("\\nsubseteq", getutf8(0x2288));
+ addAccents("\\nsupseteq", getutf8(0x2289));
+ addAccents("\\subsetneq", getutf8(0x228a));
+ addAccents("\\supsetneq", getutf8(0x228b));
+ addAccents("\\uplus", getutf8(0x228e));
+ addAccents("\\sqsubset", getutf8(0x228f));
+ addAccents("\\sqsupset", getutf8(0x2290));
+ addAccents("\\sqsubseteq", getutf8(0x2291));
+ addAccents("\\sqsupseteq", getutf8(0x2292));
+ addAccents("\\sqcap", getutf8(0x2293));
+ addAccents("\\sqcup", getutf8(0x2294));
+ addAccents("\\oplus", getutf8(0x2295));
+ addAccents("\\ominus", getutf8(0x2296));
+ addAccents("\\otimes", getutf8(0x2297));
+ addAccents("\\oslash", getutf8(0x2298));
+ addAccents("\\odot", getutf8(0x2299));
+ addAccents("\\circledcirc", getutf8(0x229a));
+ addAccents("\\circledast", getutf8(0x229b));
+ addAccents("\\circleddash", getutf8(0x229d));
+ addAccents("\\boxplus", getutf8(0x229e));
+ addAccents("\\boxminus", getutf8(0x229f));
+ addAccents("\\boxtimes", getutf8(0x22a0));
+ addAccents("\\boxdot", getutf8(0x22a1));
+ addAccents("\\vdash", getutf8(0x22a2));
+ addAccents("\\dashv", getutf8(0x22a3));
+ addAccents("\\top", getutf8(0x22a4));
+ addAccents("\\bot", getutf8(0x22a5));
+ addAccents("\\vDash", getutf8(0x22a8));
+ addAccents("\\Vdash", getutf8(0x22a9));
+ addAccents("\\nvdash", getutf8(0x22ac));
+ addAccents("\\nvDash", getutf8(0x22ad));
+ addAccents("\\nVdash", getutf8(0x22ae));
+ addAccents("\\vartriangleleft", getutf8(0x22b2));
+ addAccents("\\vartriangleright", getutf8(0x22b3));
+ addAccents("\\trianglelefteq", getutf8(0x22b4));
+ addAccents("\\trianglerighteq", getutf8(0x22b5));
+ addAccents("\\multimap", getutf8(0x22b8));
+ addAccents("\\intercal", getutf8(0x22ba));
+ addAccents("\\veebar", getutf8(0x22bb));
+ addAccents("\\barwedge", getutf8(0x22bc));
+ addAccents("\\star", getutf8(0x22c6));
+ addAccents("\\divideontimes", getutf8(0x22c7));
+ addAccents("\\bowtie", getutf8(0x22c8));
+ addAccents("\\ltimes", getutf8(0x22c9));
+ addAccents("\\rtimes", getutf8(0x22ca));
+ addAccents("\\leftthreetimes", getutf8(0x22cb));
+ addAccents("\\rightthreetimes", getutf8(0x22cc));
+ addAccents("\\curlyvee", getutf8(0x22ce));
+ addAccents("\\curlywedge", getutf8(0x22cf));
+ addAccents("\\Subset", getutf8(0x22d0));
+ addAccents("\\Supset", getutf8(0x22d1));
+ addAccents("\\Cap", getutf8(0x22d2));
+ addAccents("\\Cup", getutf8(0x22d3));
+ addAccents("\\pitchfork", getutf8(0x22d4));
+ addAccents("\\lessdot", getutf8(0x22d6));
+ addAccents("\\gtrdot", getutf8(0x22d7));
+ addAccents("\\llless", getutf8(0x22d8));
+ addAccents("\\gggtr", getutf8(0x22d9));
+ addAccents("\\lesseqgtr", getutf8(0x22da));
+ addAccents("\\gtreqless", getutf8(0x22db));
+ addAccents("\\curlyeqprec", getutf8(0x22de));
+ addAccents("\\curlyeqsucc", getutf8(0x22df));
+ addAccents("\\ntrianglelefteq", getutf8(0x22ec));
+ addAccents("\\ntrianglerighteq", getutf8(0x22ed));
+ addAccents("\\vdots", getutf8(0x22ee));
+ addAccents("\\cdots", getutf8(0x22ef));
+ addAccents("\\iddots", getutf8(0x22f0));
+ addAccents("\\ddots", getutf8(0x22f1));
+ addAccents("\\lceil", getutf8(0x2308));
+ addAccents("\\rceil", getutf8(0x2309));
+ addAccents("\\lfloor", getutf8(0x230a));
+ addAccents("\\rfloor", getutf8(0x230b));
+ addAccents("\\invneg", getutf8(0x2310));
+ addAccents("\\wasylozenge", getutf8(0x2311));
+ addAccents("\\ulcorner", getutf8(0x231c));
+ addAccents("\\urcorner", getutf8(0x231d));
+ addAccents("\\llcorner", getutf8(0x231e));
+ addAccents("\\lrcorner", getutf8(0x231f));
+ addAccents("\\frown", getutf8(0x2322));
+ addAccents("\\smile", getutf8(0x2323));
+ addAccents("\\APLinv", getutf8(0x2339));
+ addAccents("\\notslash", getutf8(0x233f));
+ addAccents("\\notbackslash", getutf8(0x2340));
+ //
addAccents("\\pounds", getutf8(0x00a3));
addAccents("\\textsterling", getutf8(0x00a3));
addAccents("\\textyen", getutf8(0x00a5));
--
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs
