Fórum de Matemática | DÚVIDAS? Nós respondemos!

Entrei essas duas imagens no livro de Iezzi. A afirmação é que uma é a negação da outra. Não entendo o que significa esses simbolos (para mim era "tal que"), mas esse cortado seria o que? E por qual motivo uma é a negação da outra?

Em álgebra abstrata e teoria de números, n|m designa que o número n divide o número m. É provável que seja este o significado neste contexto.