Add formula for MinEd

Mined is a powerful text editor with a comprehensive yet concise and easy-to-use user interface supporting modern interaction paradigms, and fast, small-footprint behaviour.