# Note that the fira code font makes some of these shortcodes into ligatures --- !=,≠ ~~,≈ <,≤ >,≥ +-,± *,⋅ /,÷ 2,√ a<,∠ 0,° `,′ ``,″ 90,⊥ ||,∥ ~=,≅ t,Δ p,π a,∝ 00,∞ <<,≪ >>,≫ s,∑ g,γ gr,φ te,⊗ cr,† n,⋂ u,⋃ su,⊆ ps,⊂ ns,⊄ ss,⊇ ns,⊅ sy,⊖ be,∈ em,Ø no,¬ im,⇒ if,⇔ fa,∀ te,∃ ne,∄ tf,∴ bc,∵ ep,ε in,∫ li,∮ mu,μ