NameKind commands in agda.sty with zero spacing even in math mode