Found these signs in my Discrete Math class