sign::=