Значки и кванторы

Всем хорошего дня!
Выкладываю свой листок, посвященный математическим знакам отношений и кванторам. Их удобно использовать в сильном классе для краткой записи некоторых геометрических определений и аксиом. Обычно ребятам нравится переводить высказывания с обычного русского языка на язык символов.
В новом издании учебника этот материал есть.