В математике символ "|" обозначает "такой что" или "такой, что". В вашем примере, множество A состоит из всех целых чисел x, для которых x меньше или равен 3 и x принадлежит множеству целых чисел (Z). Таким образом, выражение можно прочитать как "множество всех целых чисел x, для которых x меньше или равен 3 и x принадлежит множеству целых чисел".