Repairing LaTeX syntax

I was experimenting with escaping things inside the double-$; it is
correct for nothing to be escaped.