Тогава използвай символа за дели вместо дели се на. Твърдението а се дели на р и не се дели на р^2 е същото като р дели а и р^2 не дели а, което може да запишеш като p|a и p^2 -|- a. Това последното е задраскана вертикална черта.