Update kore-syntax.md
with multiary \and
syntax
#6929
Loading
kore-syntax.md
with multiary \and
syntax
#6929