texlive-turnstile - Typeset the (logic) turnstile notation
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
| Vendor: | Alcance Libre, Inc. |
- Description:
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.
Packages
| texlive-turnstile-svn15878.1.0-46.fc14.al.noarch [48 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |