Не могу найти символ

[kas]

Здравствуйте. Подскажите, пожалуйста, название символа, который обозначает, что две формулы имеют одинаковый список моделей, на которых они истинны. Он должен выглядеть как \models ($\models$), только вертикальная палочка с обеих сторон.

[kas]

Пока нашел только два схожих метода решения проблемы
1) Использовать

\mathrel{\mathop{\models}\mspace{-6mu}\vert}

$ \mathrel{\mathop{\models}\mspace{-6mu}\vert}$
2) использовать

\mathrel{\mathop{\models}\mspace{-9mu}\mathop{\leftmodels}}

из пакета MnSymbol

[meduza]

\newcommand{\eqmodels}{\models\!\!\!|}

$\models\!\!\!|$