Used for questions about the recursively enumerable sets in computability theory/recursion theory.  Should be pretty self-explanatory.