\bar 和 polinomios

Question

在 Latex 中可以获得这种表达吗？

我曾尝试过

$\bar {\exists  Z }= \bar {\left \{ x_1x_2: \exists ix_i = 0 \right \}}  $

并且只显示存在符号上的栏。

Answer 1

您应该使用\overline而不是\bar。虽然 显示的条的长度\bar是固定的，但 显示的条的长度\overline会根据其参数而变化。

\documentclass{article}
\begin{document}
\( \overline{\{ x_1 x_2 : \exists i \ x_i = 0\}} \)
\end{document}

此外，这里不需要使用\leftand \right，因为花括号不会变大。

Answer 2

另一种方法是使用\widebar@Hendrik Vogt 的宏我可以不使用 mathabx 包来获得 \widebar 吗？。结果如下。

\documentclass[a4paper,12pt]{article}
\usepackage{mathtools,amssymb}
\usepackage{braket}
\makeatletter % using \widebar macro Hendrik Vogt: https://tex.stackexchange.com/questions/16337/can-i-get-a-widebar-without-using-the-mathabx-package/60253#60253
\newcommand*\rel@kern[1]{\kern#1\dimexpr\macc@kerna}
\newcommand*\widebar[1]{%
  \begingroup
  \def\mathaccent##1##2{%
    \rel@kern{0.8}%
    \overline{\rel@kern{-0.8}\macc@nucleus\rel@kern{0.2}}%
    \rel@kern{-0.2}%
  }%
  \macc@depth\@ne
  \let\math@bgroup\@empty \let\math@egroup\macc@set@skewchar
  \mathsurround\z@ \frozen@everymath{\mathgroup\macc@group\relax}%
  \macc@set@skewchar\relax
  \let\mathaccentV\macc@nested@a
  \macc@nested@a\relax111{#1}%
  \endgroup
}
\makeatother
\begin{document}
\[\widebar{\Set{x_1 x_2 \colon \exists i \, x_i = 0}}\]
\end{document}

该\Set命令与包一起使用braket，在左侧和右侧提供空白空间。