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