Documentation for tex-turnstile
