Wie kombiniere ich \overbrace und \overline wie gewünscht?

Question

Folgendes berücksichtigen:

\documentclass[a4paper,12pt]{article}

\usepackage{amsmath}

\begin{document}

$u=\overline{\exists degree\hspace{3pt} \overbrace{\big(\underbrace{degrees(course, degree)}_{u_1}\wedge\underbrace{degree\neq 1}_{u_2}\big)}^{u_3}}$

\end{document}

Das Ergebnis ist:

Ich möchte, dass das \overbracemit dem u_3Label erscheintüberdie \overline, umfassen aber trotzdem nur die Klammern. Ich finde keine Möglichkeit, das zu machen.

Kann man das irgendwie machen?

Answer 1

Setzen Sie das Ganze dreimal. Das erste Mal als horizontales Phantom, um die Breite festzulegen, das zweite Mal als echtes Phantom und das dritte Mal als vertikales Phantom.

Die ersten beiden Male werden die beiden Objekte mit überlagert \ooalign.

Um Tipparbeit zu sparen, wird das Objekt in einem temporären Befehl gespeichert, der als Argument eine unsichtbare Regel verwendet, die seine Höhe angibt.

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath}
\usepackage{lipsum} % for giving context

\newcommand{\func}[1]{\operatorname{#1}}
\newcommand{\var}[1]{\mathit{#1}}

\begin{document}

\lipsum*[2]
\[
\newcommand{\contents}[1]{%
  \exists\, \var{degree} \: 
  \overbrace{
    #1
    \bigl(\,
      \underbrace{\func{degrees}(\var{course},\var{degree})}_{u_1}
      \wedge
      \underbrace{\var{degree}\neq 1}_{u_2}
    \,\bigr)
  }^{u_3}
}
u={\ooalign{%
    $\displaystyle\overline{\rule{0pt}{2ex}\hphantom{\contents{}}}$\cr
    $\displaystyle\contents{\rule{0pt}{2.75ex}}$\cr
}}
\vphantom{\contents{\rule{0pt}{2.75ex}}}
\]
\lipsum[2]

\end{document}

Answer 2

Eine andere Lösung druckt die Formel nur einmal (nicht dreimal):

$$
  u =
  \vbox{\def\shiftA{3.3ex}\def\shiftB{\vrule height2.7ex width0pt} %spec. numbers for this formula
    \kern\shiftA\hrule\kern-\shiftA
    \hbox{$\displaystyle
       \exists\, {\it degree} 
           \overbrace{\big(
               \underbrace{\shiftB{\rm degrees}({\it course},{\it degree})}_{u_1}
               \wedge
               \underbrace{{\it degree}\neq 1}_{u_2}
           \big)}^{u_3}
    $}}
$$

Answer 3

\documentclass[12pt]{article}
\usepackage{mathtools}

\begin{document}
\def\contento{\exists\,\mathit{degree}}
\def\contenti{\big(
    \underbrace{{\rm degrees}({\it course},{\it degree})}_{u_1}
    \wedge
    \underbrace{{\it degree}\neq 1}_{u_2}
    \big)}
\[
u=\overline{\contento\phantom{\contenti}}
  \llap{$\displaystyle
        \overbrace{\vphantom{\overline{\contento\contenti}}\contenti}^{u_3}
    $}
\]

\[
u=\overline{\contento\vphantom{\contenti}}\!
\overbrace{
    \overline{\vphantom{\contento}\contenti}
}^{u_3}
\]
\end{document}

Answer 4

Ich möchte, dass das \overbracemit dem u_3Label erscheintüberdie \overline, umfassen aber trotzdem nur die Klammern. Ich finde keine Möglichkeit, das zu machen.

Also. Vergessen Sie \overline. Verwenden Sie einfach \hspaceund zeichnen Sie ein \rulean der gewünschten Position, Höhe, Länge (und Breite).

$$
u=\exists degree\hspace{3pt}
\overbrace{\big(\underbrace{degrees(course, degree)}_{u_1}
\wedge\underbrace{degree\neq 1}_{u_2}\big)
   \hspace{-21em}\rule[2.25ex]{21em}{}
}^{u_3}
$$