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