Fira L∅gic

A FOSS font for logical notation. Based on Fira Mono. Goes nicely with Fira Sans.

A few handy ligatures:

|- |= [] <> /\ \/ -> <-> <- => <=> <=
|- |= [] <> /\ \/ -> <-> <- => <=> <=

And a few extra unicode glyphs:

∀ ∃ ∈ ⊂ ⊃ ⊆ ⊇ ∅
∧ ∨ ∩ ∪ ⋂ ⋃ ℩

Voilà:

Fira Mono
Fira Logic