# turnstile – Typeset the (logic) turnstile notation

Among other uses, the turnstile sign is used by logicians for denoting a consequence relation, related to a given logic, between a collection of formulas and a derived formula.

Sources | `/macros/latex/contrib/turnstile` |

Documentation | |

Version | 1.0 |

Licenses | The LaTeX Project Public License |

Copyright | 2007 Arthur Buchsbaum and Francisco Reinaldo |

Maintainer | Arthur Buchsbaum Francisco Reinaldo |

Contained in | TeX Live as turnstile MiKTeX as turnstile |

Topics | Maths symbol Logic |

Download the contents of this package in one zip archive (617.2k).

## Announcements

## Suggestions

Maybe you are interested in the following packages as well.

## Community Comments