\times ou \neq não podem ser cumpridos

Question

Quando tento escrever \times ou \neq neste código, ele gera Γ por algum motivo. Você poderia me aconselhar sobre como devo melhorar qual parte do preâmbulo? Eu apreciaria sua orientação.

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