LaTeX の整除,非整除の記号

プリアンブルに

\usepackage{amssymb}

とする

a は b を割る

 a \mid b 

a は b を割らない

a \nmid b