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