This package lets you typeset justified sequences, also called pointing strings. It's used for instance, in research papers about game semantics to represent sequence of game moves with their associated justification pointers.