feat(#20): Replace □ with a dot-like Unicode symbol ⬝ for term application (Black Very Small Square, U+2B1D, \tr , \con) - #21

Merged

rami3l merged 1 commit into

rami3l:masterfrom

srghma:black_very_small_square

Aug 8, 2026

Commits on Aug 8, 2026

feat(#20): Replace □ with a dot-like Unicode symbol ⬝ for term application (Black Very Small Square, U+2B1D, \tr , \con)
srghma
committed
5d5adcb