(": " pre " # " infix)