Логічна символіка

– для будь-якого, для кожного, для всіх.

– існує.

– існує і єдиний.

– випливає, має наслідком.

– рівносильне.

– дорівнює за означенням.