здесь работает признак равенства треугольника.

соединим точку A и x, ну и B и x соответственно тоже, образовалось 2 треугольника:

AOX и BOX. стороны АО и ВО равны по условию( точка О середина АВ) , а так-же присутствует общая сторона ОХ, ну и углы при вершине О у этих двух треугольников по 90 град. ( ОХ-перпендикуляр по условию) => эти треуг. = 

=>соответственные стороны у них = из этого можно сделать прямой вывод, что АХ=ВХ

=> этот значок не улыбка, он обозначает слово ''следовательно''(ну так, на всякий случай)