💾 Archived View for axiomatika.flounder.online › gemlog › 2021-04-15.gmi captured on 2022-04-28 at 18:30:52. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-11-30)
-=-=-=-=-=-=-
Just testing how this Gemlog thing works. I would like to be able to type unicode, and I want to see if Gemini supports this. Here is some unicode:
∃x(∅ ∈ x ∧ ∀y(y ∈ x → y ∪ {y} ∈ x))
It's supposed to be one of the axioms of Zermelo-Fraenkel, specifically, the axiom of infinity, which states that there exists at least one infinite set.
Update: it works!
Update 2: I guess it depends on the font you have installed on your Gemini browser whether the unicode will look pretty or not.