How to use math set operators

[rhthomas]

I am writing TLA+ and have the following code:

NoOverdrafts == \A p \in People: acct[p] >= 0

However the only ligature that works is >=. How do I enable the math set operators? Ideally it would view as:

NoOverdrafts == ∀ p ∈ People: acct[p] ≥ 0

[wopian]

Those are not ligatures in Fira Code

[rhthomas]

Ah, perhaps I misunderstood this. So this means the characters are part of the font, but not ligatures?

[wopian]

Yeah, the unicode characters themselves are part of the font