[LaTeX] Comando \models

[thedarkhero]

In LaTeX, nell'ambiente matematico, il comando \models produce il simbolo $\models$.
L'utilizzo più diffuso di questo simbolo in logica matematica è, date due proposizioni $A$ e $B$, scrivere che $A \models B$ per indicare che ogni modello di $A$ è un modello di $B$.
La mia domanda riguardo LaTex è se esiste un comando per produrre il simbolo $\models$ ma orientato al contrario (da destra verso sinistra).

Inoltre chiedo a chi ha già incontrato questo simbolo nel contesto della logica matematica, esiste un simbolo per indicare sinteticamente che $A \models B$ e $B \models A$?

[sellacollesella]

In base a quanto qui indicato, un modo è il seguente:

Codice:

\documentclass{article}
\usepackage{MnSymbol}
\begin{document}
$\rightmodels\leftmodels$
\end{document}

[megas_archon]

Hai diverse scelte: https://tex.stackexchange.com/questions ... rsed-vdash

Ah, ecco, qualcuno ha già risposto.

[thedarkhero]

Fantastico! Grazie mille ad entrambi!