1 2 3 4 5 6 7 8 9 10 11 12 13
``` % pandoc -t native (i<j) ^D [Para [Str "(i<j)"]] ``` ``` % pandoc -t native i<j-1, j>k ^D [Para [Str "i<j-1,",Space,Str "j>k"]] ```