Text this: Algorithms of differentiation for posets with an involution