Для набора символов следует использовать юникод HTML-сущности .
Для строки над переменной (p) я бы предпочел использовать альтернативный символ для not, например:
& # x00AC; p (¬p
)
Вы также можете, как отметил комментатор, использовать объединяющую диакритическую юникодную HTML-сущность, например:
р & # x0305; (p̅
)
Наконец, вы можете использовать один из предоставленных методов CSS.