Description
Typeset the (logic) turnstile notation.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.turnstile ])
.
Typeset the (logic) turnstile notation.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.turnstile ])
.
1.0