updated proposal according to revision notes; defined shortcuts for typing the Unicode characters
in LaTeX more easily; fixed some of the awkward page breaks.