Двойная вертикальная черта

Question

Обычная нотация, используемая для информационного расхождения, это D(P||Q). Я надеюсь получить что-то вроде D(S||Q)где S=||P||/2. Интересно, можно ли отобразить это красиво ? Таким образом, чтобы средняя двойная черта имела правильную высоту. Я попробовал

$D \left( \frac{\|P\|}{2} \right| \left| Q \right)$

Вышеуказанное не работает, так как средняя полоса не той же вертикальной высоты, но это ближе всего к тому, чего я надеюсь достичь. Использование just \|вместо \right| \left|для средней двойной полосы приводит к короткой средней двойной полосе.

Есть ли у кого-нибудь хорошая идея, как этого добиться? Спасибо, иначе я мог бы просто создать новую нотацию.

---

-- Обновление -- Мне удалось выяснить, как это сделать с помощью этого полезного оператора\middle

$D \left( \frac{\|P\|}{2} \middle\| Q \right)$

Надеюсь, кому-то это может оказаться полезным.

Answer 1

Эту двойную черту следует рассматривать как бинарное отношение, чтобы ее можно было отличить от других случаев использования, таких как норма.

Самый простой способ справиться с проблемой — использовать mathtoolsследующие возможности:

\documentclass{article}
\usepackage{mathtools}

\DeclarePairedDelimiterX{\infdivx}[2]{(}{)}{%
  #1\;\delimsize\|\;#2%
}
\newcommand{\infdiv}{D\infdivx}
\DeclarePairedDelimiter{\norm}{\lVert}{\rVert}


\begin{document}

\begin{gather}
D\left(P \middle\| Q\right) \rlap{\quad\itshape WRONG!} \\
% normal size
\infdiv{P}{Q} \\
% fixed size delimiters
\infdiv[\bigg]{\frac{\norm{P}}{2}}{Q} \\
% extensible delimiters
\infdiv*{\frac{\norm{P}}{2}}{Q}
\end{gather}

\end{document}

Обратите внимание, что номер 1 неверен в двух отношениях: между буквой «D» и левой скобкой имеется нежелательный пробел; две черты расположены слишком близко к символам, что создает двусмысленность.

Answer 2

В MathJax используйте $\lVert$и $\rVert$. Заглавная v дает вам двойные черты, а строчная v в $\lvert$дает одинарные вертикальные черты. Но мне не ясно, что для вас является "правильной" высотой.

Также у вас есть $\vert$и $\Vert$.

Поскольку вы упоминаете использование вертикальной черты в качестве бинарного отношения, вы можете захотеть, чтобы $\mid$which был кернен, чтобы располагаться посередине между соседями. Но у него нет версии с двумя чертами, поэтому, наконец, у вас есть вариант which $\mathrel{\Vert}$является как с двумя чертами, так и кернен к центру.

Answer 3

Использование \parallel дает хороший результат.  Код Latex:D_{KL}(q(z|x,\phi)\parallel p(z))

Answer 4

Альтернативой является использование \Big\|. А вместо \Bigone можно использовать \bigили \biggи т. д. в зависимости от желаемой длины.