Are there newer versions of Roboto Mono that support all these Unicode codepoints? [EDIT: No, I checked and there are not[0].] The one I have does not support ∃, ∈, and ∷, and probably others.

I agree that this is very pretty, but font support is absolutely critical if you're going to do this.

  [0] https://fonts.google.com/specimen/Roboto+Mono/glyphs