Text editor that converts text into prefix notation markup