Add support for \bigtimes

Fixes #11223

diff --git a/lib/symbols b/lib/symbols
index 31491dc56758dfc64fd3999eef7a6be8a11ec205..2e097e72d02c5604a1129ac1e44b6e9a01e3029d 100644 (file)
--- a/lib/symbols
+++ b/lib/symbols
@@ -1126,6 +1126,7 @@ pod                lyxblacktext  0   0 func     x  x     amsmath
 # mathtools.sty
 vcentcolon         cmr          58  58    mathrel :  :          mathtools
 ordinarycolon      cmr          58  58    mathrel :  :          mathtools
+\def\bigtimes{\mathop{\diagup\kern-16mu\diagdown}} mathtools
 \def\dblcolon{\vcentcolon\mathrel{\kern-0.9mu}\vcentcolon}      mathrel ::          ::          mathtools
 \def\coloneqq{\vcentcolon\mathrel{\kern-1.2mu}=}                mathrel ≔   ≔    mathtools
 \def\Coloneqq{\dblcolon\mathrel{\kern-1.2mu}=}                  mathrel ⩴    ⩴    mathtools