For example, the fresh trademark with the an icon 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 beneficial,b). The signature for f, on the other hand, might allow that symbol to appear in f(p) and f(p,q), but disallow f(p,q,r) and […]
