Для записи условия, что прямые \( AB \) и \( CD \) не пересекаются, можно использовать символ «⊥», который обозначает, что линии параллельны. Однако, для формального математического выражения, обычно используется знак, показывающий отсутствие пересечения или спецификация параллельности.
Так, можно записать следующее:
\[ AB \parallel CD \]
или
\[ AB \cap CD = \emptyset \]
где \( \cap \) — знак пересечения, а \( \emptyset \) — символ пустого множества, указывающий, что пересечений нет.