NameKind commands in agda.sty enforce no math spacing