| Name : texlive-turnstile
| |
| Version : 1.0
| Vendor : Mandriva
|
| Release : 1
| Date : 2011-11-06 01:44:54
|
| Group : Publishing
| Source RPM : texlive-turnstile-1.0-1.src.rpm
|
| Size : 0.72 MB
| |
| Packager : Paulo Andrade < pcpa_mandriva_com_br>
| |
| 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.
|
RPM found in directory: /vol/rzm6/linux-mandriva/devel/cooker/sparcv9/media/main/release |
