La negación de este símbolo se denota formula_27.