short for is not

Mike isn't coming with us.