Replace // by \\ in lcsymtacs.

This changes the choice made in commit 34ece5fb.

The file hol-mode.src will also need updating, however it's best if this is done/checked by an emacs user.