オーバーライン
文章
LaTeX では、\overline コマンドを使う方法と \bar コマンドを使う方法があり、表示に差がある。\overline は内容の長さに合わせて伸び縮みする一方 \barの長さは短く一定であるため、線分や循環小数を示すためには \overline、論理否定や複素共役を示すためには \bar が適する。
A ̄ A ̄ B ̄ A B ̄ {\displaystyle {\overline {A}}\quad {\overline {A}}{\overline {B}}\quad {\overline {AB}}}
A ̄ A ̄ B ̄ A B ̄ {\displaystyle {\bar {A}}\quad {\bar {A}}{\bar {B}}\quad {\bar {AB}}}
なお \quad は空白を挿入するコマンド。