Here are some logical symbols for copying and pasting. ⇒→⊃⇔≡⟷¬∧·∨∥⊕⊻⊤⊥∀∃≔⊢⊨⊬âŠâ—‡âŒœâŒâ–¡â¥½ I am a software engineer. I study math as a hobby. Here are a few random things that I like: Right now (2022), I am studying model theory on my own. I am reading the books Model Theory: An Introduction by David Marker A Shorter Model Theory by Wilfrid Hodges
©