Для записи этих условий на языке символов можно использовать следующие обозначения:

( AB \cap \pi_y = K ) – прямая ( AB ) пересекает плоскость ( y ) в точке ( K ).( A \in AB ) и ( A \in CB ) – точка ( A ) лежит на прямой ( CB ).( a \cap b \neq \emptyset ) – прямая ( a ) пересекает прямую ( b ).

Таким образом, полное выражение будет выглядеть как:

[
AB \cap \pi_y = K, \quad A \in AB \land A \in CB, \quad a \cap b \neq \emptyset
]