\times 或 \neq 无法满足要求

Question

当我尝试在此代码中写入 \times 或 \neq 时，它会出于某种原因输出 Γ。您能否建议我应该如何改进序言的哪一部分？我将不胜感激您的指导。

\documentclass[11pt,english]{smfart} 
\usepackage[OT2,T1]{fontenc} 
\usepackage[english,francais]{babel} 
\usepackage{url,xspace,smfthm} 
%\usepackage{amsthm} 
\usepackage{amsmath,amssymb,amsfonts} 
\usepackage{mathtools} 
\usepackage[dvipdfmx]{graphicx} 
\usepackage{tikz} 
\usepackage{tikz-cd} 
\usepackage{enumitem}
    
\DeclareSymbolFont{cyrletters}{OT2}{wncyr}{m}{n} 
\DeclareMathSymbol{\Sha}{\mathalpha}{cyrletters}{"58} 
\DeclareMathSymbol{\Zhe}{\mathalpha}{cyrletters}{"11} 
\DeclareMathOperator{\Coker}{Coker}
    
\theoremstyle{definition} 
\newtheorem{definition}{Definition} 
\newtheorem{lem}{Lemma} 
\newtheorem{cor}{Cor} 
\newtheorem{remark}{remark}
    
\usetikzlibrary{cd,bbox,babel}
        
\usepackage{amsmath,amssymb,amsfonts,amscd}

\begin{document}
 $a\neq 0, b\neq 0$ implies $a\times b\neq 0$ 


\end{document}