ProgrammerBook.ru: Обратите внимание, что
Эти элементы размещают надсимвольный знак выше термина, вкладываемого в элемент. VEC рисует стрелку вправо над термином; BAR рисует линию; DOT и DDOT рисуют одиночной и двойной точкой соответственно; HAT и TILDE рисуют соответствующий символ над термином, например:
^ <HAT>X</HAT> даёт X ~ <TILDE>X</TILDE> даёт X
Примечание: для этих элементов не предусмотрено никаких атрибутов.