precedence and orderings do not require a signature, but only a list of symbols;
updated formulas to compute their set of symbols easily