a few small changes. For example: replaced < with \langle