There's a (secret?) feature of readline that lets you do \[ \] type stuff using 001 and 002 bytes instead.

This made my day!  Thank you.

Reply via email to