Use symbols for "because" and "therefore" to clarify proofs

[bvssvni]

Currently, there are many papers that make no or little distinction between axioms and theorems that follows from existing axioms. This is because a lot of it is hard to prove and the arguments are narrowing down instead of defining everything upfront.

By using proper symbols where possible, this can be made clearer:

• ∵ because
• ∴ therefore