Minor edits

Fixed some notation and spacing.
Added example environments.