Какие знаки используются для обозначения дизъюнкции