детализировать внутри уравнения

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}

и выход

Я хотел бы получить что-то похожее, но без необходимости использовать ''begin cases'', я думал, что itemize будет выглядеть лучше после вертикальной линии. Есть ли у кого-нибудь идея, как сделать это уравнение более симпатичным?

заранее спасибо

Answer 1

Решение с маленькими маркерами и упрощенным кодом с использованием пакетов nccmath, relsizeи braket. Я исправил определение команды \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}

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

Выберите слово получше, чем «коззи».