| ID | 10808 | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Build | texlive-2023-71.fc41 | |||||||||
| Name | texlive-turnstile | |||||||||
| Version | svn64967 | |||||||||
| Release | 71.fc41 | |||||||||
| Epoch | 11 | |||||||||
| Arch | noarch | |||||||||
| Draft | False | |||||||||
| Summary | Typeset the (logic) turnstile notation | |||||||||
| 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. | |||||||||
| Build Time | 2024-04-25 04:32:39 GMT | |||||||||
| Size | 14.44 KB | |||||||||
| dc2d8f7de4037f86611c43594ab12ee0 | ||||||||||
| License | LPPL-1.3c | |||||||||
| Buildroot | f41-build-16326-578 | |||||||||
| Provides |
|
|||||||||
| Obsoletes | No Obsoletes | |||||||||
| Conflicts | No Conflicts | |||||||||
| Requires |
|
|||||||||
| Recommends | No Recommends | |||||||||
| Suggests | No Suggests | |||||||||
| Supplements | No Supplements | |||||||||
| Enhances | No Enhances | |||||||||
| Files | ||||||||||
| Component of |
|
|||||||||
