Is there a reference to the symbol tau introduced by Bourbaki in the first book on set theory? Is it useful or necessary? Did it go out of fashion? How is it read? At the end of the logic chapter, they use it to represent the solution of an equation R. Can you explain this usage?