如何输入和阅读符号“||-”

Question

我在模态逻辑教科书中多次见过这个符号||-，尤其是在认识论逻辑书籍中。但我找不到有关如何输入或阅读它的任何信息。通常，它意味着“语义蕴涵“ 或者 ”造型“在模态逻辑中。

但在一阶逻辑中，语义蕴涵表示为|=。相反，我们也用 来|-表达“句法蕴涵“ 或者 ”证明“。

谁能帮我？

Answer 1

您在寻找这个符号吗？

\documentclass[a4paper,12pt]{article}
\usepackage{amssymb}
\begin{document}
$A\Vdash B$
\end{document}