non (nadtrzeni)

[Petr Sojka]

"Jiri Hospodka Ing. K331 wrote:"
:
: Dobry den,
: mohl by mi prosim vas nekdo poradit, jak lze v TeX-u resp. LaTex-u
: napsat logickou _____ negaci (neco jako \bar) nad vice nez jedno
: pineno, napr.   RESET.
Lamport, str.190:

\overline{formula}
Typesets formula with a horizontal line above it.

Takze treba
$\overline{\mbox{RESET}}$

Zdravi
Petr Sojka
:
: dekuji                            Jiri Hospodka
: