[Tex/LaTex] itemize inside an equation

Question

I am trying to use itemize inside an equation, but I am getting a bunch of errors

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

so I tried with begin cases instead but I am not really satisfied with how it looks

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

and the output

I would like to get something similar but without being forced to use ''begin cases'', I thought itemize would look better after the vertical line. Does anyone have an idea how to make this equation to look prettier?

Thank you in advance

Answer 1

A solution with small bullets, and your code simplified, using the nccmath , relsize and braket packages. I patched the definition of the \Set command thanks to David Carlisle to improve the spacing of the braces. Note that "discr" is actually a math operator, and I declare it as such, in order to have better horizontal spacings.

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