Simbolo \vDash

vsara” post=122041In ambiente matematico il simbolo \vDash produce un simbolo che in un certo senso è orientato da sinistra a destra.
Qual’è il comando per il corrispondente simbolo orientato da destra a sinistra?

Alcuni font come [tt]mathabx[/tt] hanno il simbolo, ma cambiano anche tutti gli altri.

Il modo è semplice.
`
\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{graphicx}

\makeatletter
\newcommand{\Dashv}{}% per sicurezza
\DeclareRobustCommand{\Dashv}{\mathrel{\mathpalette\Dashv@\relax}}
\newcommand{\Dashv@}[2]{%
\reflectbox{$\m@th#1\vDash$}%
}
\makeatother

\begin{document}

$\vDash A$

$A \Dashv$

\end{document}
`

[attachment=2729]Screenshot2023-02-28at23.58.49.png[/attachment]

Ciao
Enrico