Una barra cruzada sobre el símbolo niega el enunciado; por ejemplo formula_36 es «x "no" pertenece a A».