\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}