Minor md cleanup in infix_syntax.md.