Acondition statement uses à as its notation ?

Let's say that there is a condition statement like :

If x then Y, it denoted as : x -> y

~x will  denotes negation of x
So inverse of above statement would be ~x -> ~y and contrapositive is ~y -> ~x

hope this helps