Add \[ as a way of escaping [.

This just replaces \[ with [[, which continues to work.

Fixes #489.