The flagderiv package used to create mathematical derivations using the flag/flagpole notation.