Task: Text Simplification
Input (English): the first fifteen asteroids to be discovered were given symbols by astronomers as a type of short-hand notation.
Output (English): the first fifteen asteroids to be discovered were given symbols by -lrb- 1 -rrb- astronomers as a type of short-hand notation.