A<->(CuB)->¬HE B

К сожалению, не могу обработать эту запись, так как не знаю, что она значит. Возможно, это символы из логики или другой формальной системы, с которой я не знаком.