prepared formalization in tex