Unicode
É esperado comunicar usando símbolos matemáticos de texto pleno (que, hoje em dia, não há mais desculpa para limitar o conceito disso nos carateres ASCII ou em algum outro charset de idioma específico).
Exemplos de carateres matemáticos freqüentemente utilizados nas comunicações das disciplinas: ⇒ ∀ ∃ ⇔ ≝ ≡ ≅ ℕ ℝ etc.
Como eu escrevo esses carateres?
Existem diversas maneiras de input’ar carateres unicode, e variam de sistema para sistema então dependendo do teu sistema (e do teu gosto) pode acabar prefirindo uma ou outra.
Como tu escreves esses carateres?
Eu uso o unicodef (junto com o unicodef-thatex) que eu criei e que é utilizável em sistemas operacionais baseados em Unix, no macOS, e no Windows também.
Não é obrigatório o uso dele, mas costuma ser uma ferramenta popular entre os alunos das disciplinas.
Como eu uso o unicodef?
Veja as informações de instalação e uso que tem nos sites de unicodef e unicodef-thatex.
Tem como usar o unicodef no celular ou no tablet?
Não. Procure alguma outra maneira de input’ar carateres unicode no teu aparelho, ou use um computador :P