逐項列出方程式

Question

我試圖在方程式中使用 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}

所以我嘗試使用開始案例，但我對它的外觀不太滿意

\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 在垂直線之後看起來會更好。有人知道如何讓這個方程式看起來更漂亮嗎？

先感謝您

Answer 1

一個小項目符號的解決方案，並且使用 和nccmath包簡化了您的程式碼。感謝 David Carlisle，我修補了指令的定義，以改善大括號的間距。請注意，「discr」實際上是一個數學運算符，我這樣聲明它，以便有更好的水平間距。relsizebraket\Set

    \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}

Answer 2

我會避免冗長的場景描述；只需提供與 2 不同的 p 和 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”更好的詞。