Add support for \bigtimes

Fixes #11223
This commit is contained in:
Enrico Forestieri 2021-02-04 23:20:01 +01:00
parent 8202e4e571
commit c1e38c4f6c

View File

@ -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