I need to be able to have a table entry that looks like this
| ~Comonad~ | ~copoint~ | ~F[A]~ | | ~A~ |
| ~Semigroup~ | ~|+|~ | | | |
but org-mode insists on treating the pipes in |+|
as columns.
I am aware that I can use vert
as per https://stackoverflow.com/questions/11876048 and http://orgmode.org/manual/Special-symbols.html#Special-symbols but this doesn't work when it's in a code block.
What to do? I'm not keen on the UTF-8 pipe hack.