CTAN Comprehensive TeX Archive Network

CTAN Update: rec-thy

Date: May 23, 2020 10:25:06 AM CEST
Peter M. Gerdes submitted an update to the rec-thy package. Version: 3.3 License: pd Summary description: Commands to typeset recursion theory papers Announcement text:
Removed \reaop, \alphaREAop, \aREAop in favor of using the single form \REAop. Removed \functo, \map and funcomp, \hgtO as useless synonyms and removed \KleeneOBelow and KleeneOLess as beyond what the package should define. Added package option compat31 to ensure package compatibility with version 3.1. An optional parentheses delimited argument specifying the base has been added to \REAop. Both \REAop and the pair \REA/\CEA have been updated to ignore order of optional arguments. The square brackets used to delimit the argument to the use command are now auto-sized. Added \pmapsto, \pmapsfrom, \kleeneZero, \kleeneNum, \entersat. Also Misc typesetting fixes. Fixed/added tweak to overline so it looks correct. Also added real symbols so that \subfunneq and \supfunneq can be defined appropriately. Fixed incorrect use of \tiny in math mode.
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/rec-thy The package’s files themselves can be inspected at http://mirror.ctan.org/macros/latex/contrib/rec-thy/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs

rec-thy – Commands to typeset recursion theory papers

This package is designed to help mathematicians publishing papers in the area of recursion theory (aka Computability Theory) easily use standard notation. This includes easy commands to denote Turing reductions, Turing functionals, c.e. sets, stagewise computations, forcing and syntactic classes.

Packagerec-thy
Version3.7 2021-03-30
Copyright2010–2021 Peter M. Gerdes
MaintainerPeter M. Gerdes

Announcements

more

Guest Book Sitemap Contact Contact Author