Description

$ top &= 1 \
  bot &= 2 $

$ bot &= 1 \
  top &= 2 $

yields

The spacing around ⊤ looks correct, whereas the spacing around ⊥ is too small.
Both symbols are defined here, so it is puzzling that one is rendered so differently from the other. Both "⊤" and "⊥" in the source code are sane Unicode characters (U+22A4 and U+22A5).

Reproduction URL

No response

Operating system

Linux

Typst version

• I am using the latest version of Typst