Conway chained arrow notation

GPTKB entity