To see what tau knows about a function symbol

Examples: (tau-data binary-+) General Form: (tau-data fn)

This macro returns a list structure that indicates what facts about the
symbol

The list structure should be self-explanatory given the following brief
comments. The ``index'' of a function, when non-

The ``positive'' and ``negative implicants'' are conjunctions that indicate the tau implied by the given one or its negation.

The ``signatures'' entry is a formula indicating all the known signatures.
If the signatures formula is

If you wish to see a long list of all the runes from which some tau
information has been gleaned, evaluate