Определение группы Selmer, латекс

Question

$\text{Sel}^{\phi}(E/\Bbb{Q}) 
  = \{d\in \Bbb{Q}(S,2)\mid C_d(\Bbb{Q}_p)\neq \emptyset , \forall p\in S,
     C_d: dy^2=d^2-4Dx^4\}$

Я хочу выразить вышеизложенное следующим образом.

Но два условия не компилируются как указано выше на этом этапе. Как мне это сделать?

Answer 1

Вам нужно что-то вроде следующего.

\documentclass{article}
\usepackage{amsmath,amssymb}

\DeclareMathOperator{\Sel}{Sel}

\begin{document}

\[
\Sel^{\phi}(E/\mathbb{Q})=
\left\{
  d\in \mathbb{Q}(S,2)
  \;\middle|\;
  \begin{aligned}
  & C_d(\mathbb{Q}_p)\neq \emptyset , \forall p\in S, \\
  & C_d: dy^2=d^2-4Dx^4
  \end{aligned}
\right\}
\]

\end{document}

1. \Bbbбыл признан устаревшим на протяжении десятилетий;
2. \text{Sel}не очень хорошо;
3. для того, чтобыРаспечататьнужные вам скобки \{и \}(в данном случае раздвижные).