Replace ◦ with \circ in math mode

[raol]

Closes #42

[Blaisorblade]

Thanks for this! I'd rather write

\newcommand \funcompose {\ensuremath{\circ}}

and use \funcompose for \ensuremath{\circ} to allow changing it if the need arises. The 2nd part might be change-and-replace.

Though I'd wait what @hmemcpy says—I'm just a passerby.

[hmemcpy]

I started replacing various \code with an inline $f \circ g$. It ends up looking "mathy" and no need to \ensuremath everywhere.

[Blaisorblade]

@hmemcpy That's more natural TeX; but multi-letter identifiers can be problematic.

Have you looked into lhs2TeX? That's what people use in many modern ICFP/Haskell Symposium papers—it lets you write |foo . bar| and convert it to $\mathit{foo} \circ \mathit{bar}$ (where \mathit renders its argument as a word).

I've used lhs2TeX to write the actual math in my PhD thesis, which is an abuse I don't recommend; but using it for rendering Haskell-like code might be good. I suspect the category-theoretical formulas are "actual math" but lhs2TeX might scale for them.
*LaTeX offers lower-level control, which you need once the equations get complex enough.

Either way, if you are in for the long term, you might want to decide on lhs2TeX sooner rather than later.

[hmemcpy]

@Blaisorblade sounds great! I'll look into it, thanks!
Meanwhile, I started #56, where I attempt to use some macros I found... Any comments/improvements are most welcome!

[raol]

@hmemcpy as far as I understand $ $ is the same as \ensuremath{}.

Then I propose to close this PR, but I'll take part 2 and will convert it to math fully.
Ok?

[Blaisorblade]

@hmemcpy as far as I understand $ $ is the same as \ensuremath{}.

Nitpick FYI: \ensuremath also works in math mode (which can be opened also by things that expand to $ or $$), while $...$ doesn't work when you're already inside math mode.

[mseri]

What about moving also \neq, \alpha, \beta, \gamma, delta, \epsilon, ... to their LaTex math counterparts?

[Blaisorblade]

But the Unicode gives the same result (with the right packages like unicode-math, not sure it's setup here), and the source is more readable. Maybe we should move the Unicode alpha inside math mode.

[mseri]

Maybe the change should be part of #56

[hmemcpy]

Yeah, I'm inclined to leave the unicode symbols as is, if they render fine. Most of them do.

[hmemcpy]

Yeah, I think to close this PR and, for now, just do the $..$ etc. styling, as this wiki suggests https://en.wikibooks.org/wiki/LaTeX/Mathematics
Thanks again for the help!