groff ships with Eric Raymon's extended manual for pic, but nothing similar
for eqn.
If the AT&T release would permit it, and Gnu would honor AT&T's terms, a
Kernighan/Cherry
document could be distributed with groff.
K&C documents are widely available online. Source text is at
https://minnie.tuhs
Hi Filip,
the man pages are your friend. While eqn(1) is admittedly not especially
talkative to this effect, your answers can be found in groff_char(7).
There is a whole section entitled "Arrows". Since I am not a
mathematician I cannot answer whether implication arrows are included or
not, but i