How to symbolize propositions