Notation for "A does not imply B"

If you use a generic $\to$ or $\Rightarrow$ for imply then slash through for the not-imply.

But you can perhaps do better. If you actually mean syntactic entailment (so non-implication is a matter of there being no proof from $A$ to $B$ in the relevant proof system) then $A \nvdash B$ is available and absolutely standard.

If you actually mean semantic entailment (so non-implication is a matter of there being a valuation which makes $A$ true without making $B$ true) then $A \nvDash B$ is available and quite standard.

Usually, we use double arrows for implications: $A\Rightarrow B$. You can use a crossed out double arrow for does not imply: $A\nRightarrow B$. In LaTeX, these are "\Rightarrow" and "\nRightarrow", respectively.