It's weird that programming languages (or at least languages like Haskell, Idris, Agda) don't have "typeset" versions that are easier on the eye of seasoned mat

It's weird that programming languages (or at least languages like Haskell, Idris, Agda) don't have "typeset" versions that are easier on the eye of seasoned mathematical readers. I know before Haskell was Squiggol, but Squiggol is almost comically terse. When we're discussing a math whiteboard we verbalize symbols. This over that inverse. I had a calculus teacher who pronounced $\partial$ as "derron, derram" something and it took me ten years to realize this probably meant deRham. Anyway, programming languages (when derived from first principles or whatever, at least, but probably also for languages like Rust with schizo rhizome generics) could be thought as a more formal verbalization of a symbolic logico-algebraic notation -- even if the latter is a bit of an ambiguous idealization, much like what newbies learn before getting their hands wet. I mean, maths in general is like this.