structural:reformatting, linguistic:voice_change
Basic results

We write K (x, y) {\displaystyle K(x,y)} to be K ((x, y)) {\displaystyle K((x,y))}, where (x, y) {\displaystyle (x,y)} means some fixed way to code for a tuple of strings x and y.