Original	Umsetzung
$A\vdash B$	$A\vdash B$
$A\dashv B$	$A\dashv B$
$A\nvdash B$	$A\nvdash B$
$A\vDash B$	$A\vDash B$
$A\top$	$A\top$
$A\bot$	$A\bot$
$A\therefore B$	$A\therefore B$
$A\because B$	$A\because B$
$\blacksquare$	$\blacksquare$
$\Box$	$\qed$