The first fifteen asteroids to be discovered were given symbols by astronomers as a type of short-hand notation.
The first fifteen asteroids to be found have been given symbols by astronomers as a type of short-hand notation.