This is not a good idea as it would break cut and paste from ocamldoc output to your editor. I would move on to close this.

I wonder if, at least for the html backend, there wouldn't be some (CSS ? JS ? Whatever ?) magic to make the text that is copied different from what you actually see in the browser. (Actually, I can't see how such an obviously useful feature couldn't exist)

But I agree it's a bad idea in general, also I'm not sure anyone's really looking into adding new features to ocamldoc nowadays. So indeed, let's close.

@trefis Well, another way to do this is to play (arguably silly) games with ligatures.

Personally, I think this is pointless. We already are accustomed to the signatures without any of those fancy chars, the readability improvements will be negligible or non-existent.