for(i<-0 to 47)println(" "*(47-i)++((0 to i)++(i-1 to 0 by -1)map(32+i+_ toChar)))