AddSymbolSpec.het revision 48c29e3b5ebe94aafb40fe57ac185eea74942eb4
sort s, t, u;
ops a, o : s
. a = o