u could see this as pretentious maybe but when playing with different fields/concepts in tech i always love adopting bits the aesthetics in that context. for example unicode symbols & GADT-style data declarations in haskell when doing something formal-adjacent

like it can actually b a useful signifier that someone is wanting to explore something algebraically rather than focusing on the correct implementation or API surface for the thing