Make // a control tag, not a verbatim leader