Speci cations in an arbitrary institution with symbols