Bug fix for `\varcoppa` in texvccheck

A backslash was missing from the translation of `\varcoppa`.

Change-Id: Ic987f1a67ac73395d7ee16e7f8bcd38a6bad6e11