red logo with symbols <EM>for all</EM> and <EM>there
exists</EM> Set Theory

red line