我尝试在方程中使用 itemize,但出现了一堆错误
\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\begin{document}
\begin{equation}
\begin{itemize}
\item V_{p}=\Biggl\{F\in\Phi\hspace{2mm}\Bigg|\begin{cases}
p^2\nmid \text{disc}(F)\hspace{1mm} \text{if}\hspace{1mm} p\neq 2
\item\text{disc}(F)\equiv 1\pmod 4 \vee \text{disc}(F)\equiv 8\vee 12
\pmod{16} \hspace{1mm}\text{if} \hspace{1mm}p=2\Biggr\}
\end{itemize}
\end{equation}
\end{document}
所以我尝试使用 begin 案例,但我对它的外观并不满意
\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\begin{document}
\begin{equation}
V_{p}=\Biggl\{F\in\Phi\hspace{2mm}\Bigg|\begin{cases}
p^2\nmid \text{disc}(F)\hspace{1mm} \text{if}\hspace{1mm} p\neq
2\\\text{disc}(F)\equiv 1\pmod 4 \vee \text{disc}(F)\equiv 8\vee 12
\pmod{16} \hspace{1mm}\text{if} \hspace{1mm}p=2\Biggr\}
\end{cases}
\end{equation}
\end{document}
和输出
我想得到类似的东西,但不必被迫使用“开始案例”,我认为 itemize 在垂直线后看起来会更好。有人知道如何让这个等式看起来更漂亮吗?
先感谢您
答案1
nccmath
一个使用、relsize
和包的小项目符号和简化代码的解决方案braket
。感谢 David Carlisle,我修补了命令的定义\Set
以改善括号的间距。请注意,“discr”实际上是一个数学运算符,我将其声明为数学运算符,以便获得更好的水平间距。
\documentclass[11pt, a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage[textwidth = 15cm]{geometry}
\usepackage{lmodern, amssymb}
\usepackage{mathtools}
\usepackage{braket, relsize, nccmath}
\renewcommand\Set[1]{%
\csname Set \endcsname{\mskip-\medmuskip#1\mskip-\medmuskip}}%
\DeclareMathOperator{\disc}{disc}
\pagestyle{empty}
\begin{document}
\begin{equation}
V_{p}=\Set{%
F\in\Phi | %
\begin{medsize}\begin{array}{@{\mathsmaller{\bullet}\enspace}l@{}}
p^2 \nmid \disc(F) \quad \text{if}\enspace p \neq 2\\[1ex]
\disc(F)\equiv 1\pmod 4 \vee \disc(F)\equiv 8\vee 12
\pmod{16} \quad\text{if} \enspace p =2
\end{array}\end{medsize}
}%
\end{equation}
\end{document}
答案2
我会避免冗长的集合描述;只需为 p 提供不同于 2 的定义以及为 2 提供两个定义:
\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{amssymb}
\DeclareMathOperator{\disc}{disc}
\begin{document}
We say that $\disc(F)$ is \emph{quozzy} if $\disc{F}\equiv1\pmod{4}$ or
$\disc(F)\equiv8\pmod{16}$ or $\disc(F)\equiv12\pmod{16}$; we shall use
this notion mostly for $p=2$; then we set
\begin{equation}
\begin{aligned}
V_{p}&=\{\, F\in\Phi : p^2\nmid \disc(F)\,\}\quad(p\neq 2) \\
V_{2}&=\{\, F\in\Phi : \text{$\disc(F)$ is quozzy}\,\}
\end{aligned}
\end{equation}
\end{document}
选择一个比“quozzy”更好的词。