#indent #column(4) ~----X--&eq((x));-- X--&eq(\ffd{(x)}{(x)});-- X--&eq(\ffd{\ffd{(X)}{\ffd{(X)}{(X)}}}{(x)});-- X--&eq(\ffd{(X)}{\ffd{(X)}{\ffd{(X)}{(X)}}});-- X----