☰

`\langle \rangle` 内的排列

tag-icon • tag-icon formatting
`\langle \rangle` 内的排列

我的 MWE 中有一个代数定义的群。问题是它太长，一行都放不下。我怎样才能让它看起来更好？

\documentclass[11pt,a4paper]{article}
\usepackage[latin1]{inputenc}
\usepackage{amsfonts}
\usepackage[left=3.50cm, right=3.0cm, top=3.0cm, bottom=3.0cm]{geometry}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amssymb}
\begin{document}
$$G = \langle a, b, x, y, z \;|\; a^4 = 1_G =1, b^2 =1, ab=ba, x^3=y^3=z^3=1, xy=yx, x^a = xy, x^b =x, y^a =xy^2, y^b =y, z^a =xyz, z^b = y^2z^2[y,z], [x, y, x]=1 \rangle$$
\end{document}

答案1

我建议根据 的文档中描述的集合构建器符号的代码进行修改mathtools，并将其嵌套在 的medsize环境中nccmath；以便使其适合两行。

我定义一个 \GenRels命令，一参数分为两部分：生成器和关系，由\st命令分隔。如果您使用命令的星号版本，分隔符和垂直规则的大小会自动适应内容的大小，这会\left \middle \right在相关位置添加隐式。或者，您可以使用以下可选参数之一来微调分隔符的大小\big, \Big, \bigg, \Bigg：

\documentclass[11pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsfonts}
\usepackage[left=3.5cm, right=3cm, vmargin=3cm, showframe]{geometry}
\usepackage{graphicx}
\usepackage{mathtools, nccmath}
\usepackage{amsthm}
\usepackage{amssymb}

\providecommand\st{}
\newcommand\RelSymbol[1][]{%
\nonscript\:#1\vert
\allowbreak
\nonscript\:
\mathopen{}}
\DeclarePairedDelimiterX\GenRels[1]\langle\rangle{%
\renewcommand\st{\RelSymbol[\delimsize]}
#1}

\begin{document}
\mbox{}

\[ \GenRels*{ a, b, x, y, z \st
\begin{medsize}
\begin{aligned} & a^4 = 1_G =1,\enspace b^2 =1, \enspace ab=ba, \enspace x^3=y^3=z^3=1, \enspace xy=yx,\enspace x^a = xy, \\[-0.5ex] %
 & x^b =x, \enspace y^a =xy^2,\enspace y^b =y,\enspace z^a =xyz,\enspace z^b = y^2z^2[y,z],\enspace [x, y, x]=1%
\end{aligned}
\end{medsize}
} \]

\end{document}

enter image description here

答案2

您可以将该东西放在多行aligned环境中。

\documentclass[11pt,a4paper]{article}
\usepackage[latin1]{inputenc}
\usepackage{amsfonts}
\usepackage[left=3.50cm, right=3.0cm, top=3.0cm, bottom=3.0cm]{geometry}
\usepackage{graphicx}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{amssymb}
\begin{document}
\[
\begin{aligned}
G ={}& \langle a, b, x, y, z \;|\; a^4 = 1_G =1, b^2 =1, ab=ba, x^3=y^3=z^3=1,\\
&xy=yx, x^a = xy, x^b =x, y^a =xy^2, y^b =y, z^a =xyz, z^b = y^2z^2[y,z],\\
& [x, y, x]=1 \rangle
\end{aligned}
\]
\end{document}

enter image description here

答案3

您可以使用内部aligned：

\documentclass[11pt,a4paper]{article}
\usepackage{amsmath}

\begin{document}

\begin{equation*}
G = \langle a, b, x, y, z \mid
  \begin{aligned}[t]
  & a^4 = 1_G =1, b^2 =1, ab=ba,\\
  & x^3=y^3=z^3=1, xy=yx, \\
  & x^a = xy, x^b =x, \\
  & y^a =xy^2, y^b =y, \\
  & z^a =xyz, z^b = y^2z^2[y,z], \\
  & [x, y, x]=1 \rangle
  \end{aligned}
\end{equation*}

\end{document}

我根据身份“种类”进行分组。

重要提示：切勿$$在 LaTeX 中使用，请参阅为什么 \[ ... \] 比 $$ ... $$ 更可取？

enter image description here

相关内容