В булевой алгебре: логическое отрицание.
В алгебре может означать комплексное сопряжение.
В геометрии и линейной алгебре: может обозначаться вектор (вместо стрелочки).
В теории множеств:
множество значений от a до b, обозначается a,b и черта над этими тремя символами (a и b — обычно числа).
В теории чисел:
обозначает, что под чертой все вместе считается числом, — говорит о том, что каждая буква — это цифра, а вместе они образуют десятичное число.
В функциональном анализе так может обозначаться замыкание множества.