change rightarrow to to
Make bind better looking
Use listings for code