How to type and read the symbol '||-'

Question

I've met the symbol ||- many times in modal logic textbooks, especially in epistemic logic books. But I cannot find any info about how to type or read it. Usually, it means "semantical entailment" or "modelling" in modal logic.

But in first-order logic, semantical entailment is symbolised as |=. By contrast, we also use |- to express "syntactical entailment" or "proving".

Can anyone help me?

Asking how to obtain the symbol is on-topic (but duplicate); asking how you read the symbol isn't. — egreg, Aug 09 '20 at 15:51

score 2 · Accepted Answer · answered Aug 09 '20 at 14:53

2

Are you searching for this symbol?

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

answered Aug 09 '20 at 14:53

Sebastiano

54,118

How to type and read the symbol '||-'

1 Answers1