Add \neg to "Logic" section

Bug: T317065
Change-Id: I261768fdddebcf0dd8776b69286edd1b541f0c5b
This commit is contained in:
Ed Sanders 2022-09-07 00:35:44 +01:00
parent 2ae8f50348
commit fe5b350c89
2 changed files with 7 additions and 0 deletions

View file

@ -1171,6 +1171,9 @@
{ {
"insert": "\\nexists" "insert": "\\nexists"
}, },
{
"insert": "\\neg"
},
{ {
"insert": "\\therefore" "insert": "\\therefore"
}, },

View file

@ -1534,6 +1534,10 @@
background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%222.324ex%22%20height%3D%222.676ex%22%20style%3D%22vertical-align%3A-.671ex%22%20viewBox%3D%220%20-863.1%201000.5%201152.1%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20aria-labelledby%3D%22MathJax-SVG-1-Title%22%3E%3Cdefs%20aria-hidden%3D%22true%22%3E%3Cpath%20stroke-width%3D%221%22%20id%3D%22a%22%20d%3D%22M582%20697q0%204%209%2013t14%2010q2%200%2025-14t67-29%2098-15q35%200%2068%208t51%2016%2020%208q8%200%2010-9%200-5-8-22t-15-48-8-70q0-55%2014-99t29-67%2014-24q0-4-9-13t-14-10q-7%200-18%2017-55%2087-55%20192%200%2049%204%2057l-46-45q-45-45-159-158T482%20204Q87-191%2083-193q-6-2-8-2-8%200-14%206t-6%2015q0%204%201%206%202%204%20397%20400%20254%20255%20324%20325t70%2071q-23-5-60-5-98%200-188%2056-17%2011-17%2018z%22%2F%3E%3C%2Fdefs%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%20aria-hidden%3D%22true%22%2F%3E%3C%2Fsvg%3E ); background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%222.324ex%22%20height%3D%222.676ex%22%20style%3D%22vertical-align%3A-.671ex%22%20viewBox%3D%220%20-863.1%201000.5%201152.1%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20aria-labelledby%3D%22MathJax-SVG-1-Title%22%3E%3Cdefs%20aria-hidden%3D%22true%22%3E%3Cpath%20stroke-width%3D%221%22%20id%3D%22a%22%20d%3D%22M582%20697q0%204%209%2013t14%2010q2%200%2025-14t67-29%2098-15q35%200%2068%208t51%2016%2020%208q8%200%2010-9%200-5-8-22t-15-48-8-70q0-55%2014-99t29-67%2014-24q0-4-9-13t-14-10q-7%200-18%2017-55%2087-55%20192%200%2049%204%2057l-46-45q-45-45-159-158T482%20204Q87-191%2083-193q-6-2-8-2-8%200-14%206t-6%2015q0%204%201%206%202%204%20397%20400%20254%20255%20324%20325t70%2071q-23-5-60-5-98%200-188%2056-17%2011-17%2018z%22%2F%3E%3C%2Fdefs%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%20aria-hidden%3D%22true%22%2F%3E%3C%2Fsvg%3E );
} }
.ve-ui-mwLatexSymbol-_92_neg {
background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%221.55ex%22%20height%3D%221.176ex%22%20style%3D%22vertical-align%3A%200.204ex%3B%20margin-bottom%3A%20-0.376ex%3B%22%20viewBox%3D%220%20-432.6%20667.5%20506.3%22%20role%3D%22img%22%20focusable%3D%22false%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20aria-labelledby%3D%22MathJax-SVG-1-Title%22%3E%3Ctitle%20id%3D%22MathJax-SVG-1-Title%22%3Enormal%20not%20sign%3C%2Ftitle%3E%3Cdefs%20aria-hidden%3D%22true%22%3E%3Cpath%20stroke-width%3D%221%22%20id%3D%22E1-MJMAIN-AC%22%20d%3D%22M56%20323T56%20336T70%20356H596Q603%20353%20611%20343V102Q598%2089%20591%2089Q587%2089%20584%2090T579%2094T575%2098T572%20102L571%20209V316H70Q56%20323%2056%20336Z%22%3E%3C%2Fpath%3E%3C%2Fdefs%3E%3Cg%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%20aria-hidden%3D%22true%22%3E%20%3Cuse%20xlink%3Ahref%3D%22%23E1-MJMAIN-AC%22%20x%3D%220%22%20y%3D%220%22%3E%3C%2Fuse%3E%3C%2Fg%3E%3C%2Fsvg%3E );
}
.ve-ui-mwLatexSymbol-_92_neq { .ve-ui-mwLatexSymbol-_92_neq {
background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%221.808ex%22%20height%3D%222.676ex%22%20style%3D%22vertical-align%3A-.838ex%22%20viewBox%3D%220%20-791.3%20778.5%201152.1%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20aria-labelledby%3D%22MathJax-SVG-1-Title%22%3E%3Cdefs%20aria-hidden%3D%22true%22%3E%3Cpath%20stroke-width%3D%221%22%20id%3D%22a%22%20d%3D%22M166-215h-7l-12%203-6%208-2%207q0%207%205%2014l162%20316H70q-14%207-14%2020%200%2015%2016%2020h255l79%20154H72q-16%205-16%2020%200%2013%2014%2020h356q171%20335%20176%20340%203%209%2016%209%207%200%2012-4t6-9%202-7q0-4-167-329h236q15-8%2015-20%200-11-14-19l-257-1-80-154h337q14-10%2014-20%200-13-15-20H351Q175-210%20170-212q-4-3-11-3z%22%2F%3E%3C%2Fdefs%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%20aria-hidden%3D%22true%22%2F%3E%3C%2Fsvg%3E ); background-image: url( data:image/svg+xml,%3Csvg%20xmlns%3Axlink%3D%22http%3A%2F%2Fwww.w3.org%2F1999%2Fxlink%22%20width%3D%221.808ex%22%20height%3D%222.676ex%22%20style%3D%22vertical-align%3A-.838ex%22%20viewBox%3D%220%20-791.3%20778.5%201152.1%22%20xmlns%3D%22http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%22%20aria-labelledby%3D%22MathJax-SVG-1-Title%22%3E%3Cdefs%20aria-hidden%3D%22true%22%3E%3Cpath%20stroke-width%3D%221%22%20id%3D%22a%22%20d%3D%22M166-215h-7l-12%203-6%208-2%207q0%207%205%2014l162%20316H70q-14%207-14%2020%200%2015%2016%2020h255l79%20154H72q-16%205-16%2020%200%2013%2014%2020h356q171%20335%20176%20340%203%209%2016%209%207%200%2012-4t6-9%202-7q0-4-167-329h236q15-8%2015-20%200-11-14-19l-257-1-80-154h337q14-10%2014-20%200-13-15-20H351Q175-210%20170-212q-4-3-11-3z%22%2F%3E%3C%2Fdefs%3E%3Cuse%20xlink%3Ahref%3D%22%23a%22%20stroke%3D%22currentColor%22%20fill%3D%22currentColor%22%20stroke-width%3D%220%22%20transform%3D%22matrix%281%200%200%20-1%200%200%29%22%20aria-hidden%3D%22true%22%2F%3E%3C%2Fsvg%3E );
} }