\times または \neq は準拠できません

\times または \neq は準拠できません

このコードで \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}

関連情報