Для краткости вместо слов " Точка А лежит на прямой b" в математике используют запись

• ⋂
• ∉
• ∃
• ∊