code: function(all, backslash, comment){
        var spaces = "                                                                                                                                                                                                     ";
        var padding = comment ? spaces.substring(0, comment.length) : "";
        return backslash + " \x12" + padding;
      }
docs: get rid of latex commands.