The goal is to reproduce this formatting in LaTex (in proving if and only if):
where the entire paragraph is indented except the arrows. Additionally, two arrows are pointing to different directions.
Closest that I have tried: List with arrows instead of bullets where JLDiaz defined a new arrowlist environment. However, under this setting, arrows all have the same direction.
Image source: http://jeffe.cs.illinois.edu/teaching/algorithms/

