First Gemlog post

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.