By way of example, the brand new trademark of the a symbol p might allow p to appear in a term of the form f(p), but disallow it to occur in a term like p(a,b). The signature for f, on the other hand, might allow that symbol to appear in f(p) and f(p,q), but disallow… Continue reading By way of example, the brand new trademark of the a symbol