Solves the problem of manually inserting the proper subset symbol in Microsoft Word by automating it via AutoCorrect shortcuts.