BSD Portsprint/tex-turnstile 1.0 NetBSD
Typeset the (logic) turnstile notation
- System
- NetBSD
- Repository
- pkgsrc
- Maintainer
- [email protected]
- License
- lppl-1.3c
- Categories
- Package size
- 4.8 KiB, 9.0 KiB installed
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.
Install
Binary package:
pkgin install tex-turnstileFrom pkgsrc:
cd /usr/pkgsrc/print/tex-turnstile && make install cleanPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | Version |
|---|---|
| NetBSD 10.1 x86_64 | 1.0 |
| NetBSD 10.1 aarch64 | 1.0 |
| SmartOS / illumos x86_64 | 1.0 |
| macOS 15 arm64 | 1.0 |
Dependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.