CTAN Update: rec-thy

CTAN Announcements ctan-ann at ctan.org
Sat May 23 10:25:06 CEST 2020

Peter M. Gerdes submitted an update to the



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

The package’s files themselves can be inspected at


   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

More information about the Ctan-ann mailing list