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 if not under "Arrows", you'll find more symbols under "Mathematical Symbols" further down.
Hope that helps, Oliver. On 14/01/2021 21:20, filip wrote:
Hi, where can I find all commands that can be run? How do I make implication arrows and such? Best regards Filip
