These argdown ligatures are nifty. I also really like Unicode logic symbols because they make annotation and expressions readable.

https://en.wikipedia.org/wiki/List_of_logic_symbols

These can be especially helpful for Causal Analysis based on System Theory (CAST) which is similar to root cause analysis plus uses more logical dependencies.