In addition to using syntactic trees in posts which is useful for semantics as well, you can now easily access special symbols-- click on the [IPA] button above the post, but navigate to [FORMAL NOTATIONS] and use the "Formal Semantics" section-- quantifiers, set theory, logical operators, and lambda. If something is missing, just add a note here so it can be added.