[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tagged formulas
Scratch that. I've realized that my lowering operator doesn't really make sense. What I wanted was no more than a fine-tuned way to control the application of the prime operator, and I guess that would just be over-complicating things.