[SIPTA] math.stackexchange question about upper transition operator definition