add tetration operator